26/2009 : Platform Modeling In Safety-Critical Embedded Systems

RR Number

26/2009

Conference

Lecture Notes in Electrical Engineering, Vol. 38

Author(s)

Bernhard Huber, Roman Obermaisser

Abstract

This paper describes a model-based development process for safety-critical embedded real-time systems that are based on the DECOS integrated architecture. The DECOS architecture guides system engineers in the development of complex embedded real-time systems by providing a framework for integrating multiple application systems within a single distributed computer system. This integration is supported by a model-based development process which enables the reuse of application software on different instantiations of the DECOS platform, performing validation activities earlier in the development phase, and a reduced time-to-market in spite of increasing system functionality. For this purpose, model-based development in DECOS distinguishes between the capturing of the application functionality in a platform-independent model and the specification of the characteristics of the execution platform in the platform model. In this paper, we focus on the modeling of the execution platform and present a novel graphical model editor based on GME for specifying the DECOS execution platform. A platform meta-model expressed using UML and OCL constrains developers in such a way that the ensuing system becomes more dependable, maintainable and supports composability.

Bibtex

@article{ huber:2009-26,
  author =       "Bernhard Huber and Roman Obermaisser",
  title =        "Platform Modeling In Safety-Critical Embedded Systems",
  journal =      "Lecture Notes in Electrical Engineering, Vol. 38",
  year =         "2009",
  month =        "Feb."
}

Download