by Ana Cavalcanti (University of York), Laure Petrucci (LIPN, CNRS & Université Paris 13) and Cristina Seceleanu (Mälardalen University)
The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organised as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2017 workshop took place on 18-20 September in Turin, hosted by the University of Turin.
The aim of the FMICS workshop series is to provide a forum for researchers interested in the development and application of formal methods in industry. It strives to promote research and development for the improvement of formal methods and tools for industrial applications. The aim of the AVoCS workshop series is to contribute to the interaction and exchange of ideas among members of the international community on tools and techniques for the verification of critical systems.
The workshop was chaired by Laure Petrucci (LIPN, CNRS & Université Paris 13, France) and Cristina Seceleanu (Mälardalen University, Sweden). A special track on “Formal methods for mobile and autonomous robots” took place within the event, and was chaired by Ana Cavalcanti (University of York, UK). The workshop attracted 30 participants from eleven countries.
A total of thirty papers were submitted, including eight specifically for the special track. Fourteen of them were accepted (including four for the special track).
The programme also included two excellent invited keynote lectures: “Replacing store buffers by load buffers in total store ordering” by Parosh Abdulla (Uppsala University, Sweden) and “Towards formal apps: turning formal methods into verification techniques that make the difference in practice” by Kerstin Eder (University of Bristol, UK). Moreover, a half-day tutorial took place: “DIME: Model-based generation of running web applications” by Tiziana Margaria (University of Limerick & Lero, Ireland) and Philip Zweihoff (TU Dortmund, Germany).
The presentations were of extremely good quality. The programme committee awarded two best papers: “A unified formalism for monoprocessor schedulability analysis under uncertainty” by Etienne André, and “Formalising the Dezyne modelling language in mCRL2” by Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Rob Howe, Wieger Wesselink, Rob Wieringa and Tim Willemse. An excellent programme together with a nice weather contributed to the success of the workshops.
Best paper award winners Etienne André (left) and Tim Willemse.
We gratefully acknowledge the support of Springer for publishing the workshop’s proceedings and sponsoring the best papers, EasyChair for assisting us in managing the complete process from submission to proceedings, as well as ERCIM and EASST.
The proceedings of FMICS-AVoCS 2017 have been published by Springer as volume 10471 of their LNCS series.
Selected papers are proposed for special issues of the international journals Software Tools for Technology Transfer (STTT) and Science of Computer Programming (SCP).
FMICS-AVoCS 2017: http://www.es.mdh.se/conferences/fmics-avocs-2017/
FMICS Working Group: http://fmics.inria.fr/
Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti (eds.): “Critical Systems: Formal Methods and Automated Verification -
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS’17)”, Turin, Italy, 18–20 September 2017, Lecture notes in Computer Science 10471, Springer, 2017.
Ana Cavalcanti, University of York
Laure Petrucci, LIPN, CNRS & Université Paris 13
Cristina Seceleanu, Mälardalen University