Published: 3rd May 2014
DOI: 10.4204/EPTCS.150
ISSN: 2075-2180

EPTCS 150

Proceedings Third International Workshop on
Engineering Safety and Security Systems
Singapore, Singapore, 13 May 2014

Edited by: Jun Pang and Yang Liu

Preface
Jun Pang and Yang Liu
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
Étienne André, Mohamed Mahdi Benmoussa and Christine Choppy
1
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney and Frédérique Vallée
8
Directed Security Policies: A Stateful Network Implementation
Cornelius Diekmann, Lars Hupel and Georg Carle
20
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking
Ling Fang, Yoriyuki Yamagata and Yutaka Oiwa
35
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
Gurvan Le Guernic
50
Data-flow Analysis of Programs with Associative Arrays
David Hauzar, Jan Kofroň and Pavel Baštecký
56

Preface

Welcome to ESSS 2014, the 3rd International Workshop on Engineering Safety and Security Systems and welcome to Singapore! ESSS 2014 aims to continue the tradition to advance the understanding and expertise in the following areas:

This year, the workshop has a strong technical program. We have Vrizlynn Thing as the keynote speaker and Nguyen Quang-Huy as the invited speaker from the industry. The Program Committee has received 10 submissions from 6 countries and each paper was reviewed by at least 3 referees and mostly by 4 referees. We chose 6 full papers as the result of intensive discussions held among the PC members.

This year, ESSS is held in Singapore, as a satellite event of FM 2014. We would like to thank National University of Singapore, Nanyang Technological University, Singapore University of Technology & Design and IPAL lab as co-organisations. Special thanks go to many individuals who have contributed to the success of this conference. We thank the authors for sharing their ideas with us, the reviewers for providing valuable feedback, and all the PC members for taking time from their busy schedules to support this workshop.

24th of April, 2014

Jun Pang

Yang Liu


Abstracts of the Invited Talks

Program Committee

External Reviewers