TY - GEN
T1 - Modeling languages for real-time and embedded systems
T2 - International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems
AU - Gérard, Sébastien
AU - Espinoza, Huascar
AU - Terrier, François
AU - Selic, Bran
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/78449261764
U2 - 10.1007/978-3-642-16277-0_6
DO - 10.1007/978-3-642-16277-0_6
M3 - Conference contribution
AN - SCOPUS:78449261764
SN - 3642162762
SN - 9783642162763
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 129
EP - 154
BT - Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers
Y2 - 4 November 2010 through 9 November 2010
ER -