Workshop: SIVOES - MoDeVA
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: 1 May 2004 Deadline
Extension 16 May 2004
- Notification
date: 9 July 2004
- Final
Manuscript: 3 September 2004
- Workshop
date: 2 November 2004
Location and Accommodations
The SIVOES-MoDeVA is a satellite workshop of ISSRE
conference and will take place at the IRISA lab in Rennes.
Submission
Submissions should not exceed 10 pages including
references (please use IEEE style files) and should be sent as PS or PDF file
formats through this submission
form 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)
- 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)
- Bengt Jonsson (Uppsala University, Sweden )
- 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 (Universität München, Germany)
- Bernhard
Rumpe (Technische Universität Braunschweig,
Germany)
- Mark
Ryan (University of Birmingham, UK)
- Pierre-Yves Schobbens (Université Namur, Belgium)
Copyright ©2003
Site hosted by Cigital, Inc.