Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262

Safety-critical systems usually need to be compliant with a domainspecific safety standard, which in turn requires an explained and wellfounded body of evidence to show that the system is acceptably safe. To reduce the cost and time needed to achieve the standard compliance, reuse of safety elements is not sufficient without the reuse of the accompanying evidence. The difficulties with reuse of safety elements within safetycritical systems lie mainly in the nature of safety being a system property and the lack of support for systematic reuse of safety elements and their accompanying artefacts. While safety standards provide requirements and recommendations on what should be subject to reuse, guidelines on how to perform reuse are typically lacking. We have developed a concept of strong and weak safety contracts that can be used to facilitate systematic reuse of safety elements and their accompanying artefacts. In this report we define a safety contracts development process and provi...

• Type: Journal
• Year: 2015
• Where: PRDC
• Authors: Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
• Keywords: Applied Computing, PRDC 2015