English
Related papers

Related papers: Towards Understanding and Applying Security Assura…

200 papers

Justifying the correct implementation of the non-functional requirements (e.g., safety, security) of mission-critical systems is crucial to prevent system failure. The later could have severe consequences such as the death of people and…

Software Engineering · Computer Science 2024-07-09 Oluwafemi Odu , Alvine Boaye Belle , Song Wang , Kimya Khakzad Shahandashti

Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, differing use of language and philosophies, etc.. Many…

Software Engineering · Computer Science 2019-03-05 Nikita Johnson , Tim Kelly

Connected and autonomous vehicles, also known as CAVs, are a general trend in the evolution of the automotive industry that can be utilized to make transportation safer, improve the number of mobility options available, user costs will go…

Cryptography and Security · Computer Science 2023-10-17 S M Mostaq Hossain , Shampa Banik , Trapa Banik , Ashfak Md Shibli

Automotive companies increasingly adopt scaled agile methods to allow them to deal with their organisational and product complexity. Suitable methods are needed to ensure safety when developing automotive systems. On a small scale, R-Scrum…

Software Engineering · Computer Science 2019-12-02 Jan-Philipp Steghöfer , Eric Knauss , Jennifer Horkoff , Rebekka Wohlrab

Security advisories have become an important part of vulnerability management. They can be used to gather and distribute valuable information about vulnerabilities. Although there is a predefined broad format for advisories, it is not…

Cryptography and Security · Computer Science 2024-08-28 Julia Wunder , Janik Aurich , Zinaida Benenson

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

Maintaining consistency between code and documentation is a crucial yet frequently overlooked aspect of software development. Even minor mismatches can confuse API users, introduce new bugs, and increase overall maintenance effort. This…

Software Engineering · Computer Science 2026-04-22 Tobias Kiecker , Jan Arne Sparka , Martin Reuter , Albert Ziegler , Lars Grunske

Frontier artificial intelligence (AI) systems present both benefits and risks to society. Safety cases - structured arguments supported by evidence - are one way to help ensure the safe development and deployment of these systems. Yet the…

Computers and Society · Computer Science 2024-12-24 Carmen Cârlan , Francesca Gomez , Yohan Mathew , Ketana Krishna , René King , Peter Gebauer , Ben R. Smith

Industrial Safety deals with the physical integrity of humans, machines and the environment when they interact during production scenarios. Industrial Safety is subject to a rigorous certification process that leads to inflexible settings,…

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

Cryptography and Security · Computer Science 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam

This paper presents an overview of Waymo's approach to building a reliable case for safety - a novel and thorough blueprint for use by any company building fully autonomous driving systems. A safety case for fully autonomous operations is a…

Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect…

Software Engineering · Computer Science 2018-06-14 Peter Braun , Jan Philipps , Bernhard Schätz , Stefan Wagner

How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of an Automated Driving System (ADS) equipped vehicle? Is a more significant number of sampled scenarios guaranteeing a more accurate safety assessment…

Robotics · Computer Science 2021-11-16 Bowen Weng , Linda Capito , Umit Ozguner , Keith Redmill

A growing number of safety-critical industries agree that building confidence in complex systems can be achieved through evidence and structured argumentation framed in assurance cases. Nevertheless, according to practical industry…

Logic in Computer Science · Computer Science 2024-08-12 Dag McGeorge , Jon Arne Glomsrud

The rise of cyber-physical systems in safety-critical domains calls for robust risk-evaluation frameworks. Assurance cases, often required by regulatory bodies, are a structured approach to demonstrate that a system meets its safety…

Software Engineering · Computer Science 2025-02-04 Usman Gohar , Michael C. Hunter , Myra B. Cohen , Robyn R. Lutz

As small Uncrewed Aircraft Systems (sUAS) increasingly operate in the national airspace, safety concerns arise due to a corresponding rise in reported airspace violations and incidents, highlighting the need for a safe mechanism for sUAS…

Software Engineering · Computer Science 2025-02-05 Michael C. Hunter , Usman Gohar , Myra B. Cohen , Robyn R. Lutz , Jane Cleland-Huang

In recent years, car makers and tech companies have been racing towards self driving cars. It seems that the main parameter in this race is who will have the first car on the road. The goal of this paper is to add to the equation two…

Robotics · Computer Science 2018-10-30 Shai Shalev-Shwartz , Shaked Shammah , Amnon Shashua

The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure their functional safety. As for traditional functional safety,…

Software Engineering · Computer Science 2023-01-16 Yi Dong , Wei Huang , Vibhav Bharti , Victoria Cox , Alec Banks , Sen Wang , Xingyu Zhao , Sven Schewe , Xiaowei Huang

As AI systems become more advanced, companies and regulators will make difficult decisions about whether it is safe to train and deploy them. To prepare for these decisions, we investigate how developers could make a 'safety case,' which is…

Computers and Society · Computer Science 2024-03-20 Joshua Clymer , Nick Gabrieli , David Krueger , Thomas Larsen

Autonomous Vehicle has been transforming intelligent transportation systems. As telecommunication technology improves, autonomous vehicles are getting connected to each other and to infrastructures, forming Connected and Autonomous Vehicles…

Cryptography and Security · Computer Science 2020-07-17 Minh Pham , Kaiqi Xiong