Home Bio Publications Contact

Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems
Authors: Fredrik Warg and Martin Skoglund
Abstract:

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. While the aim has primarily been safety and security assurance of CAD, their generic nature make the patterns relevant for multi-concern assurance in general.

Keywords: Multi-concern assurance, connected automated driving, dependability, functional safety, cybersecurity, cyber-physical systems, critical embedded systems
Year-Month: 2019-07
Published: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Publication type: Workshop paper
Workshop: 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)
Vol: 73 Pages: 3:1--3:13
Bibtex:
@inproceedings{ArgPatternsMCAssurance_certs2019,
  title     = {Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems},
  author    = {Warg, Fredrik and Skoglund, Martin},
  year      = {2019},
  month     = {07},
  abstract  = {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. While the aim has primarily been safety and security assurance of CAD, their generic nature make the patterns relevant for multi-concern assurance in general. },
  keywords  = {Multi-concern assurance, connected automated driving, dependability, functional safety, cybersecurity, cyber-physical systems, critical embedded systems},
  booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)},
  volume    = {73},
  pages     = {3:1--3:13},
  note      = {Publication data: https://warg.org/fredrik/publ/}
}