Preface

The aim of this workshop was to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics of the workshop include, but are not limited to:

• case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems;
• methods, techniques, and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems;
• analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.);
• formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.; and
• code generation from validated models.

The workshop received 25 submissions; 21 of these were regular papers and 4 were tool/work-in-progress/position papers. Each submission was reviewed by three reviewers; based on the reviews and extensive discussions, the program committee selected 9 regular papers, one work-in-progress paper, and two position papers for presentation at the workshop. This volume contains revised versions of those 9 regular papers, as well as an invited paper by Ralf Huuck. Extended versions of selected papers from the workshop will also appear in a special issue of the Science of Computer Programming journal.

Many colleagues and friends have contributed to FTSCS 2012. First, we would like to thank Kokichi Futatsugi and Hitoshi Ohsaki for proposing to organize this workshop. We thank Ralf Huuck for accepting our invitation to give an invited talk and the authors who submitted their work to FTSCS 2012 and who, through their contributions, made this workshop an interesting event attracting more than 30 participants. We are particularly grateful that so many well known researchers agreed to serve on the program committee, and that they all provided timely, insightful, and detailed reviews.

We also thank the editors of Electronic Proceedings in Theoretical Computer Science for agreeing to publish the proceedings of FTSCS 2012, Bas van Vlijmen for accepting our proposal to devote a special issue of the Science of Computer Programming journal to extended versions of selected papers from FTSCS 2012, Kenji Taguchi and Hiromi Hatanaka for their invaluable help with local and visa arrangements, and Andrei Voronkov for the excellent EasyChair conference systems. The second editor also gratefully acknowledges financial support from the Japan Advanced Institute of Science and Technology (JAIST).

Amagasaki and Oslo, December 2012

Cyrille Artho and Peter Csaba Ölveczky

Organizers and Program Chairs

Program Committee

Additional Reviewers