[SystemSafety] CfP: Formal and MDD Techniques for Trustworthy Systems (Workshop at ICFEM 2016)

[Alexander Romanovsky]

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

November 14, 2016
As part of ICFEM 2016 (Tokyo, Japan)

Call for Papers

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

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 submission site:
https://easychair.org/conferences/?conf=fmmdd16

Important Dates
Paper Submission: Sept 13, 2016
Acceptance Notification: Oct 16, 2016
Camera-Ready Submission: Nov 2, 2016
Workshop Date: Nov 14, 2016

Organisers
Fuyuki Ishikawa, National Institute of Informatics, Japan
Alexander Romanovsky, Newcastle University, UK
Elena Troubitsyna, Åbo Akademi University, Finland

Programme Committee
- Yamine Ait Ameur (IRIT / INPT-ENSEEIHT, France)
- Toshiaki Aoki (Japan Advanced Institute of Science and Technology, Japan)
- Michael Butler (University of Southampton, UK)
- Susanna Donatelli (Università degli Studi di Torino, Italy)
- Holger Giese (Hasso-Plattner-Institut, Germany)
- Jérémie Guiochet (LAAS, France)
- Wilhelm Hasselbring (Kiel University, Germany)
- Shin Nakajima (National Institute of Informatics, Japan)
- Richard Paige (University of York, UK)
- Patrizio Pelliccione (Chalmers University of Technology, Sweden)
- Arend Rinsink (University of Twente, The Netherlands)
- Stefano Russo (Università degli Studi di Napoli Federico II, Italy)
- Antonella Santone (Università degli Studi del Sannio, Italy)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Dániel Varró (Budapest University of Technology and Economics, Hungary)

More information about
Workshop: http://research.nii.ac.jp/fmmdd/cfp.html
ICFEM 2016: http://icfem2016.xyz


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20160626/08c155b9/attachment.html>