Modelling the timing behaviour of a real-time system is necessary to analyse the ability of the system to meet its timing requirements. A model of the real-time system can be produced during the design process and can be used to automatically feed schedulability analysis tools. An accurate model needs to capture the relevant details of the platform, the software architecture and implementation, and the events that trigger the execution of the different activities in the system.

A UML profile for embedded real-time systems called MARTE has been developed recently. One of the goals of this profile is to be able to automatically obtain analysable models of a real-time application designed with UML.

The main objective of this Workshop is to present existing models of real-time systems, and propose extensions to fill the gaps that are required to cover state-of-the-art hardware platforms, operating systems, and scheduling techniques used in practice to develop real-time applications.

The workshop will be organized with short presentations of state-of-the-art models and longer discussions of new extensions that should be addressed. The discussion should include the various resources that we may want to analyse, including at least processing resources and networks.

The University of Cantabria developed the MAST model some time ago. This model had a significant influence in parts of the final MARTE standard. We are now working on a new model, called MAST-2, that tries to enhance the modelling capabilities that we had in MAST and, if successful, contribute to the future evolution of the MARTE UML profile. The workshop results could contribute to this future evolution.

Participation in the Workshop is by invitation. If you are interested in participating please send an e-mail to Michael González: mgh@unican.es. Please contribute to the agenda of the workshop by specifying if you would like to do a short presentation on state-of-the-art models and/or which specific modelling elements should be discussed.

The meeting will start on Monday February 7th at 14:00 and will finish on February 8th at 14:00.

The meeting will be held at the University of Cantabria in the Faculty of Science:

Facultad de Ciencias
Universidad de Cantabria
Avda. de los Castros s/n
39005 - Santander, Spain

Michael González Harbour
Universidad de Cantabria
mgh@unican.es

Réalisation Axome - Création de sites Internet