Advertisement

Platform Modeling in Safety-Critical Embedded Systems

  • Bernhard Huber
  • Roman Obermaisser
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 38)

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.

Keywords

Model-based design Integrated architectures Embedded real-time systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1..
    C.J. Murray. Auto group seeks universal software. EE Times, 2003.Google Scholar
  2. 2..
    B. Selic. Model-driven development: its essence and opportunities. In Proc. of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, page 7, April 2006.Google Scholar
  3. 3.
    R. Obermaisser, P. Peti, B. Huber, and C. El Salloum. DECOS: An integrated timetriggered architecture. E&I Journal, 3:83. 95, March 2006.Google Scholar
  4. 4.
    OMG. A UML Profile for MARTE, Beta 1. OMG adopted specification. 2007.Google Scholar
  5. 5.
    OMG. Model Driven Architecture (MDA). Technical Report document number ormsc/2001-07-01, Object Management Group, July 2001.Google Scholar
  6. 6.
    L. Rioux. MARTE: A new OMG standard for Modeling and Analysis of Real-Time Embedded Systems. Thales Research & Technology, France. September 2007.Google Scholar
  7. 7.
    OMG. Systems Modeling Language (OMG SysML), V1.0 Specification., 2007.Google Scholar
  8. 8.
    SAE. Architecture Analysis & Design Language (AADL). AS5506., 2004.Google Scholar
  9. 9.
    DECOS. Dependable Embedded Components and Systems. Project deliverable D1.1.1. Report about decision on meta-model and tools for PIM specification. December 2004.Google Scholar
  10. 10.
    R. Obermaisser and B. Huber. Model-based design of the communication system in an integrated architecture. In Proc. of the 18th Intern. Conference on Parallel and Distributed Computing and Systems (PDCS 2006), pages 96–107, November 2006.Google Scholar
  11. 11.
    Esterel Technologies. SCADE Suite Technical and User Manuals, Version 5.0.1, 2005.Google Scholar
  12. 12.
    B. Huber, R. Obermaisser, and P. Peti. MDA-Based Development in the DECOS Integrated Architecture – Modeling the Hardware Platform. Proc.of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC’06), April 2006.Google Scholar
  13. 13.
    W. Herzner, B. Huber, A. Balogh, and P. Csertan. The DECOS Tool-Chain: Model- Based Development of Distributed Embedded Safety-Critical Real-time Systems. DECOS/ERCIM Workshop on Dependable Embedded Systems, September 2006.Google Scholar
  14. 14.
    DECOS. Dependable Embedded Components and Systems. Project deliverable D2.2.3. Virtual communication links and gateways – Implementation of design tools and middleware services. December 2005.Google Scholar
  15. 15.
    M. Sundaram and S.S.Y. Shim. Infrastructure for B2B exchanges with RosettaNet. In Third Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, WECWIS 2001, pages 110.119, 2001.Google Scholar
  16. 16.
    A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garret, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The generic modeling environment. In Proc. of Workshop on Intelligent Signal Processing, May 2001.Google Scholar
  17. 17.
    OMG. UML 2.0 OCL specification, OMG final adopted specification. Technical Report OMG Document No. ptc/03-10-14, Object Management Group, 2003.Google Scholar
  18. 18.
    B. Huber, P. Peti, R. Obermaisser, and C. El Salloum. Using RTAI/LXRT for partitioning in a prototype implementation of the DECOS architecture. In Proc. of the Third Int. Workshop on Intelligent Solutions in Embedded Systems, May 2005.Google Scholar
  19. 19.
    H. Kopetz and G. Grünsteidl. TTP – A protocol for fault-tolerant real-time systems. Computer, 27(1):14.23, January 1994.CrossRefGoogle Scholar
  20. 20.
    Robert Bosch Gmbh, Stuttgart, Germany. CAN Specification, Version 2.0, 1991.Google Scholar
  21. 21.
    LIN Consortium. LIN Specification Package Revision 2.0, September 2003.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Bernhard Huber
    • 1
  • Roman Obermaisser
    • 1
  1. 1.Institute of Computer EngineeringVienna University of TechnologyAustria

Personalised recommendations