SAFECOMP 2020 - Virtual
Date: Sep 15, 2020 1:00 am – Sep 18, 2020 12:00 pm
Location: Virtual
39th International Conference on Computer Safety, Reliability and Security
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.
Special theme of SafeComp 2020
SafeComp 2020 will feature the following key theme:
- Safe AI in critical systems
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:
- Development, verification and assessment of intelligent and autonomous safety-critical systems
- Formal modelling, verification and validation
- Model-driven engineering
- Resilient and fault-tolerant hardware and software architectures
- Fault detection and recovery mechanisms
- Distributed and real-time monitoring and control
- Security and privacy protection mechanisms
- Safety/security co-engineering and risk assessment
- Probabilistic verification and validation
- Testing, verification and validation methods & tools
- Qualification, assurance and certification methods & tools
- Data-driven techniques for engineering dependable systems
- Cyber-physical threats and vulnerability analysis
- Safety and security guidelines, standards and certification
- Safety and security assurance cases
- DevOps and agile development methods
Domains of application include (but are not limited to):
- Railways, automotive, space, avionics & process industries
- Highly automated and autonomous systems
- Telecommunication and networks
- Safety-related applications of smart systems and IoT
- Critical infrastructures, smart grids, SCADA
- Medical devices and healthcare
- Surveillance, defense, emergency & rescue
- Logistics, industrial automation, off-shore technology
- Education & training
Submitted by Anonymous
on
39th International Conference on Computer Safety, Reliability and Security
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.
Special theme of SafeComp 2020
SafeComp 2020 will feature the following key theme:
- Safe AI in critical systems
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:
- Development, verification and assessment of intelligent and autonomous safety-critical systems
- Formal modelling, verification and validation
- Model-driven engineering
- Resilient and fault-tolerant hardware and software architectures
- Fault detection and recovery mechanisms
- Distributed and real-time monitoring and control
- Security and privacy protection mechanisms
- Safety/security co-engineering and risk assessment
- Probabilistic verification and validation
- Testing, verification and validation methods & tools
- Qualification, assurance and certification methods & tools
- Data-driven techniques for engineering dependable systems
- Cyber-physical threats and vulnerability analysis
- Safety and security guidelines, standards and certification
- Safety and security assurance cases
- DevOps and agile development methods
Domains of application include (but are not limited to):
- Railways, automotive, space, avionics & process industries
- Highly automated and autonomous systems
- Telecommunication and networks
- Safety-related applications of smart systems and IoT
- Critical infrastructures, smart grids, SCADA
- Medical devices and healthcare
- Surveillance, defense, emergency & rescue
- Logistics, industrial automation, off-shore technology
- Education & training