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

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

doi:10.1007/978-3-642-16277-0_6

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

Sébastien Gérard^*
, Huascar Espinoza
, François Terrier
, Bran Selic

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Citations (Scopus)

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.

Original language	English
Title of host publication	Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers
Pages	129-154
Number of pages	26
DOIs	https://doi.org/10.1007/978-3-642-16277-0_6
Publication status	Published - 2010
Externally published	Yes
Event	International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems - Dagstuhl Castle, Germany Duration: 4 Nov 2010 → 9 Nov 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6100 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems
Country/Territory	Germany
City	Dagstuhl Castle
Period	4/11/10 → 9/11/10

Access to Document

10.1007/978-3-642-16277-0_6

Cite this

Gérard, S., Espinoza, H., Terrier, F., & Selic, B. (2010). Modeling languages for real-time and embedded systems: Requirements and standards-based solutions. In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers (pp. 129-154). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6100 LNCS). https://doi.org/10.1007/978-3-642-16277-0_6

Gérard, Sébastien ; Espinoza, Huascar ; Terrier, François et al. / Modeling languages for real-time and embedded systems : Requirements and standards-based solutions. Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers. 2010. pp. 129-154 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{df7d20e1f5ee43848b4bb430984ceda5,

title = "Modeling languages for real-time and embedded systems: Requirements and standards-based solutions",

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.",

author = "S{\'e}bastien G{\'e}rard and Huascar Espinoza and Fran{\c c}ois Terrier and Bran Selic",

year = "2010",

doi = "10.1007/978-3-642-16277-0\_6",

language = "English",

isbn = "3642162762",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "129--154",

booktitle = "Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers",

note = "International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems ; Conference date: 04-11-2010 Through 09-11-2010",

}

Gérard, S, Espinoza, H, Terrier, F & Selic, B 2010, Modeling languages for real-time and embedded systems: Requirements and standards-based solutions. in Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6100 LNCS, pp. 129-154, International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems, Dagstuhl Castle, Germany, 4/11/10. https://doi.org/10.1007/978-3-642-16277-0_6

Modeling languages for real-time and embedded systems: Requirements and standards-based solutions. / Gérard, Sébastien; Espinoza, Huascar; Terrier, François et al.
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers. 2010. p. 129-154 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6100 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Gérard S, Espinoza H, Terrier F, Selic B. Modeling languages for real-time and embedded systems: Requirements and standards-based solutions. In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers. 2010. p. 129-154. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-16277-0_6

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this