MARTE

MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification of a UML® profile adds capabilities to UML for model-driven development of Real Time and Embedded Systems (RTES). This extension, called the UML profile for MARTE (in short MARTE), provides support for specification, design, and verification/validation stages. This new profile is intended to replace the existing UML Profile for Schedulability, Performance and Time (formal/03-09-01). MARTE consists in defining foundations for model-based description of real time and embedded systems. These core concepts are then refined for both modeling and analyzing concerns. Modeling parts provides support required from specification to detailed design of real-time and embedded characteristics of systems. MARTE concerns also model-based analysis. In this sense, the intent is not to define new techniques for analyzing real-time and embedded systems, but to support them. Hence, it provides facilities to annotate models with information required to perform specific analysis. Especially, MARTE focuses on performance and schedulability analysis. But, it defines also a general framework for quantitative analysis which intends to refine/specialize any other kind of analysis.


References in zbMATH (referenced in 21 articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  2. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  3. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015) ioport
  4. Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil: Stepwise refinement of sequence diagrams with soft real-time constraints (2015)
  5. Aziz, Muhammad Waqar; Mohamad, Radziah; Jawawi, Dayang N. A.; Mamat, Rosbi: Service based meta-model for the development of distributed embedded real-time systems (2013)
  6. Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank: An architectural approach to the analysis, verification and validation of software intensive embedded systems (2013)
  7. Zhou, Yu; Baresi, Luciano; Rossi, Matteo: Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (2013)
  8. Merseguer, José; Bernardi, Simona: Dependability analysis of DES based on MARTE and UML state machines models (2012)
  9. Blouin, Dominique; Chillet, Daniel; Senn, Eric; Bilavarn, Sébastien; Bonamy, Robin; Samoyeau, Christian: AADL extension to model classical FPGA and FPGA embedded within a soc (2011) ioport
  10. Lin, Chao-Sheng; Lu, Chun-Hsien; Lin, Shang-Wei; Chen, Yean-Ru; Hsiung, Pao-Ann: VERTAF/multi-core: A SysML-based application framework for multi-core embedded software development (2011) ioport
  11. Andrade, Ermeson; Maciel, Paulo; Nogueira, Bruno; Araújo, Carlos; Callou, Gustavo: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (2010)
  12. Glitia, Calin; Dumont, Philippe; Boulet, Pierre: Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing (2010)
  13. Mussbacher, Gunter; Whittle, Jon; Amyot, Daniel: Modeling and detecting semantic-based interactions in aspect-oriented scenarios (2010) ioport
  14. Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo: An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P (2010)
  15. Brunette, Christian; Talpin, Jean-Pierre; Gamatié, Abdoulaye; Gautier, Thierry: A metamodel for the design of polychronous systems (2009)
  16. Garousi, Vahid; Briand, Lionel C.; Labiche, Yvan: A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems (2009) ioport
  17. Quadri, Imran Rafiq; Meftali, Samy; Dekeyser, Jean-Luc: High level modeling of dynamic reconfigurable fpgas (2009) ioport
  18. Riccobene, Elvinia; Scandurra, Patrizia: Model transformations in the UPES/UPSoC development process for embedded systems (2009) ioport
  19. Selic, Bran: Personal reflections on automation, programming culture, and model-based software engineering (2008) ioport
  20. Yu, Huafeng; Gamatié, Abdoulaye; Rutten, Éric; Dekeyser, Jean-Luc: Safe design of high-performance embedded systems in an MDE framework (2008) ioport

1 2 next