by Gwen Salaün and Bernhard Schätz
The 16th ERCIM International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11) was held on 29-30 August 2011 in Trento, Italy. The workshop was held together with the 19th IEEE International Requirements Engineering Conference (RE 2011)
The aim of the FMICS workshop series, organized annually by the ERCIM Working Group, is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The topics of interest for FMICS 2011 included:
- Design, specification, code generation and testing based on formal methods.
- Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (eg scalability and usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.
- Impact of the adoption of formal methods on the development process and associated costs.
- Application of formal methods in standardization and industrial forums.
This year, we received 39 submissions. Papers underwent a rigorous review process, each receiving three or four review reports. After the review process, the international Program Committee of FMICS 2011 decided to select 16 papers for presentation during the workshop and inclusion in the proceedings (LNCS volume 6959 published by Springer). The workshop also featured two invited talks by Leonardo de Moura (Microsoft Research, USA) and Joost-Pieter Katoen (RWTH Aachen University, Germany).
From left: Alessandro Fantechi, Thomas Reinbacher, Joerg Brauer, Bernhard Schätz, Gwen Salaün.
Following a tradition established over the past few years, the European Association of Software Science and Technology (EASST) offered an award to the best FMICS paper. This year, the reviewers selected the contribution by Thomas Reinbacher, Joerg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski on "Past Time LTL Runtime Verification for Microcontroller Binary Code".
FMICS Working Group and the next FMICS workshop: found at: http://www.inrialpes.fr/vasy/fmics
Gwen Salaün, Grenoble INP, INRIA, France
Bernhard Schätz, fortiss GmbH, Germany