Proceedings of the 10th international workshop on Formal methods for industrial critical systems

Abstract

This 10th edition of the International Workshop on Formal Methods for Industrial Critical Systems (FMICS), a series of workshops organised by the homonimous ERCIM Working Group, is a good occasion for re-examining ten years of best practises of the use of formal methods in industry and to outline a promising way forward for the next decade. Since ten years the FMICS workshops strive to promote research on and support the improvement of formal methods and tools for industrial critical applications. They are meant to provide a common forum for the exchange of experiences of scientists as well as industrial professionals that are involved in the development and application of formal methods for industrial applications. The FMICS Working Group has achieved a broad public visibility and actively aims at interaction with the wider scientific community.The ERCIM board of directors recognised these merits and granted the FMICS Working Group the ERCIM award for the most successful Working Group of 200.Previous workshops were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2000), Malaga (July 2002), Trondheim (July 2003) and Linz (September 2004). This year the FMICS workshop is co-located with the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) which are an internationally renowned forum for researchers, practitioners and educators in the field of software engineering and which is held in the beautiful city of Lisbon in Portugal.Fourteen contributions have been selected, out of 27 good quality submissions, covering both industrially relevant theoretical topics as well as industrial case studies.We are also pleased to welcome two invited speakers: Luis Andrade from ATX Software SA, Lisbon, who gives a presentation on the experience of ATX with the application of formal and rigorous techniques and methods in real projects, andChristel Baier from the University of Bonn, who gives a presentation on the most recent developments on the quantitative analysis of distributed randomized protocols. On occasion of the tenth edition of the workshop a special session has been arranged for the presentation of the follow-up of the much cited and widely discussed article "Ten Commandments of Formal Methods" by Jonathan P. Bowen and Michael G. Hincheywhich was published ten years ago. Both authors join the workshop to present a ten-year perspective on the industrial application of formal methods and set the stage for another lively discussion on the way ahead for formal methods for industry in the decade to come. We are very happy that both authors chose the FMICS workshop as the forum where to present their new ideas. A best paper award will be granted also this year with the support of the European Association of Software Science and Technology (EASST).