Published: 10th June 2015
DOI: 10.4204/EPTCS.184
ISSN: 2075-2180


Proceedings 4th International Workshop on
Engineering Safety and Security Systems
Oslo, Norway, June 22, 2015

Edited by: Jun Pang, Yang Liu and Sjouke Mauw

Yang Liu, Sjouke Mauw and Jun Pang
Indefinite waitings in MIRELA systems
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers and Artur Rataj
Verification of railway interlocking systems
Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur and Pierre Schaus
Automatic Generation of Minimal Cut Sets
Sentot Kromodimoeljo and Peter A. Lindsay
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Eike Möhlmann and Oliver Theel
Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell , Vera Chow and David Tremaine
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang, Jonathan S. Ostroff and Simon Hudon


The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International Symposium on Formal Methods (FM'15).

The goal of the workshop was to establish a platform for the exchange of ideas on

This year, the 2nd International Workshop on Safety and Formal Methods (SAFOME'15) was merged into ESSS'15. This resulted in 15 submissions in total, which were all reviewed by at least three referees. After an intensive discussion by the PC members, we selected 6 papers for presentation at the workshop and inclusion in the proceedings. The program of ESSS'15 also included invited talks by Marieke Huisman (University of Twente, Netherlands) and Audun Jøsang (University of Oslo, Norway).

We would like to thank all the authors for submitting their work to ESSS'15 and SAFOME'15 and the members of the Program Committee as well as the external reviewers for their efforts and high-quality reviews. Finally, thanks are due to the organizers of SAFOME'15, Ricardo J. Rodríguez (Universidad de León, Spain) and Stefano Tonetta (Fondazione Bruno Kessler, Italy).

30th of April, 2015

Jun Pang, Yang Liu, Sjouke Mauw

Abstracts of the Invited Talks

Program Committee

External Reviewers