FM&MDD 2017

2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 2017, Xi'an - in Conjunction with ICFEM 2017

Main Content

Topic Areas

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

The proceedings will be made available online.

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.