Deadline extended: 2nd International Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

[Elena Troubitsyna]

Submission deadline extended till September 27th, 2017

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

Xi'an, China, November 16-17th, 2017

http://research.nii.ac.jp/fmmdd/index.html

In conjunction with ICFEM 2017

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

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.

Submission page
https://easychair.org/conferences/?conf=fmmdd2017