SafeComp 2020

From Openresearch
Jump to: navigation, search
SafeComp 2020
39th International Conference on Computer Safety, Reliability and Security
Event in series SafeComp
Dates 2020/09/15 (iCal) - 2020/09/18
Homepage: http://safecomp2020.di.fc.ul.pt/
Location
Location: Lisbon, Portugal
Loading map...

Important dates
Submissions: 2020/02/24
Table of Contents


The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)

Topics

Topics of Interest: 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


Submissions

Important Dates

Committees

  • Co-Organizers
  • General Co-Chairs
  • Local Organizing Co-Chairs
  • Program Committee Members

-->