[apologies if you receive multiple copies of this announcement]
        ===============================================================

        <<UML>>2000
        Third International Conference on the Unified Modeling Language 
        Royal York Hotel, York, UK, October 2-6, 2000 
        http://www.cs.york.ac.uk/uml2000

        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 [log in to unmask] 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/index.htm>.
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

Position paper submission deadline:      August       1, 2000
Notification of acceptance:              August      15, 2000
Workshop date :                          October 2 or 3, 2000

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 coordinators :

Rodolphe ARTHAUD (VERILOG)      
   E-mail: [log in to unmask]
Dr. Udo BROCKMEYER (OFFIS)      
   E-mail: [log in to unmask]
Prof. Dr. Werner DAMM (OFFIS)   
   E-mail: [log in to unmask]
Bruce Powel DOUGLASS (I-LOGIX)
   E-mail: [log in to unmask]  
Prof. Dr. Francois TERRIER (CEA-LETI)   
   E-mail: [log in to unmask]
Prof. Dr. Wang YI (Uppsala University)  
   Email: [log in to unmask]

Workshop contact : Udo Brockmeyer (OFFIS)
E-mail: [log in to unmask] <mailto:[log in to unmask]>
<http://wooddes.intranet.gr/workshop.htm>

        ===============================================================
        [apologies if you receive multiple copies of this announcement]




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%