MARTE: A profile for RT/E systems modeling, analysis -And simulation?

SIMUTools 2008 - 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems

Volumn , Issue , 2008, Pages

  Mallet, Frédéric ^a   De Simone, Robert ^b  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

^b INRIA   (France)

Author keywords

MARTE; UML profile

Indexed keywords

EMBEDDED SYSTEMS; MODELING LANGUAGES; REAL TIME SYSTEMS; SEMANTICS;

ANALYSIS AND SIMULATION; BEHAVIORAL REPRESENTATION; EXECUTION SEMANTICS; MARTE; MODEL AND ANALYSIS; REAL TIME SIMULATORS; REAL-TIME EMBEDDED SYSTEMS; UML PROFILES;

UNIFIED MODELING LANGUAGE;

EID: 84923286539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/ICST.SIMUTOOLS2008.3097     Document Type: Conference Paper

References (15)

1. The Object Management Group. 2005. The Unified Modeling Language (UML). OMG Adopted Specification v2.1.2. http://www.omg.org/spec/UML/2.1.2/.
2. th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (Santorini Island, Greece, May 07-09 2007). ISORC'07. IEEE Computer Society, 2-9.
3. The Object Management Group. 2005. The UML Profile for Schedulability, Performance and Time (SPT). OMG Adopted Specification v1.1. Document Number: formal/05-01-02. http://www.omg.org/cgi-bin/doc?formal/2005-01-02.
4. The Object Management Group. 2005. UML Profile for Modeling and Analysis of Real-Time and Embedded systems. OMG Request For Proposals, realtime/05-02-06. http://www.omg.org/cgi-bin/doc?realtime/05-02-06.pdf.
5. The Object Management Group. 2005. The UML Profile for Modeling and Analysis of Real-Time and Embedded systems, beta 1. OMG Adopted Specification, ptc/07-08-04. http://www.omg.org/cgi-bin/doc?ptc/2007-08-04.
6. H. Störrle. 2005. Semantics and Verification of Data Flow in UML 2.0 Activities. Electronic notes in Theoretical Computer Science, 127(4), pp. 35-52.
7. J. P. Lopez-Grao, J. Merseguer, and J. Campos. 2004. From UML Activity Diagrams To Stochastic Petri Nets. Proc. Int. Workshop on Software and Performance, January 2004, Redwood City, CA, USA, pp. 25-36.
8. F. Mallet, M-A. Peraldi, C. André. 2006. From UML to Petri Nets for non functional Property Verification. In Proc. of the IEEE Int. Symposium on Industrial Embedded Systems (IES'2006), October 2006, France. ISBN: 0-7803-9759-2.
9. The Object Management Group. 2006. Semantics of a Foundational Subset for Executable UML Models. Initial Submission. Document Number: 06-05-02. http://www.omg.org/cgi-bin/doc?ad/06-05-02.pdf.
10. th Workshop on Multi-Paradigm Modeling (MPM'07) at MoDELS, BME-DAAI Technical Report Series, 1: pp. 49-60. October 2007.
11. F. A. Schreiber. 1994. Is time a real time? An overview of time ontology in informatics. Real-Time Computing. F127:283-307, 1994.
12. E. A. Lee and A. Sangiovanni-Vincentelli. 1998. A framework for comparing models of computation. IEEE Transactions on CAD of Integrated Circuits and Systems (TCAD) 17(12):1217-1229.
13. The Object Management Group. 2007. Systems Modeling Language (OMG SysML) v1.0. OMG Available Specification. Document number: formal/2007-09-01. http://www.omg.org/cgi-bin/doc?formal/2007-09-01.
14. C. André, F. Mallet, and R. De Simone. 2007. Modeling Time (s). In Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML), October 2007, TN, USA. Springer Verlag, LNCS 4735, pp. 559-573.
15. M. Woodside. 2007. From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. Formal Methods for Performance Evaluation, 7th Int. School on Formal Methods (SFM'07) for the Design of Computer, Communication, andd Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2. LNCS 4486, Springer.