%0 Conference Proceedings
%T A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
%+ Institute for Information Technology [Oldenburg] (OFFIS)
%+ Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS)
%A Baumgart, Andreas
%A Reinkemeier, Philipp
%A Rettberg, Achim
%A Stierand, Ingo
%A Thaden, Eike
%A Weber, Raphael
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
%C Waidhofen/Ybbs, Austria
%Y Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer
%I Springer
%3 Software Technologies for Embedded and Ubiquitous Systems
%V LNCS-6399
%P 59-70
%8 2010-10-13
%D 2010
%R 10.1007/978-3-642-16256-5_8
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055376/document
%2 https://inria.hal.science/hal-01055376/file/seus2010.pdf
%L hal-01055376
%U https://inria.hal.science/hal-01055376
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6399
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-2010
%~ IFIP-SEUS
%~ IFIP-WG10-2