SafeComp 2018

From Openresearch
Jump to: navigation, search
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

-->