FM&MDD Workshop at ICFEM 2016

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

Main Content

The workshop is successfully finished! Thank you very much for all the attendees!

Workshop proceedings is published here.

Slides of the invited talks are uploaded: By Mark Lawford (PDF, 6MB) and By Kenji Tei (PDF, 24MB)

Workshop Overview

Development of trustworthy software-intensive systems constitutes one of the major engineering challenges. Both functional correctness and extra-functional properties such as safety, reliability and security are equally important for ensuring system trustworthiness. To efficiently cope with complexity caused by inherently heterogeneous development environment, the designers often rely of model-driven techniques that provide them with a comprehensive integrated notation. Indeed, graphical models help to bridge the gap between informal requirements and formal models, while various architectural modelling frameworks enable the efficient multi-view analysis of diverse system properties.

Though the benefits of using both formal and model-driven techniques in the design of trustworthy systems are widely acknowledged, there is still a lack of common understanding of the integration mechanisms. In particular, there are the on-going debates about achieving a balance between flexibility and rigor in integrated modelling, analysing an interplay between functional and extra-functional properties, using domain-specific frameworks as well as addressing trustworthiness at different architectural levels.

The aims of this workshop are

  • to advance the understanding in the area of developing and applying formal and model-driven techniques for designing trustworthy systems
  • to discuss the emerging issues in the area
  • to improve the dialog between different research communities and between academia and industry
  • to discuss a roadmap of the future research in the area
  • to create a forum for discussing and disseminating the new ideas and the research results in the area