Published February 25, 2021 | Version v1
Diagram Open

Product-line assurance cases from contract-based design - online appendix

Creators

  • 1. KTH Royal Institute of technology

Description

Supporting material for publication: D.Nešić, M.Nyberg, and B.Gallina, Product-line assurance cases from contract-based design.The Journal of Systems & Software (2021) 110922, https://doi.org/10.1016/j.jss.2021.110922.

Files

Product-line Assurance Case from Contract-Based Design.zip

Files (2.9 MB)

Additional details

Related works

Is cited by
Journal article: 10.1016/j.jss.2021.110922 (DOI)

Funding

AMASS – Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems 692474
European Commission
PRYSTINE – Programmable Systems for Intelligence in Automobiles 783190
European Commission