----- Original Message ----- From: Udo Brockmeyer <[log in to unmask]> To: <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask] Sent: Thursday, June 22, 2000 4:43 PM Subject: UML'2000, Workshop on Formal Design Techniques for Real-Time > [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] > >