Modeling languages for real-time and embedded systems: requirements and standards-based solutions

  • Authors:
  • Sébastien Gérard;Huascar Espinoza;François Terrier;Bran Selic

  • Affiliations:
  • CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, Gif sur Yvette Cedex, France;Malina Software Corp., Nepean, Ontario, Canada;CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, Gif sur Yvette Cedex, France;Malina Software Corp., Nepean, Ontario, Canada

  • Venue:
  • MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Development of increasingly more sophisticated dependable real-time and embedded systems requires new paradigms since contemporary code-centric approaches are reaching their limits. Experience has shown that model-based engineering using domain-specific modeling languages is an approach that can overcome many of these limitations. This chapter first identifies the requirements for a modeling language to be used in the real-time and embedded systems domain. Second, it describes how the MARTE profile of the industry-standard UML language meets these requirements. MARTE enables precise modeling of phenomena such as time, concurrency, software and hardware platforms, as well as their quantitative characteristics.