Search papers, labs, and topics across Lattice.
This workshop report synthesizes discussions from the "Engineering Reliable Autonomous Systems" (ERAS) workshop, highlighting key challenges and solutions in the verification, validation, and engineering of autonomous systems. It identifies a gap between established academic techniques and their practical application, while also outlining unresolved challenges that necessitate further research. The outcome is a comprehensive catalogue of issues and a proposed roadmap aimed at fostering collaboration between academia and industry to enhance the reliability of autonomous systems.
A roadmap for bridging the gap between academic techniques and practical applications in autonomous system engineering reveals both immediate solutions and pressing research needs.
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them reliably are increasingly important. This workshop report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges. The workshop focused on three main research topics: techniques for verification and validation of autonomous systems; engineering real-world autonomous systems; and software architectures for safe autonomous systems. Its main outcome is a catalogue of challenges in these areas and, most importantly, a pathway to solutions. Some challenges can already be tackled by techniques that are well known in academia but have not yet become regularly used in practice. Other challenges remain unresolved and require further research. This roadmap is intended to support future research and industrial collaboration.
