Difference between revisions of "SafeComp 2018"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=SafeComp 2018 |Title=37th International Conference on Computer Safety, Reliability, and Security |Series=SafeComp |Type=Conference |Start date=2018/09/18 |End...")
 
Line 11: Line 11:
 
|Country=Sweden
 
|Country=Sweden
 
}}
 
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
 +
 
  
 
==Topics==
 
==Topics==
 +
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
 +
* Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics;
 +
* Fault detection and recovery mechanisms;
 +
* Distributed and real-time monitoring and control;
 +
* Security and privacy protection mechanisms for safety applications;
 +
* Safety/security risk assessment;
 +
* Model-based analysis, design, and assessment;
 +
* Formal methods for verification, validation, and fault tolerance;
 +
* Probabilistic verification and validation;
 +
* In-the-loop and model-based testing;
 +
* Validation and verification methodologies;
 +
* Methods for qualification, assurance and certification;
 +
* Compositional verification and certification;
 +
* Architecture-driven assurance of safety and security;
 +
* Dependability analysis using simulation and experimental measurement;
 +
* Cyber-physical threats and vulnerability analysis;
 +
* Safety guidelines, standards and certification;
 +
* Safety and security interactions and tradeoffs;
 +
* Safety and security cases;
 +
* Multi-concern dependability assurance and standardization,
 +
* Industrial experience and case studies.
 +
 +
Domains of application include (but are not limited to):
 +
* Railways, automotive, space, avionics, nuclear and process industries;
 +
* Autonomous systems, advanced robotics, construction engines and off-road vehicles;
 +
* Telecommunication 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;
 +
* Defense, emergency & rescue;
 +
* Logistics, industrial automation, off-shore technology;
 +
* Education & training
 +
 +
 
==Submissions==
 
==Submissions==
 
==Important Dates==
 
==Important Dates==

Revision as of 10:09, 19 June 2020

SafeComp 2018
37th International Conference on Computer Safety, Reliability, and Security
Event in series SafeComp
Dates 2018/09/18 (iCal) - 2018/09/21
Homepage: http://www.es.mdh.se/safecomp2018/
Location
Location: Västerås, Sweden
Loading map...

Important dates
Submissions: 2018/02/28
Table of Contents


The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)


Topics

The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:

  • Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics;
  • Fault detection and recovery mechanisms;
  • Distributed and real-time monitoring and control;
  • Security and privacy protection mechanisms for safety applications;
  • Safety/security risk assessment;
  • Model-based analysis, design, and assessment;
  • Formal methods for verification, validation, and fault tolerance;
  • Probabilistic verification and validation;
  • In-the-loop and model-based testing;
  • Validation and verification methodologies;
  • Methods for qualification, assurance and certification;
  • Compositional verification and certification;
  • Architecture-driven assurance of safety and security;
  • Dependability analysis using simulation and experimental measurement;
  • Cyber-physical threats and vulnerability analysis;
  • Safety guidelines, standards and certification;
  • Safety and security interactions and tradeoffs;
  • Safety and security cases;
  • Multi-concern dependability assurance and standardization,
  • Industrial experience and case studies.

Domains of application include (but are not limited to):

  • Railways, automotive, space, avionics, nuclear and process industries;
  • Autonomous systems, advanced robotics, construction engines and off-road vehicles;
  • Telecommunication 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;
  • 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

-->