SafetyADD: A Tool for Safety-Contract Based Design
Authors: Fredrik Warg, Benjamin Vedder, Martin Skoglund, and Andreas Söderberg

SafetyADD is a tool for working with safety contracts for software components. Safety contracts tie safety related properties, in the form of guarantees and assumptions, to a component. A guarantee is a property the component promises to hold, on the premise that the environment provides its associated assumptions. When multiple software components are integrated in a system, SafetyADD is used to verify that the guarantees and assumptions match when there are safety-related dependencies between the components.

The initial goal of SafetyADD is to investigate how safety contracts can be managed and used efficiently within the software design process. It is implemented as an Eclipse plugin. The tool has two main functions. It gives designers of software components a way to specify safety contracts, which are stored in an XML format and shall be distributed together with the component. It also gives developers who integrate multiple software components in their systems a tool to verify that the safety contracts are fulfilled. A graphical editor is used to connect guarantees and assumptions for dependent components, and an algorithm traverses all such connections to make sure they match.

Keywords: Safety contracts, compositional certification, safety-critical software.
Fulltext: pdf
Published: 4th International IEEE Workshop on Software Certification (WoSoCer 2014). Proceeding of the 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 527 – 529, IEEE, November 2014.
DOI: 10.1109/ISSREW.2014.18
Presentation: pdf

Last modified: