posted by user: tauner || 868 views || tracked by 7 users: [display]

SAFECOMP 2023 : 42nd International Conference on Computer Safety, Reliability and Security

FacebookTwitterLinkedInGoogle

Link: https://safecomp2023.cnrs.fr/
 
When Sep 20, 2023 - Sep 22, 2023
Where Toulouse, France
Submission Deadline Feb 13, 2023
Notification Due Apr 22, 2023
Final Version Due Jun 1, 2023
Categories    safety   reliability   security
 

Call For Papers

About SafeComp

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.

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

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, including references),
2) 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.
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

It is planned to have one day for workshops. Workshop proposals are welcome. The proposals must be sent by email to the SAFECOMP2023 Workshop Chairs (erwin.schoitsch@ait.ac.at and matthieu.roy@laas.fr). They should include planned scope and contents, Program Committee, and duration (one full or half day). SAFECOMP Workshop Proceedings are planned if a properly 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.

Exhibition

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 (safecomp2023@laas.fr).

Related Resources

NeTCoM 2023   15th International Conference on Networks & Communications
SAFECOMP 2023   42nd International Conference on Computer Safety, Reliability and Security
ARES 2023   The 18th International Conference on Availability, Reliability and Security
EICC 2023   European Interdisciplinary Cybersecurity Conference (EICC 2023)
ICRSE 2023   The 7th International Conference on Reliability and Safety Engineering (ICRSE 2023)
IEEE INCC 2023   IEEE--2023 International Conference on Information Network and Computer Communications (INCC 2023)
IJANS 2023   International Journal on AdHoc Networking Systems
ICC 2023   IEEE International Conference on Communications (ICC), Communication QoS, Reliability & Modeling Symposium
SIGML 2023   4th International Conference on Signal Processing and Machine Learning
INCC 2023   IEEE--2023 International Conference on Information Network and Computer Communications (INCC 2023)