Modeling and Analysis of Real-Time and Embedded Systems

This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the MODELS/UML 2005 conference. The main themes discussed at this workshop concerned (1) methodologies and tools for quantitative analysis and (2) methodologies and languages for modeling quantitative aspects of real-time and embedded systems in the context of model driven development.

[1]  Jean-Philippe Babau,et al.  Validating temporal properties of a deployed application with an MDA approach , 2005 .

[2]  Hassan Gomaa,et al.  Improving the Reliability of Concurrent Object-Oriented Software Designs , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[3]  Pierre Boulet,et al.  Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach , 2005 .

[4]  S. Graf,et al.  Timing analysis and validation of the embedded MARS bus manager ? , 2005 .

[5]  Amir Pnueli,et al.  Smart play-out extended: time and forbidden elements , 2004 .

[6]  P. Caspi,et al.  From control system design to embedded code: the synchronous data-flow approach , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[7]  Holger Giese,et al.  Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML , 2005, MoDELS Satellite Events.

[8]  Amir Pnueli,et al.  Smart play-out extended: time and forbidden elements , 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..

[9]  Florence Maraninchi,et al.  Mode-Automata: About Modes and States for Reactive Systems , 1998, ESOP.

[10]  Sébastien Gérard,et al.  Annotating UML Models with Non-functional Properties for Quantitative Analysis , 2005, MoDELS Satellite Events.

[11]  Iulian Ober,et al.  Validating timed UML models by simulation and verification , 2006, International Journal on Software Tools for Technology Transfer.

[12]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[13]  Holger Giese,et al.  Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite , 2004 .

[14]  Paul Caspi,et al.  From Control Loops to Real-Time Programs , 2005, Handbook of Networked and Embedded Control Systems.

[15]  Huáscar Espinozaa,et al.  A General Structure for the Analysis Framework of the UML MARTE Profile , 2005 .

[16]  M. Hirsch,et al.  The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[17]  Vahid Garousi,et al.  A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information , 2005 .