Showing that dependable embedded systems fulfil vital quality attributes, e.g. by conforming to relevant standards, can be challenging. For emerging and increasingly complex functions, such as connected automated driving (CAD), there is also a need to ensure that attributes such as safety, cybersecurity, and availability are fulfilled simultaneously. Furthermore, such systems are often designed using existing parts, including 3rd party components, which must be included in the quality assurance. This paper discusses how to structure the argument at the core of an assurance case taking these considerations into account, and proposes patterns to aid in this task. The patterns are applied in a case study with an example automotive function. Wh...
Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring the vehi...
Interconnected, autonomously driving cars shall realize the vision of a zero-accident, low energy mo...
System assurance cases are used to demonstrate confidence in system properties of interest (e.g. saf...
Showing that dependable embedded systems fulfil vital quality attributes, e.g. by conforming to rele...
Assurance cases are used to argue in a structured, and evidence-supported way, that a property such ...
Part 2: The 2014 Asian Conference on Availability, Reliability and Security, AsiaARES 2014Internatio...
In this paper we describe how the automated instantiation of assurance case arguments will require i...
Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human l...
An assurance case is a structured argument, typically produced by safety engineers, to communicate c...
Machine Learnt (ML) components are now widely accepted for use in a range of applications with resul...
Assurance cases are structured arguments that are commonly used to reason about the safety of a prod...
Embedded systems comprise one of the most important types of software-intensive systems, as they are...
A modern vehicle uses mechanical components under software control, referred to as mechatronic syste...
Cybersecurity is an issue of increasing concern for emerging connected vehicles. Ensuring public tru...
The paper studies the problem of constructing assurance cases for embedded control systems developed...
Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring the vehi...
Interconnected, autonomously driving cars shall realize the vision of a zero-accident, low energy mo...
System assurance cases are used to demonstrate confidence in system properties of interest (e.g. saf...
Showing that dependable embedded systems fulfil vital quality attributes, e.g. by conforming to rele...
Assurance cases are used to argue in a structured, and evidence-supported way, that a property such ...
Part 2: The 2014 Asian Conference on Availability, Reliability and Security, AsiaARES 2014Internatio...
In this paper we describe how the automated instantiation of assurance case arguments will require i...
Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human l...
An assurance case is a structured argument, typically produced by safety engineers, to communicate c...
Machine Learnt (ML) components are now widely accepted for use in a range of applications with resul...
Assurance cases are structured arguments that are commonly used to reason about the safety of a prod...
Embedded systems comprise one of the most important types of software-intensive systems, as they are...
A modern vehicle uses mechanical components under software control, referred to as mechatronic syste...
Cybersecurity is an issue of increasing concern for emerging connected vehicles. Ensuring public tru...
The paper studies the problem of constructing assurance cases for embedded control systems developed...
Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring the vehi...
Interconnected, autonomously driving cars shall realize the vision of a zero-accident, low energy mo...
System assurance cases are used to demonstrate confidence in system properties of interest (e.g. saf...