Product-line assurance cases from contract-based design
| Autor: | Barbara Gallina, Damir Nešić, Mattias Nyberg |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Property (philosophy)
business.industry Computer science 05 social sciences 020207 software engineering Context (language use) 02 engineering and technology Modular design Hardware and Architecture 0502 economics and business Product line Scalability 0202 electrical engineering electronic engineering information engineering Product (category theory) Contract based design Software engineering business 050203 business & management Software Information Systems |
| Zdroj: | Journal of Systems and Software. 176:110922 |
| ISSN: | 0164-1212 |
| DOI: | 10.1016/j.jss.2021.110922 |
| Popis: | Assurance cases are used to argue in a structured, and evidence-supported way, that a property such as safety or security is satisfied by a system. In some domains however, instead of single systems, product lines with many system-variants are engineered, to satisfy the needs of different customers. In such context, single-system methods for assurance-case creation suffer from scalability issues because the underlying assumption is that the evidence and arguments can be created per system variant. 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 variant. Consequently, the effort to create an assurance case scales with the complexity of system variants, instead with their number. The method is based on a contract-based design framework for cyber-physical systems, which is extended to define the conditions under which all system variants satisfy a particular property. These conditions are used to define an assurance-case pattern, which can be instantiated for arbitrary product lines. Moreover, the defined pattern is modular to enable step-wise assurance-case creation. Finally, an exploratory case study is performed on a real product-line from the heavy-vehicle manufacturer Scania to evaluate the applicability of the presented method. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect