SafeComp 2019
38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019)
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 has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
Topics include, but are not limited to:
- development, verification and assessment of highly automated and autonomous dependable systems
- formal modelling, verification and validation of critical systems, software and hardware
- model-driven engineering and assessment of safety and security-critical systems and software
- 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 for safety-related and safety-critical systems
- safety/security co-engineering and risk assessment
- probabilistic verification and validation
- testing, verification and validation methods and tools for safety and security
- methods and tools for qualification, assurance and certification
- data-driven techniques for engineering dependable systems, software and hardware
- cyber-physical threats and vulnerability analysis
- safety and security guidelines, standards and certification of critical systems
- safety and security assurance cases
- safety and security issues of applied AI and machine learning in critical systems
- devops and agile development methods
Domains of application include:
- railways, automotive, space, avionics, nuclear and process industries
- highly automated and autonomous systems, advanced robotics, construction engines and off-road vehicles
- telecommunications 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
- surveillance, defense, emergency & rescue
- logistics, industrial automation, off-shore technology
- education & training