Today's applications have often strong constraints with respect to time related aspects. UML aims at providing an integrated modelling framework encompassing architecture descriptions and behaviour descriptions. A first step to the integration of time related characteristics into the modelling framework has been achieved by the "UML profile for schedulability, Time and Performance"; It provides the basic concepts and a first attempt for a common syntax. Nevertheless, in order to be able to exchange models and to build validation tools, it is important to have a common understanding of the semantics of the given notations. Other important issues in the domain of real-time is methodology and modeling paradigms allowing to break down the complexity, and tools which are able to verify well designed systems.
This workshop should bring together participants from academia and industry to discuss different time related issues in the context of modeling and design of real-time systems.
The workshop aims to discuss the needs and possible solutions for handling time related issues which should help to define a work programme in this field.
TOPICS
The workshop topics include:
Modeling hard and soft RT using UML
How to specify real-time requirements and characteristics in UML
How to enhance UML to capture real time in a convenient manner
Declarative versus operational real-time specifications
Integration of different execution and communication modes
Semantic aspects of real-time in UML
Formal semantics of basic and derived concepts
Interpretations of annotations
Methods and tools for the validation of RT systems and components
Ensure consistency of timing constraints throughout the system
Validation of time related properties
Validation of functional properties of time dependent systems
Managing RT-component evolution throughout the development process
WORKSHOP FORMAT
This full-day workshop will consist of an introduction of the topic by the workshop organizers, an invited presentation (to be determined), presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions (the form of the discussion will depend on the number and nature of the identified subjects). A summary of the discussion will be made available.