Re: UML'2000, Workshop on Formal Design Techniques for Real-Time



Date view Thread view Subject view Author view

genie-logiciel (genie-logiciel@wanadoo.fr)
Thu, 14 Dec 2000 10:19:27 +0100


----- Original Message ----- From: Udo Brockmeyer <udo.brockmeyer@offis.de> To: <ive@dna.lth.se>; <ivan-moore@oti.com>; <itojun@mt.cs.keio.ac.jp>; <isimmond@watson.ibm.com>; <ISCO4-LIST@NIC.SURFNET.NL>; <isabelle@watson.ibm.com>; <Isabelle.Borne@emn.fr>; <iml@hhs.se>; <imichiel@vub.ac.be>; <ilias@sna.co.umist.ac.uk>; <ilia@ibissoft.se>; <ilebr@vub.ac.be>; <iivari@rieska.oulu.fi>; <ihche@cs.clemson.edu>; <igorton@transarc.com>; <icg_mat@euronet.nl>; <ibrahim@fit.qut.edu.au>; <iany@easynet.co.uk>; <Ian.Graham@chase.com>; <ia.carlson@alpha1.ais.iit.edu>; <i.rozman@uni-mb.si>; <i.jelly@shu.ac.uk>; <hz@ludens.elte.hu>; <Hyoseob.kim@durham.ac.uk>; <hychang@us.ibm.com>; <huw@dcs.gla.ac.uk>; <HunekeI@logica.com>; <hulshout@natlab.research.philips.com>; <huili@it.uq.edu.au>; <huili@dstc.edu.au>; <huiban@natlab.research.philips.com>; <hugh@interaccess.com>; <hueni@glue.ch>; <hubert@irit.f 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 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/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: Rodolphe.Arthaud@csverilog.com > Dr. Udo BROCKMEYER (OFFIS) > E-mail: Udo.Brockmeyer@OFFIS.de > Prof. Dr. Werner DAMM (OFFIS) > E-mail: Werner.Damm@OFFIS.de > Bruce Powel DOUGLASS (I-LOGIX) > E-mail: bpd@ilogix.com > Prof. Dr. Francois TERRIER (CEA-LETI) > E-mail: Francois.Terrier@cea.fr > Prof. Dr. Wang YI (Uppsala University) > Email: yi@docs.uu.se > > Workshop contact : Udo Brockmeyer (OFFIS) > E-mail: Udo.Brockmeyer@OFFIS.de <mailto:Udo.Brockmeyer@OFFIS.de> > <http://wooddes.intranet.gr/workshop.htm> > > =============================================================== > [apologies if you receive multiple copies of this announcement] > >


Date view Thread view Subject view Author view