Modeling and Analysis of Real-Time and Embedded Systems

  title={Modeling and Analysis of Real-Time and Embedded Systems},
  author={Susanne Graf and S{\'e}bastien G{\'e}rard and \Oystein Haugen and Iulian Ober and Bran Selic},
  booktitle={MoDELS Satellite Events},
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. 

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references


  • I. Ober, S. Graf, I. Ober. Validating timed UML models by simulation, verification
  • Journal on Software Tools for Technology Transfer…
  • 2005


  • S. Gérard, S. Graf, O. Haugen, B. Selic
  • MARTES 2005, Workshop on Modelling and Analysis…
  • 2005

From Control system design to embedded code: the synchronous data-flow approach

  • P. Caspi, P. Raymond
  • 40 IEEE Conference on Decision and Control (CDC…
  • 2001

Similar Papers

Loading similar papers…