2000

2-6th October, 2000, York, UK

Workshop
Formal Design Techniques for Real-Time UML

Call for Papers

WORKSHOP OVERVIEW

The adoption of object-oriented modeling in the real-time domain appears to
be essential in order to face rapidly changing market conditions. The
ongoing standardization and stabilization of UML is an important step on this
track. Furthermore, designers of real-time systems have a strong need for
enhancing UML with specific real-time specification means and for tools and
methodologies supporting the object-oriented real-time development process.
Several of the organizers of this workshop are involved in the AIT-WOODDES
project, which is one such attempt. This project is an European project of
the fifth PCRD and it joins the IST (Information Societies Technology)
Program. Its objective is to provide a clean and general framework for
real-time development as close as possible to traditional object-oriented
methods. Its overriding results are expected to have major impacts on:

• development time and cost
• quality of delivered products
• continuity of the development cycle

This workshop will address important issues in relation to these goals. The
workshop aims to gather academics and industrial people to discuss the use of
formal design techniques for the development of embedded real-time systems
with extended real-time UML. It tackles important issues of a development
cycle (analysis, design, implementation, validation), i.e. modeling,
synthesis/code generation, testing, and validation respectively verification.

TOPICS

The workshop topics include (but are not limited to):

• Modeling of real-time systems with UML

How to specify real-time requirements with UML (interactions, constraints,...)?
How to model real-time dynamic behavior with UML (objects, state diagrams,...)?
How to enhance UML to capture more real-time aspects?

• Synthesis and code generation with respect to hard real-time requirements

How to generate code taking into account specified timing constraints?
How to ensure fulfillment of timing constraints?
How to assess and back-annotate timing analysis results?

• Testing

How to derive test cases from the specified timing constraints?
How to test the code against the specified requirements?

• Validation and verification:

How to validate and verify the dynamic behavior and the fulfillment of the timing constraints?
How to ensure consistency of a system described through different types of models (structural, interaction, behavior, ...)?

 

FORMAT OF THE WORKSHOP

The workshop will consist mainly of small working groups that focus on a
specific problem. First, the organizers of the workshop will present surveys
covering the four topics identified for the workshop. These presentations
will provide some of the context for the discussions in the working groups.
Within the groups each group member will shortly present his position in
relation to the theme of his group. In a brain storming session the group
will list issues related to their topic and then start discussions about
items of the list. The discussion will be recorded, summarized, and presented.

SUBMISSIONS & PARTICIPATION

To participate to the workshop "Formal Design Techniques for Real-Time UML"
send a position paper to Udo.Brockmeyer@OFFIS.de. Your submission should not
exceed 3 pages (10 point, single space) and should be in one of the following
formats: plain text, postscript, pdf or word.

Accepted submissions will be placed on the workshop web site and on the
AIT-WOODDES web site http://wooddes.intranet.gr/.

Working group and workshop synthesis will be considered for publication in a
UML Workshop Reader after obtaining agreement with an interested publisher.

All attendees at the workshop will have to pay the workshop registration
fee. A discounted fee will be offered for those also attending the <<UML>> 2000 conference.


INVITED PEOPLE

Bran Selic (ObjecTime Limited)

IMPORTANT DATES

ORGANIZERS

This workshop is organized by members of the European project AIT-WOODDES
(Workshop for Object Oriented Design and Development of Embedded Systems),
and by Bruce Powel Douglass (I-Logix).

WORKSHOP POSITION PAPERS

WORKSHOP COORDINATORS

Workshop contact : Udo Brockmeyer (OFFIS)
E-mail: Udo.Brockmeyer@OFFIS.de