by Maurice ter Beek (ISTI-CNR)
The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organized as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2016 workshop took place on 26-28 September in Pisa at the CNR premises.
The participants of FMICS-AVoCS 2016 at the CNR premises.
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 research community on tools and techniques for the verification of critical systems.
The workshop was chaired by Maurice ter Beek (ISTI-CNR, Italy), Stefania Gnesi (ISTI-CNR, Italy) and Alexander Knapp (Universität Augsburg, Germany). It attracted over 30 participants from ten countries, including the USA, Thailand and Japan, both from academia and industry.
Twenty-nine papers were submitted, of which eleven were accepted as full papers. Additionally, four short papers and five research ideas were accepted for presentation at the workshop.
The program moreover included three excellent keynote lectures: “Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development” by Silvia Mazzini (Intecs SpA, Italy), “Model-based Testing Strategies and Their (In)dependence on Syntactic Model Representations” by Jan Peleska (Universität Bremen, Germany) and “Random Testing of Formal Properties for Industrial Critical Systems” by Thomas Arts (QuviQ AB, Sweden). We thank
our sponsors, Formal Methods Europe, ERCIM and Springer, who made this possible.
The weather in Pisa cooperated and the workshop was held in a pleasant atmosphere with lots of interesting and animated discussions among the participants.
The proceedings of FMICS-AVoCS 2016 have been published by Springer as volume 9933 in their LNCS series.
An open call for papers for a special issue in the International Journal on Software Tools for Technology Transfer (STTT) has just been published. The deadline is 1 March 2017.
M.H. ter Beek, S. Gnesi, and A. Knapp (eds.): “Critical Systems: Formal Methods and Automated Verification - Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS’16)”, Pisa, Italy, 26-28 September 2016, Lecture Notes in Computer Science 9933, Springer, 2016.
Maurice ter Beek, ISTI-CNR, Italy