English
Related papers

Related papers: Understanding, Implementing, and Supporting Securi…

200 papers

System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and attacks. Alongside…

Cryptography and Security · Computer Science 2022-08-04 Ankur Shukla , Basel Katt , Livinus Obiora Nweke , Prosper Kandabongee Yeng , Goitom Kahsay Weldehawaryat

The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping engineers to understand the ISO 21434 parts, the key…

Cryptography and Security · Computer Science 2021-01-19 Yuri Gil Dantas , Vivek Nigam , Harald Ruess

With the increasing prevalence of open and connected products, cybersecurity has become a serious issue in safety-critical domains such as the automotive industry. As a result, regulatory bodies have become more stringent in their…

Software Engineering · Computer Science 2024-04-29 Mazen Mohamad , Jan-Philipp Steghöfer , Eric Knauss , Riccardo Scandariato

Safety cases - clear, assessable arguments for the safety of a system in a given context - are a widely-used technique across various industries for showing a decision-maker (e.g. boards, customers, third parties) that a system is safe. In…

Computers and Society · Computer Science 2025-03-10 Benjamin Hilton , Marie Davidsen Buhl , Tomek Korbak , Geoffrey Irving

Safety assurance is a central concern for the development and societal acceptance of automated driving (AD) systems. Perception is a key aspect of AD that relies heavily on Machine Learning (ML). Despite the known challenges with the safety…

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…

Recently, an increasingly growing number of companies is focusing on achieving self-driving systems towards SAE level 3 and higher. Such systems will have much more complex capabilities than today's advanced driver assistance systems (ADAS)…

Software Engineering · Computer Science 2020-03-11 Federico Giaimo , Hugo Andrade , Christian Berger

We draw on our experience working on system and software assurance and evaluation for systems important to society to summarise how safety engineering is performed in traditional critical systems, such as aircraft flight control. We analyse…

Computers and Society · Computer Science 2025-02-07 Robin Bloomfield , John Rushby

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

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

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 Cyber threats exposure has created worldwide pressure on organizations to comply with cyber security standards and policies for protecting their digital assets. Vulnerability assessment (VA) and Penetration Testing (PT) are widely…

Cryptography and Security · Computer Science 2025-01-22 Mohamed C. Ghanem , Thomas M. Chen , Mohamed A. Ferrag , Mohyi E. Kettouche

Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and…

Software Engineering · Computer Science 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

Cameras capture images that are essential for many safety-critical tasks. To process these images, a complex pipeline with multiple layers is used. Security attacks on this pipeline can severely affect passenger safety and system…

Cryptography and Security · Computer Science 2026-01-08 Michael Kühr , Mohammad Hamad , Pedram MohajerAnsari , Mert D. Pesé , Sebastian Steinhorst

Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated…

Systems and Control · Electrical Eng. & Systems 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

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

CONTEXT: Assurance Cases (ACs) are prepared to argue that the system's desired quality attributes (e.g., safety or security) are satisfied. While there is strong adoption of ACs, practitioners are often left asking an important question:…

Software Engineering · Computer Science 2024-11-07 Simon Diemert , Caleb Shortt , Jens H. Weber

Fatal accidents are a major issue hindering the wide acceptance of safety-critical systems using machine-learning and deep-learning models, such as automated-driving vehicles. Quality assurance frameworks are required for such machine…

Computers and Society · Computer Science 2018-12-10 Hiroshi Kuwajima , Hirotoshi Yasuoka , Toshihiro Nakae

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

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