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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.J. Murray. Auto group seeks universal software. EE Times, 2003.
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.
R. Obermaisser, P. Peti, B. Huber, and C. El Salloum. DECOS: An integrated timetriggered architecture. E&I Journal, 3:83. 95, March 2006.
OMG. A UML Profile for MARTE, Beta 1. OMG adopted specification. 2007.
OMG. Model Driven Architecture (MDA). Technical Report document number ormsc/2001-07-01, Object Management Group, July 2001.
L. Rioux. MARTE: A new OMG standard for Modeling and Analysis of Real-Time Embedded Systems. Thales Research & Technology, France. September 2007.
OMG. Systems Modeling Language (OMG SysML), V1.0 Specification., 2007.
SAE. Architecture Analysis & Design Language (AADL). AS5506., 2004.
DECOS. Dependable Embedded Components and Systems. Project deliverable D1.1.1. Report about decision on meta-model and tools for PIM specification. December 2004.
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.
Esterel Technologies. SCADE Suite Technical and User Manuals, Version 5.0.1, 2005.
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.
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.
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.
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.
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.
OMG. UML 2.0 OCL specification, OMG final adopted specification. Technical Report OMG Document No. ptc/03-10-14, Object Management Group, 2003.
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.
H. Kopetz and G. Grünsteidl. TTP – A protocol for fault-tolerant real-time systems. Computer, 27(1):14.23, January 1994.
Robert Bosch Gmbh, Stuttgart, Germany. CAN Specification, Version 2.0, 1991.
LIN Consortium. LIN Specification Package Revision 2.0, September 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Huber, B., Obermaisser, R. (2009). Platform Modeling in Safety-Critical Embedded Systems. In: MartÃnez Madrid, N., Seepold, R.E. (eds) Intelligent Technical Systems. Lecture Notes in Electrical Engineering, vol 38. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9823-9_11
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9823-9_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9822-2
Online ISBN: 978-1-4020-9823-9
eBook Packages: EngineeringEngineering (R0)