SafeComp 2020: Difference between revisions

From Openresearch
Jump to navigation Jump to search
m Soeren verschob die Seite SafeComb 2020 nach SafeComp 2020
No edit summary
Line 11: Line 11:
|Country=Portugal
|Country=Portugal
}}
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)


==Topics==
==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==
==Submissions==
==Important Dates==
==Important Dates==

Revision as of 09:04, 19 June 2020

SafeComp 2020
39th International Conference on Computer Safety, Reliability and Security
Event in series SafeComp
Dates 2020/09/14 (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

-->