by María Alpuente, Byron Cook and Christophe Joubert
The 14th ERCIM Formal Methods for Industrial Critical Systems (FMICS) workshop was held in Eindhoven, The Netherlands, on 2-3 November 2009. It was part of FMweek, the first Formal Methods Week, which offered a choice of events in the area including TESTCOM/FATES (Conference on Testing of Communicating Systems and Workshop on Formal Approaches to Testing of Software); FACS (Formal Aspects of Component Software); PDMC (Parallel and Distributed Methods of verification); FM2009 (Symposium of Formal Methods Europe); CPA (Communicating Process Architectures); FAST (Formal Aspects of Security and Trust); FMCO (Formal Methods for Components and Objects); and the REFINE workshop.
The aim of the FMICS workshop series, organized annually by the ERCIM FMICS 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 are intended to 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 chosen for FMICS 2009 included, but were not restricted to:
- 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 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 new research directions
- impact and costs of the adoption of formal methods
- application of formal methods in standardization and industrial forums.
In response to the call for papers, 24 contributions were submitted from sixteen countries. The Program Committee selected ten papers, basing this choice on their scientific quality, originality and relevance to the workshop. Each paper was reviewed by at least three program committee members or external referees. The workshop also included four invited contributions by Dino Distefano (Queen Mary, University of London, UK), Diego Latella (CNR/ISTI, Italy), Thierry Lecomte (ClearSy, France), and Ken McMillan (Cadence Berkeley Labs, USA), as well as six poster descriptions. The resulting program offered the participants a complete landscape of the recent advances in this area. On-site proceedings were published by Springer-Verlag as volume 5825 of Lecture Notes in Computer Science.
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 award was given to Bárbara Vieira from Universidade do Minho, Braga, Portugal for the paper ‘Correctness With Respect to Reference Implementations’, written together with José Bacelar Almeida, Manuel Barbosa and Jorge Sousa Pinto.
The award was presented by María Alpuente, PC co-chair of FMICS 2009, Christophe Joubert, workshop chair of FMICS 2009, and Alessandro Fantechi, FMICS Working Group coordinator since November 2008 (see photo).
From left: Christophe Joubert, María Alpuente, Bárbara Vieira and Alessandro Fantechi.
Universidad Politécnica de Valencia/SpaRCIM, Spain
E-mail: joubert dsic.upv.es