SAFECOMP 2021 : International Conference on Computer Safety, Reliability, and Security

The conference covers 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

Model-based safety analysis, design, and assessment

Formal methods for verification, validation, and fault tolerance

Fault detection and recovery mechanisms

Resilient and fault-tolerant HW and SW architectures

Distributed and real-time monitoring and control

Safety/security co-engineering and risk assessment

Testing, verification, and validation methods and tools

Qualification, assurance, and certification methods and 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

Topics related to the SafeComp 2020 theme of safe human-robotic and autonomous systems (RAS) interaction:

Human acceptance of robotic and autonomous systems (RAS)

Teaming – safe human-system teaming

Safe human-RAS interaction

Transfer of tasks from humans to systems

Ethics, governance and regulation of RAS