English
Related papers

Related papers: Approaching Safety-Argumentation-by-Design: A Requ…

200 papers

Despite the increasing testing operations of automated vehicles on public roads, media reports on incidents show that safety issues caused by automated driving systems persist to this day. Manufacturers face high development uncertainty…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Marvin Loba , Nayel Fabian Salem , Marcus Nolte , Andreas Dotzler , Dieter Ludwig , Markus Maurer

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

It is well recognised that ensuring fair AI systems is a complex sociotechnical challenge, which requires careful deliberation and continuous oversight across all stages of a system's lifecycle, from defining requirements to model…

Human-Computer Interaction · Computer Science 2025-05-14 Alpay Sabuncuoglu , Christopher Burr , Carsten Maple

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

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

The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on architectural solutions, called safety patterns, such as safety…

Systems and Control · Electrical Eng. & Systems 2020-09-23 Yuri Gil Dantas , Antoaneta Kondeva , Vivek Nigam

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

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

Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to…

Software Engineering · Computer Science 2020-01-09 Naveen Mohan

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

An assurance case is a structured argument, typically produced by safety engineers, to communicate confidence that a critical or complex system, such as an aircraft, will be acceptably safe within its intended context. Assurance cases often…

Computers and Society · Computer Science 2023-06-07 Zoe Porter , Ibrahim Habli , John McDermid , Marten Kaas

Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behaviour and reasons for autonomous decision should be explained…

Software Engineering · Computer Science 2022-09-29 Maike Schwammberger , Verena Klös

We propose a method for deploying a safety-critical machine-learning component into continuously evolving environments where an increased degree of automation in the engineering process is desired. We associate semantic tags with the safety…

Existing definitions and associated conceptual frameworks for computer-based system safety should be revisited in light of real-world experiences from deploying autonomous vehicles. Current terminology used by industry safety standards…

Robotics · Computer Science 2024-08-14 Philip Koopman , William Widen

As Automated Driving Systems (ADS) technology advances, ensuring safety and public trust requires robust assurance frameworks, with safety cases emerging as a critical tool toward such a goal. This paper explores an approach to assess how a…

Software Engineering · Computer Science 2025-06-12 Scott Schnelle , Francesca Favaro , Laura Fraade-Blanar , David Wichner , Holland Broce , Justin Miranda

We observed that safety arguments are prone to stay too abstract, e.g. solutions refer to large packages, argument strategies to complex reasoning steps, contexts and assumptions lack traceability. These issues can reduce the confidence we…

Software Engineering · Computer Science 2025-03-21 Mario Gleirscher , Carmen Carlan

Algorithms play a crucial role in many technological systems that control or affect various aspects of our lives. As a result, providing explanations for their decisions to address the needs of users and organisations is increasingly…

Software Engineering · Computer Science 2023-05-29 Trung Dong Huynh , Niko Tsakalakis , Ayah Helal , Sophie Stalla-Bourdillon , Luc Moreau

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 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

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
‹ Prev 1 2 3 10 Next ›