The 34th International Conference on Computer Safety, Reliability and Security

The 34th edition of SAFECOMP focuses on the challenges arising from networked multi-actor systems for delivery of mission-critical services. Such services expand rapidly in all domains of life. And society has, therefore, become very vulnerable for breaches in delivery of service, thus imposing serious risks to life and limb of people. Modelling multi-actor systems, systems of systems, developing methods e.g. including using big data for understanding of and assessing risks in complex processes is needed to pinpoint safety & security issues at detailed level in supporting technologies. To address such challenges, specialized methodologies, techniques and tools assisting in design, validation and certification activities should be pursued, while simultaneously assuring correctness and timeliness of critical applications.

A particular area is that of medical technology which is meant to help patients and to support health care providers to deliver care and treatment while doing the patient no unintentional harm. Networked medical systems emerge rapidly, also in the cloud. Technologies include electronic patient file software systems in network configurations. Paradigms in patient care also move rapidly from intramural care to home and self-care. Assurance of safety of patients while using these technologies thus has become a real challenge.
The 34th SAFECOMP conference will be held in Delft, the Netherlands, from 22-25 September 2015 at Delft University of Technology.

Topics

The conference covers all aspects related to the development, assessment, operation and maintenance of safety-critical systems.

Topics include, but are not limited to:

Fault tolerant architectures and mechanisms
Monitoring and fault prediction infrastructures
Risk reduction and mitigation techniques
Cyber-physical threats and vulnerability analysis
Model-based and experimental assessment of safety, reliability and security
Validation and verification methodologies and tools
Human and social aspects in safety-critical systems design and analysis
Methods for qualification, assurance and certification
Multi-actor mission-critical network systems
Mission-critical systems related computer hardware and software
Safety & security interactions and trade-offs
Safety & security, trust and assurance cases
Safety guidelines, standards and certification

Domains of application include (but are not limited to):

Railways, automotive, aerospace and avionics
Chemical and nuclear technologies
Telecommunications and networks
Critical infrastructures, smart grids, SCADA
Medical devices in healthcare or homecare
Defence, emergency & rescue
Logistics, production automation and robotics
Education & training

Paper submission details

SAFECOMP aims at providing a forum for bringing academic research and industrial needs and real-world experience together. Therefore, we solicit papers from both academics and industrialists:

1) Regular papers (up to 14 pages): Present recent original research results with an archival quality conference publication

2) Practical Experience Reports and Tools (up to 10 pages): Present an in-depth description of practitioner experience, a case study, a test bed or a tool, providing new insights to the community

Papers submitted in both categories will be reviewed by at least three program committee members. They must not have been previously published or concurrently submitted elsewhere.
The PDF version of the Call for Papers can be downloaded here.

All papers should be submitted in PDF through easychair.
Please follow Authors Guidelines for detailed instructions on how to format your paper.
Conference Proceedings and Special Issue

All accepted papers will be published by Springer in the Lecture Notes in Computer Science Series (LNCS). Also, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal.


Committees
EWICS TC7 Chair

Francesca Saglietti (Universität Erlangen-Nuremberg, DE)
General Chair

Pieter van Gelder (TU Delft, NL)
Program Chair

Floor Koornneef (TU Delft, NL)
Coen van Gulijk (University of Huddersfield, UK)
Workshop Chair

Frank Ortmeier (Otto von Guericke Universität Magdeburg, DE)
Finance Chair

Erika van Verseveld (TU Delft, NL)
Publicity Chair

Sandra Koreman (schetsboek.com, NL)
Local Organizing Chair

Genserik Reniers (TU Delft, NL)
Bas de Mol (Academic Medical Center / Eindhoven University of Technology, NL)
Erika van Verseveld (TU Delft, NL)
Ginny Ruiter (TU Delft, NL)
Marie Louise Verhagen (TU Delft, NL)
Larissa Mikhailovaa (lasemn R&C, NL)


International Program Committee


Anderson, T. (UK) Koornneef, F. (NL)
Berg, J. van den (NL) Ladkin, P. (DE)
Bitsch, F. (DE) Lami, G. (IT)
Bishop, P. (UK) Lindskov Hansen, S. (DK)
Bloomfield, R. (UK) Littlewood, B. (UK)
Bologna, S. (IT) Luiijf, E. (NL)
Bondavalli, A. (IT) Meulen, M. van der (NO)
Braband, J. (DE) Minichino, M (IT)
Brancati, F. (IT) Mol, B. de (NL)
Brazier, F. (NL) Motet, G. (FR)
Cotroneo, D. (IT) Nordland, O. (NO)
Chozos, N. (UK) Ortmeier, F. (DE)
Daniel, P. (UK) Palanque, P. (FR)
Di Giandomenico, F. (IT) Pasquini, A. (IT)
Duke, G. (UK) Paulitsch, M. (DE)
Eagles, S. (US) Pfeiffenberger T. (AT)
Ehrenberger, W. (DE) Popov, P. (UK)
Felici, M. (UK) Redmill, F. (UK)
Fiedler, R. (AT) Reniers, G. (BE)
Flammini, F. (IT) Romano, Luigi (IT)
Gelder, P. van (NL) Romanovski, A. (UK)
Gorski, J. (PL) Rothfelder, M. (DE)
Guiochet, J. (FR) Rushby, J. (US)
Gulijk, C. van (NL) Saglietti, F. (DE)
Halang, W. (DE) Schmitz, C. (CH)
Heisel, M. (DE) Schoitsch, E. (AT)
Johnson, C. (UK) Seguin, C. (FR)
Jonsson, E. (SE) Skavhaug, A. (NO)
Kaâniche, M. (FR) Sujan, M. (UK)
Kanoun, K. (FR) Trapp, M. (DE)
Karlsson, J. (SE) Trienekens, J. (NL)
Kelly, T. (UK) Troubitsyna, E. (FI)
Knight, J. (US) Warnier, M. (NL)
Koopman, P. (US) Zechner, A. (DE)