MARTE swMATH ID: 21826 Software Authors: Object Management Group, Inc. Description: 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. Homepage: http://www.omg.org/omgmarte/ Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; Circus; Metropolis; Ptolemy; Modelica; StateFlow; Papyrus; PAT; Romeo; HERBY; DaProS; UMLsec; NuSMV; PRISM; AUTOSAR Cited in: 10 Publications all top 5 Cited by 34 Authors 1 Andrade, Ermeson 1 André, Étienne 1 Baresi, Luciano 1 Benmoussa, Mohamed Mahdi 1 Bernardi, Simona 1 Boulet, Pierre 1 Brunette, Christian 1 Callou, Gustavo 1 Chen, Dejiu 1 Chen, Mingshuai 1 Choppy, Christine 1 Dumont, Philippe 1 Feng, Lei 1 Gamatié, Abdoulaye 1 Gautier, Thierry 1 Gioiosa, Gianpaolo 1 Glitia, Calin 1 Hagl, Frank 1 Kearney, David A. 1 Lönn, Henrik 1 Maciel, Paulo 1 Merseguer, José 1 Nogueira, Bruno Magalhães 1 Qureshi, Tahir Naseer 1 Ravn, Anders P. 1 Refsdal, Atle 1 Rossi, Matteo A. C. 1 Runde, Ragnhild Kobro 1 Stølen, Ketil 1 Talpin, Jean-Pierre 1 Wang, Shuling 1 Yang, MengFei 1 Zhan, Naijun 1 Zhou, Yu all top 5 Cited in 8 Serials 2 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 Computing 1 Journal of Computer and System Sciences 1 Journal of Computer Science and Technology 1 Formal Aspects of Computing 1 Multidimensional Systems and Signal Processing 1 Discrete Event Dynamic Systems Cited in 3 Fields 8 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year