International Workshop Formal Models for Mastering Multifaceted Systems (@ MEDI 2018)
Numerous software-based systems are distinguished by their needs to handle simultaneously multiple facets: complex behaviours, intensive data, continuous reaction with their environment, evolving physical environments, time properties, robustness to failure, etc.
Modelling, analysing and building such multifaceted systems are still challenging research concerns.
The purpose of the workshop is to connect researchers and practionners working on various aspects of such systems which involve heterogeneous components, distributed and embedded systems, reactive systems, etc.
As an event of MEDI’2018, the workshop will be scheduled on half a day (October 24th, 2018), for the presentation of papers selected by an international programme committee.
General Chairs
Program Committe Co-Chairs
Publicity Chairs
Demo Co-Chairs
|
WIP Co-Chairs
Organizing Committee
PhD Students Organizing Committee
|
Program Committee Members
|
|
TOPICS AND GOALS
Multifaceted Systems are distinguished by their needs to handle simultaneously numerous facets : complex behaviours, intensive data, continuous reaction with their environment, evolving physical environments, time properties, robustness to failure, etc
The formal modelling and analysis of such multifaceted systems are still challenging due to the need of well-researched theories, methods and tools to combine models and methods in order to take account of the various facets, environment (including hardware but not only) as well as software components, the interaction with the environment, the transfer of properties, the refinement into various target languages pr frameworks, etc.
All these facets make it difficult in practice to build or to guarantee that a multifaceted model is correct.
The topics of interest of the workshop include, but are not limited to :
New concepts, models, theory and tools for multifacted systems ;
Formal modelling of multifaceted systems ;
Formal modelling of embedded systems and mechatronic systems ;
Analysis of interactive distributed systems ;
Standards for interchange between models, methods, provers, model checkers ;
All aspects of interaction between formal analysis tools ;
Correct-by-construction (refinement-based) methods ;
Contract-based design and verification ;
Probabilistic modelling and analysis ;
Compositional approaches to heterogeneous systems ;
Heterogeneous models for cyber-physical or mechatronic systems ;
Case studies.
Submission Guidelines
All submitted papers must be 12-14 pages long, following the Springer LNCS format. These submissions may be:
Original research papers providing new concepts and results
Experience reports, case studies
Tool presentations
10月24日
2018
会议日期
摘要截稿日期
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
留言