A model-based design methodology with contracts to enhance the development process of safety-critical systems

Authors:
Andreas Baumgart;Philipp Reinkemeier;Achim Rettberg;Ingo Stierand;Eike Thaden;Raphael Weber
Affiliations:
OFFIS, Oldenburg, Germany;OFFIS, Oldenburg, Germany;Carl von Ossietzky University Oldenburg, Offis, Oldenburg, Germany;Carl von Ossietzky University Oldenburg, Offis, Oldenburg, Germany;OFFIS, Oldenburg, Germany;Offis, Oldenburg, Germany
Venue:
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Year:
2010

Citing 1
Cited 1

Applying "Design by Contract"

Computer

Power and energy management: a user-centered system-of-systems engineering approach

HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction for health, safety, mobility and complex environments - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper a new methodology to support the development process of safety-critical systems with contracts is described. The meta-model of Heterogeneous Rich Component (HRC) is extended to a Common System Meta-Model (CSM) that benefits from the semantic foundation of HRC and provides analysis techniques such as compatibility checks or refinement analyses. The idea of viewpoints, perspectives, and abstraction levels is discussed in detail to point out how the CSM supports separation of concerns. An example is presented to detail the transition concepts between models. From the example we conclude that our approach proves valuable and supports the development process.