Aug 9, 2019 · A novel, modular safety-case architecture is presented. The modularization is based on a contract-based specification product-line model.

Sep 10, 2019 · Safety case modularization has been proposed to reduce safety case complexity by separating concerns, modularizing tightly coupled arguments, ...

Safety case modularization has been proposed to reduce safety case complexity by separating concerns, modularizing tightly coupled arguments, and localizing ...

The proposed safety-case architecture is analyzed against possible product-line changes and it is shown that it is robust both with respect to fine and coarse- ...

Safety case modularization has been proposed to reduce safety case complexity by separating concerns, modularizing tightly coupled arguments, and localizing ...

Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. https://doi.org/10.1007/978-3-030-26250-1_3 ·. Journal: Lecture Notes in Computer ...

This paper presents a method to modularize safety cases for product lines using assume-guarantee contracts. It ensures safety across multiple configurations ...

Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. D. Nesic, and M. Nyberg. SAFECOMP Workshops, volume 11699 of Lecture Notes in ...

This paper presents a novel method for product-line assurance-case creation where all the arguments and the evidence are created without analyzing each system ...

This paper presents some of the experiences of the IAWG in using' modular' GSN — in particular, those relating to capturing and recording safety case ...