2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2017)
Oct. 23, 2017 to Oct. 26, 2017
ISO 26262 requires for each item the creation of a safety case. Such creation is extremely time-consuming. Currently, no satisfying approach is at disposal to speed up such creation. OSLC (Open Services for Lifecycle Collaboration) is a standard for tool interoperability, which, if enabled, permits effective documentation management, needed for efficient safety case creation. OSLC defines a set of extensible core specifications (domains), each of which focuses on a single phase of the life-cycle. In our previous work, we provided ISO 26262-compliant domain extensions. In this paper, we use such extensions to pioneer the creation of OSLC-based safety cases. In particular, we show how information exposed via such extensions can be queried to "produce" compositional pieces of safety case-fragments, arguing about requirements traceability and satisfiability. We illustrate the production of such fragments for an Electronic Control Unitmodule in use at Scania. We then discuss our findings.
automotive electronics, document handling, formal verification, ISO standards, open systems, safety, safety-critical software
B. Gallina and M. Nyberg, "Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 325-330.