SAFECOMP 2023: 42nd International Conference on Computer Safety, Reliability and Security Mercure Toulouse Centre Compans Toulouse, France, September 19-22, 2023 |
Conference website | https://safecomp2023.cnrs.fr/ |
Submission link | https://easychair.org/conferences/?conf=safecomp2023 |
Abstract registration deadline | February 13, 2023 |
Submission deadline | February 20, 2023 |
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp 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.
Submission Guidelines
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:
- regular papers (up to 14 pages, including references)
- practical experience reports and tool reports (up to 8 pages, including references)
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.
List of Topics
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems.
Major topics include, but are not limited to:
- Fault-tolerant and resilient hardware and software architectures
- 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 and tools
- 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
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 application of technology trends (e.g. AI, Edge and cloud computing, Digital twin, 5G and 6G, Big data analytics, IoT and IIoT)
- Critical infrastructures, smart grids, SCADA
- Medical devices and healthcare
- Defense, emergency & rescue
- Logistics, industrial automation, off-shore technology
Committees
EWICS TC7 Chair
- Francesca Saglietti (University of Erlangen-Nuremberg, DE)
General Chair
- Jérémie Guiochet (LAAS-CNRS, Univ. Toulouse, FR)
Program Chairs
- Jérémie Guiochet (LAAS-CNRS, Univ. Toulouse, FR)
- Stefano Tonetta (FBK, IT)
Workshop Chairs
- Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
- Matthieu Roy (LAAS-CNRS, FR)
Position Papers Chair
- António Casimiro (University of Lisbon, PT)
Publication Chair
- Friedemann Bitsch (THALES GmbH, DE)
Publicity Chair
- Barbara Gallina (MDU-Mälardalen University, SE)
Industry Chair
- Magnus Albert (SICK AG, DE)
Web Chair
- Joris Guerin (Espace-Dev, IRD, Univ. Montpellier, FR)
Local Organizing Committee
- Marie Laure Pierucci (LAAS CNRS, FR)
- Isabelle Lefebvre (LAAS CNRS, FR)
International Program Committee
- Eric Alata (LAAS-CNRS, FR)
- Magnus Albert (SICK AG, DE)
- Uwe Becker (Draegerwerk AG & Co KGaA, DE)
- Peter G. Bishop (Adelard, UK)
- Friedemann Bitsch (Thales GmbH, DE)
- Andrea Bondavalli (University of Florence, IT)
- Jeroen Boydens (KU Leuven, BE)
- Jens Braband (Siemens Mobility GmbH, DE)
- Simon Burton (Fraunhofer Institute for Cognitive Systems, DE)
- António Casimiro (Universidade de Lisboa, PT)
- Marsha Chechik (University of Toronto, CA)
- Peter Daniel (EWICS TC7, UK)
- Ewen Denney (NASA, US)
- Felicita Di Giandomenico (ISTI-CNR, IT)
- Iulia Dragomir (GMV, ES)
- Wolfgang Ehrenberger (University of Applied Science, DE)
- John Favaro (Intecs, IT)
- Francesco Flammini (Linnaeus University, Sweden, SE)
- Jesús Friginal (Indus./ SCASSI, SP)
- Barbara Gallina (MDU-Mälardalen University, SE)
- Georgios Giantamidis (UTRC, IE)
- Janusz Gorski (Gdansk University of Technology, FETI, DSE, PL)
- Lars Grunske (Humboldt University Berlin, DE)
- Jérémie Guiochet (LAAS-CNRS, FR)
- Ibrahim Habli (University of York, UK)
- Maritta Heisel (University of Duisburg-Essen, DE)
- Yan Jia (University of York, UK)
- Phil Koopman (Carnegie Mellon University, US)
- Youssef Laarouchi (EDF, FR)
- John McDermid (University of York, UK)
- Peter Munk (Robert Bosch GmbH, DE)
- Ganesh Pai (KBR / NASA Ames Research Center, US)
- Philippe Palanque (ICS-IRIT, University Toulouse 3, FR)
- Yiannis Papadopoulos (University of Hull, UK)
- Michael Paulitsch (Intel, DE)
- Peter Popov (City, University of London, UK)
- Andrew Rae (Griffith University, AU)
- Alexander Romanovsky (Newcastle University, UK)
- Matteo Rossi (Politecnico di Milano, IT)
- Juan Carlos Ruiz Garcia (Universitat Politècnica de València, SP)
- Francesca Saglietti (University of Erlangen-Nuremberg, DE)
- Behrooz Sangchoolie (RISE Research Institutes of Sweden, SE)
- Christel Seguin (ONERA, FR)
- Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
- Oleg Sokolsky (University of Pennsylvania, US)
- Wilfried Steiner (TTTech Computertechnik AG, AT)
- Mark-Alexander Sujan (The University of Warwick, UK)
- Kenji Taguchi (UL Japan, JP)
- Stefano Tonetta (FBK-irst, IT)
- Martin Törngren (KTH -Royal Institute of Technology, SE)
- Mario Trapp (TUM – Technical University of Munich, DE)
- Elena Troubitsyna (KTH -Royal Institute of Technology, SE)
- Meine van der Meulen (DNV, NO)
- Helene Waeselynck (LAAS-CNRS, FR)
Publication
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.
Venue
The conference will take place at Mercure Toulouse Centre Compans, a 4-star hotel conveniently situated in Toulouse city centre. The shuttle between the airport and city center drops you in front of the hotel and runs from 5:30am to midnight, leaving every 20 minutes. A public car park and metro station are also located just outside. Please see here for more information about location and access.
Contact
All questions about submissions should be emailed to stefano.tonetta@fbk.eu