Aims and Scope
Model-Driven Development (MDD) and Formal Methods (FM) put the emphasis on the use of models through the process of system development. Though MDD traditionally rely on graphical model representations, while FM uses mathematical notations, they pursue the same goal of ensuring dependability and robustness of the software intensive systems.
The workshop will look into how to enhance the use of MDD by the power of FM for assurance and dependability. We call for contributions that envision the integration of the two viewpoints or tackle challenges in the integration. The focus will be on discussing the interplay between the use of FM approaches and the MDD techniques.
The topics of interest include, but are not limited to:
- Formal methods in model-driven development
- Model-driven development for formal methods
- Quality assurance for models and model transformation
- Model transformation for formal models
- Model transformation and refinement
- Formal and model driven approaches to engineering safety- critical, fault-tolerant and secure systems
- Integrated analysis of functional and extra-functional properties of trustworthy software-intensive systems
- Methods and tools integrating graphical and formal approaches
- Lightweight formal methods for dependability and security
- Formal and model-driven engineering of trustworthy cyber-physical systems
- Domain-specific formal and model-driven approaches
Submission Types
All submissions must be original, unpublished, and cannot be simultaneously submitted for publication elsewhere. Papers of the following types are solicited:
- Research papers focusing on advanced and novel theories, methodologies, or mechanisms
- Tool papers focusing on useful and practical tools, their integration and interoperability
- Experience papers with a focus on deployment, evaluation and lessons learned
Paper Format
Submissions must consist of no more than 10 pages for Research papers and 6 pages for Tool/Experience papers (including all the materials) in the LNCS format.
Publication
The proceedings will be published as a technical report of Newcastle University (UK). the proceedings will also be made available online in ACM Computing Research Repository (CORR) before the workshop.