Formal Methods For Industrial Critical Systems Research Articles

Preface: Volume 80

The workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems (FMICS) strive to promote research on and support the improvement of formal methods and tools for industrial applications. In particular, they are intended as a platform for scientists and industrial users of formal methods, to exchange their experiences with these methods.Previous workshops were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), and Málaga (July 2002).This year's workshop is co-located with the ERCIM meeting in Røros, a small town near Trondheim that with its rich history has been added to the Unesco cultural heritage.We are pleased to welcome two invited presentations: Reiner Hähnle from Chalmers University of Technology talks about a case study with the KeY tool in which formal and informal methods are integrated, and Werner Damm from the University of Oldenburg discusses the ESACS approach of model-based safety analysis. The 14 regular contributions, which were selected out of 25 submissions, cover a wide range of topics, and for a large part deal with the application of formal methods in industrial case studies. Some notable application areas are smart cards, Java, MPEG, and avionic systems.As a gesture of involvement, the European Association of Software Science and Technology (EASST)handed out two best paper awards. One to Paul Ziemann and Martin Gogolla from the University of Bremen for their paper Validating OCL Specifications with the USE Tool. The other to Stefan Blom and Simona Orzan from CWI for their paper Distributed State Space Minimization.On occasion of the co-location with the ERCIM meeting, we invited 10 representatives from ERCIM sites which actively participate in the FMICS working group to present an overview of current research on formal methods in their research groups. We are very happy that all these invitations were accepted.We thank the members of the programme committee and the additional referees for their careful evaluation of the submitted papers. The local organisers at the Norwegian University of Science and Technology in Trondheim provided excellent assistance during the workshop preparation. ERCIM is thanked for its financial support of the workshop.May 2003, Thomas Arts and Wan Fokkink (program chairs) Program CommitteeFinn Arve Aagesen(Norwegian University of Science and Technology, Norway)Thomas Arts(IT-University in Gothenburg, Sweden)Gilles Barthe(INRIA Sophia-Antipolis, France)Armin Biere(ETH Zürich, Switzerland)Jonathan Bowen(South Bank University, UK)Lubos Brim(Masaryk University, Czech Republic)Andrew Butterfield(Dublin University, Ireland)Muffy Calder(University of Glasgow, UK)Dennis Dams(Bell Labs, USA)Wan Fokkink(CWI, The Netherlands)Leszek Holenderski(Philips Research, The Netherlands)Diego Latella(CNRA/ISTI Pisa, Italy)Martin Leucker(Uppsala University, Sweden)Radu Mateescu(INRIA Rhône-Alpes, France)Pedro Merino Gómez(Málaga University, Spain)Ina Schieferdecker(Fraunhofer FOKUS, Germany)Antti Valmari(Tampere University of Technology, Finland) Additional ReviewersChutiporn AnutariyaElena FersmanJan ObdrzalekCyrille ArthoMaria-del-Mar GallardoJan PeleskaThomas BaarHubert GaravelLeif Arne RoeningenHubert BaumeisterPaul GorissenSteffen SchlagerAndrea CoccoliHenri HansenViktor SchuppanAurore CollombKalpesh KapoorMazen Malek ShiaaAguido Horatio DavisFrank KraemerChengzheng SunManuel DíazFrederic LangSergiy VilkomirDarius DlugoszPablo LopezMichael WeberMarc DurantonWillem MallonVilas WuwongseGiorgio FacontiKedar Namjoshi Local OrganizationNorwegian University of Science and Technology •Finn Arve Aagesen•Jarle Kotsbak•Gudrun Kulbotten Sjøvol•Frank Lie