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, scheduling and
architecture related issues which should help to define a
work programme in this field.
TOPICS
The workshop topics include:
Modeling 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
Notations for defining the architecture of heterogeneous systems
Semantic aspects of real-time in UML
Formal semantics, in particular, semantic integration of
heterogeneous systems
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 and scheduling related properties
Validation of functional properties of time dependent
systems
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.