In conjunction with MoDELS

MoDeVa workshop - Model design and Validation

Important dates

Submission deadline: Aug. 5, 2005
Notification of acceptance: Aug. 29, 2005
Workshop day: TBA

Workshop Organizers

Benoit Baudry (INRIA, France)
Christophe Gaston (CEA/LIST, France)
Sudipto Ghosh (CSU, USA)

Program Committee

TBA

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 cannot 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 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

• Validation techniques for MDE
• Verification and Testing at the model level
• Compositional approaches
• Tools and automation
• Validation and verification techniques supporting refinement, abstraction, and structuring
• Case Studies and Experience Reports.
  

Submission

Submissions should not exceed 4 pages. A balanced selection of position and technical papers will be decided by the program committee. Submissions should be sent as PS or PDF file formats by email to organizers.