ABOUT SAFECOMP
SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7). Since then, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a single track conference without parallel sessions, allowing easy networking.

TOPICS
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics;
Fault detection and recovery mechanisms;
Distributed and real-time monitoring and control;
Security and privacy protection mechanisms for safety applications;
Safety/security risk assessment;
Model-based analysis, design, and assessment;
Formal methods for verification, validation, and fault tolerance;
Probabilistic verification and validation;
In-the-loop and model-based testing;
Validation and verification methodologies;
Methods for qualification, assurance and certification;
Compositional verification and certification;
Architecture-driven assurance of safety and security;
Dependability analysis using simulation and experimental measurement;
Cyber-physical threats and vulnerability analysis;
Safety guidelines, standards and certification;
Safety and security interactions and tradeoffs;
Safety and security cases;
Multi-concern dependability assurance and standardization;
Industrial experience and case studies.

Domains of application include (but are not limited to):
Railways, automotive, space, avionics, nuclear and process industries;
Autonomous systems, advanced robotics, construction engines and off-road vehicles;
Telecommunication and networks;
Safety-related applications of smart systems and IoT (Internet of Things, Smart Anything Everywhere);
Critical infrastructures, smart grids, SCADA;
Medical devices and healthcare;
Defense, emergency & rescue;
Logistics, industrial automation, off-shore technology;
Education & training.

2018 SPECIAL THEME:
Cross and intra domain reuse of engineering and certification artefacts: challenges and opportunities

PAPER SUBMISSION DETAILS
The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of papers:
1-regular papers (up to 14 pages),
2-practical experience reports and tool reports (up to 8 pages)
Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere.
Papers can be submitted through easychair.
Visit: https://easychair.org/conferences/?conf=safecomp2018

CONFERENCE PROCEEDINGS & JOURNAL SPECIAL ISSUE
All accepted papers will be published by Springer in the LNCS series (Lecture Notes on Computer Science). Submitted papers must conform to Springer LNCS author guidelines (www.springer.com/lncs). In addition, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal.

WORKSHOPS AND EXHIBITION
It is planned to have one day for workshops. Workshop proposals are welcome. The proposals must be sent by email to the SAFECOMP 2018 Workshop Chair (erwin.schoitsch@ait.ac.at). They should include planned scope and contents, Program Committee, and duration (one full or half day). Inclusion in the SAFECOMP Workshop Proceedings are planned, provided that a proper reviewing process is implemented.
A dedicated space will be available for a Technical Exhibition in the area where coffee breaks and lunches take place. Organizations wishing to present their products or projects are invited to request further information from the conference secretariat.

COMMITTEES

EWICS TC7 Chair
Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE)
General Chair and Program Co-Chairs
Barbara Gallina (MDH, SE)
Amund Skavhaug (NTNU, NO)
Publication Chair
Friedemann Bitsch (Thales, DE)
Local Organizing Committee
Irfan Sljivo (MDH, SE), Web and Co-local Chair
Malin Rosqvist (MDH, SE), Co-local Chair
Lena Jonsson (MDH, SE), Financial Chair
Gunnar Widforss (MDH, SE), Industry-Liaison Chair
Workshop Chair
Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
Publicity Chair
Alec Dorling (Impronova, SE)
International Program Committee
Uwe Becker (Draeger Medical AG & Co KG, DE)
Peter Bishop (Adelard, UK)
Friedemann Bitsch (Thales, DE)
Robin Bloomfield (Adelard, UK)
Sandro Bologna (AIIC, IT)
Andrea Bondavalli (University of Florence, IT)
Jens Braband (Siemens, DE)
Anna Carlsson (OHB, SE)
António Casimiro (University of Lisbon, PT)
Peter Daniel (EWICS TC7, UK)
Ewen Denney (SGT/NASA Ames, US)
Felicita Di Giandomenico (ISTI-CNR, IT)
Wolfgang Ehrenberger (HS Fulda, DE)
Massimo Felici (Deloitte, BE)
Uma Ferrell (MITRE, US)
Francesco Flammini (Ansaldo STS, IT)
Barbara Gallina (MDH Mälardalen University, SE)
Ilir Gashi (City University London, UK)
Janusz Gorski (Gdansk University of Technology, PL)
Jérémie Guiochet (LAAS-CNRS, FR)
Maritta Heisel (University of Duisburg-Essen, DE)
Chris Johnson (University of Glasgow, UK)
Bernhard Kaiser (Berner&Mattner, DE)
Karama Kanoun (LAAS-CNRS, FR)
Johan Karlsson (Chalmers University of Technology, SE)
Philip Koopman (CMU Carnegie Mellon University, US)
Floor Koornneef (TU Delft, NL)
Timo Latvala (Space Systems Finland, FI)
Bev Littlewood (City University London, UK)
Silvia Mazzini (Intecs, IT)
John McDermid (University of York, UK)
Frank Ortmeier (Otto-von-Guericke-Universitaet Magdeburg, DE)
Philippe Palanque (University of Toulouse, FR)
Michael Paulitsch (Thales Austria, AT)
Holger Pfeifer (fortiss, DE)
Thomas Pfeiffenberger (Salzburg Research, AT)
Peter Popov (City University London, UK)
Laurent Rioux (Thales R&T, FR)
Alexander Romanovsky (Newcastle University, UK)
John Rushby (SRI International, US)
Francesca Saglietti (University of Erlangen-Nuremberg, DE)
Christoph Schmitz (Zühlke Engineering, CH)
Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
Christel Seguin (ONERA, FR)
Amund Skavhaug (NTNU Norwegian University of Science and Technology, NO)
Mark-Alexander Sujan (University of Warwick, UK)
Kenji Taguchi (AIST National Institute of Advanced Industrial Science and Technology, JP)
Stefano Tonetta (FBK Fondazione Bruno Kessler, IT)
Mario Trapp (Fraunhofer, DE)
Elena Troubitsyna (Åbo Akademi, FI)
Fredrik Törner (Volvo Car Corporation, SE)
Martin Törngren (KTH Royal Institute of Technology, SE)
Pieter van Gelder (TU Delft, NL)
Marcel Verhoef (European Space Agency, NL)
Jonny Vinter (RISE, SE)
Helene Waeselynck (LAAS-CNRS, FR)

http://www.es.mdh.se/safecomp2018