English
Related papers

Related papers: Toward a Harmonized Approach -- Requirement-based …

200 papers

Despite the growing number of automated vehicles on public roads, operating such systems in open contexts inevitably involves incidents. Developing a defensible case that the residual risk is reduced to a reasonable (societally acceptable)…

Systems and Control · Electrical Eng. & Systems 2026-05-14 Marvin Loba , Robert Graubohm , Niklas Braun , Nayel Fabian Salem , Andreas Dotzler , Marcus Nolte , Torben Stolte , Richard Schubert , Markus Maurer

Assurance cases are structured arguments that are commonly used to reason about the safety of a product or service. Currently, there is an ongoing push towards using assurance cases for also cybersecurity, especially in safety-critical…

Software Engineering · Computer Science 2020-04-01 Mazen Mohamad , Alexander Åström , Örjan Askerdal , Jörgen Borg , Riccardo Scandariato

The automotive industry is experiencing a transition from assisted to highly automated driving. New concepts for validation of Automated Driving System (ADS) include amongst other a shift from a "technology based" approach to a "scenario…

Software Engineering · Computer Science 2023-02-02 Ilona Cieslik , Víctor J. Expósito Jiménez , Helmut Martin , Heiko Scharke , Hannes Schneider

The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads.…

Software Engineering · Computer Science 2024-10-28 Jonas Krook , Yuvaraj Selvaraj , Wolfgang Ahrendt , Martin Fabian

Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and supports…

Software Engineering · Computer Science 2014-09-17 Andrew Gacek , John Backes , Darren Cofer , Konrad Slind , Mike Whalen

Ensuring and validating the safe operation of automated vehicles are key challenges for their market launch. Scenario-based development and test approaches are currently being pursued as possible solutions. An essential prerequisite for…

Software Engineering · Computer Science 2021-11-23 Markus Steimle , Till Menzel , Markus Maurer

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

Systems and Control · Computer Science 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

"Safety" and "Risk" are key concepts for the design and development of automated vehicles. For the market introduction or large-scale field tests, both concepts are not only relevant for engineers developing the vehicles, but for all…

Systems and Control · Electrical Eng. & Systems 2025-02-11 Marcus Nolte , Leon Johann Brettin , Hans Steege , Nayel Salem , Marvin Loba , Robert Graubohm , Markus Maurer

Security Assurance Cases (SAC) are structured bodies of arguments and evidence used to reason about security properties of a certain artefact. SAC are gaining focus in the automotive domain as the need for security assurance is growing due…

Cryptography and Security · Computer Science 2024-09-10 Mazen Mohamad

Safety cases, structured arguments that a system is acceptably safe, are becoming central to the governance of AI systems. Yet, traditional safety-case practices from aviation or nuclear engineering rely on well-specified system boundaries,…

Software Engineering · Computer Science 2026-03-09 Sung Une Lee , Liming Zhu , Md Shamsujjoha , Liming Dong , Qinghua Lu , Jieshan Chen , Lionel Briand

Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of…

Robotics · Computer Science 2024-03-29 Patrick Wolf

In the future, AI will increasingly find its way into systems that can potentially cause physical harm to humans. For such safety-critical systems, it must be demonstrated that their residual risk does not exceed what is acceptable. This…

Artificial Intelligence · Computer Science 2022-02-14 Michael Kläs , Lisa Jöckel , Rasmus Adler , Jan Reich

Despite the presence of the classification task in many different benchmark datasets for perception in the automotive domain, few efforts have been undertaken to define consistent classification requirements. This work addresses the topic…

Computer Vision and Pattern Recognition · Computer Science 2023-07-27 Ken T. Mori , Trent Brown , Steven Peters

Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and challenging, even for…

The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS…

Software Engineering · Computer Science 2020-05-12 Christian Neurohr , Lukas Westhofen , Tabea Henning , Thies de Graaff , Eike Möhlmann , Eckard Böde

Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured arguments supported by evidence, but generating and maintaining…

Software Engineering · Computer Science 2026-02-04 Fang Yan , Simon Foster , Ana Cavalcanti , Ibrahim Habli , James Baxter

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…

Software Engineering · Computer Science 2019-02-15 Mario Gleirscher , Stefan Kugele

Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by…

Multiagent Systems · Computer Science 2026-02-24 Marius Bozga , Joseph Sifakis

Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent…

Software Engineering · Computer Science 2020-04-01 Mazen Mohamad , Jan-Philipp Steghöfer , Riccardo Scandariato

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

Robotics · Computer Science 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo
‹ Prev 1 2 3 10 Next ›