![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: BAUDRY Benoit <BB205843@ortolan.cea.fr>
To: "'seworld@cs.colorado.edu'" <seworld@ernie.cs.colorado.edu>
Subject: (SEWORLD) SIVOES/MoDeVa workshop
Date: Wed, 9 Jun 2004 17:13:38 -0600 (MDT)
*----------------------------------------------------------------------*
* First Call for Papers *
* *
* Workshop *
* Specification Implementation and Validation *
* of Object-oriented Embedded Systems - *
* Special Issue on Model Design and Validation *
* (SIVOES - MoDeVa) *
* *
* Associated with the 15th IEEE International Symposium on *
* Software Reliability Engineering (ISSRE 2004) *
* *
* *
* November 2, 2004, Rennes, France *
*--------------------------------------------------------------------- *
* Submission deadline: July 15, 2004
*
* Notification to authors: September 13, 2004 *
* Final version: September 20, 2004 *
*----------------------------------------------------------------------*
* http://www.issre.org/2004 sivoes@cea.fr *
*----------------------------------------------------------------------*
Workshop overview:
Design and validation methods appear to be more and more necessary in an
industrial context. This fact is due to several factors. Software systems
are more and more complex and can not be understood by a stand-alone human
without a proper standardisation. MDA(Model Driven Architecture) or more
generally object/component oriented design methods have been defined in
order to overcome a part of this problem. Moreover, systems large scale and
complexity induce important risks of bugs or unpredicted behaviours
resulting from interactions between subsystems. Formal methods have been
intensively applied to evaluate reliability of systems. These methods
generally require adequate specification and structuring languages to
describe (a part of) the system under validation. For instance, modular
first order languages are suitable for this purpose. One of the main problem
encountered when trying to combine design and validation features, is that
structuring languages suitable for one of the features are generally not
suitable for the other. In this way, object-oriented paradigm is suitable
for large scale system design, since it allows anthropomorphic design based
on services exchanges of basic entities. However, this paradigm is not
suitable (without restriction) for validation activities, since any
enrichment of a system is likely to cause loss of global properties. In the
opposite way, modular paradigm ensures properties preservation but the price
to pay is an amount of design difficulties.
The SIVOES (Specification Implementation and Validation of Object-oriented
Embedded Systems)-MoDeVa (Model Design and Validation) workshop aims at
being a forum for researchers and practitioners with varying backgrounds to
discuss new ideas concerning links between model-based design and
model-based validation. More precisely, topics of interest include design
processes that support complex system modelling and formal or semi-formal
refinement mechanisms. In the frame of validation methodology, model-based
testing will be considered as "first-class-citizen" since testing is the
primary used technique in the industrial context. Design methodologies
including considerations on properties preservation (non-regression testing
for example) will be appreciated. Languages to describe or validate models
include UML and its MDE(Model Driven Engineering) and MDA aspects, algebraic
languages, automata-based language, first order language, propositional
languages... The considered design paradigm may be inherited from
programming language field, like object oriented design, or more abstract,
like component or feature based modelling.
Topics of interest:
* Specifying with MDA,
* Validation and MDE,
* Verification and Test at a model level,
* Compositional approaches,
* Tools Automation,
* Model Refinement and Abstraction,
* Case Studies and Experience Reports, ...
Important Dates:
* Submission deadline: July 15
* Notification date: September 13
* Final Manuscript: September 20
* Workshop date: November 2
Location and accommodations:
The SIVOES-MoDeVA is a satellite workshop of ISSRE conference and will take
place at IRISA lab in Rennes. A web page concerning the workshop will be
available soon (associated with the ISSRE 2004 web page)
Submission:
Submissions should not exceed 10 pages including references (please use IEEE
style files) and should be sent as PS or PDF file formats to sivoes@cea.fr.
Proceedings for the workshop will be published by the University of Rennes
and will be supported by IEEE.
Workshop co-chairs:
* David Lugato ( CEA/LIST - France ) sivoes@cea.fr
* Christophe Gaston ( CEA/LIST - France )
Program committee:
* Antonia Bertolino ( CNR/ISTI Pisa - Italy)
* Véronique Donzeau-Gouge ( CNAM Paris - France )
* Robert France ( Colorado State University - USA)
* Hubert Garavel ( INRIA Rhône-Alpes - France )
* Christophe Gaston ( CEA/LIST - France )
* Sébastien Gérard ( CEA/LIST - France )
* David Lugato ( CEA/LIST - France )
* Véronique Normand ( THALES/TRT - France )
* Bruno Marre ( Université Paris-Sud, CEA/LIST - France )
* Simon Pickin ( Universidad Carlos III Madrid - Spain )
* Alexander Pretschner ( ETH Zurich - Switzerland )
* Bernhard Rumpe ( Technische Universität Braunschweig - Germany )
* Mark Ryan ( University of Birmingham - UK )
* Pierre-Yves Schobbens ( Université Namur - Belgium )
* Bengt Jonsson (Uppsala University-Sweden)
To the Ada-Belgium home page.
Last update: 2004/0x/xx.
Dirk Craeynest