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 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.
The SIVOES-MoDeVA is a satellite workshop of ISSRE conference and will take place at the IRISA lab in Rennes.
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.
This workshop is supported by the Carroll research program.