SafeComp 2019

SafeComp 2019
38th International Conference on Computer Safety, Reliability, and Security
Event in series	SafeComp
Dates	2019/09/10 (iCal) - 2019/09/13
Homepage:	https://conferences.ncl.ac.uk/safecomp2019/
Location
Location:	Turku, Finland
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":60.4517531,"lon":22.2670522,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2019/02/14
Papers:	2019/02/17
Notification:	2019/04/30
Camera ready due:	2019/06/05
Table of Contents

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

Topics

Topics include, but are not limited to:

• development, verification and assessment of highly automated and autonomous dependable systems
• formal modelling, verification and validation of critical systems, software and hardware
• model-driven engineering and assessment of safety and security-critical systems and software
• 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 for safety-related and safety-critical systems
• safety/security co-engineering and risk assessment
• probabilistic verification and validation
• testing, verification and validation methods and tools for safety and security
• methods and tools for qualification, assurance and certification
• data-driven techniques for engineering dependable systems, software and hardware
• cyber-physical threats and vulnerability analysis
• safety and security guidelines, standards and certification of critical systems
• safety and security assurance cases
• safety and security issues of applied AI and machine learning in critical systems
• devops and agile development methods

Domains of application include:

• railways, automotive, space, avionics, nuclear and process industries
• highly automated and autonomous systems, advanced robotics, construction engines and off-road vehicles
• telecommunications 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
• surveillance, defense, emergency & rescue
• logistics, industrial automation, off-shore technology
• education & training

Submissions

Types of submissions:

• regular research papers up to 14 pages
• practical and industrial experience reports and tool papers up to 8 pages

The papers must be formatted according the LNCS templates provided by the Springer Verlag.

Papers should be electronically submitted via the EasyChair submission system link to the submission page.

Papers must not have been previously published or concurrently submitted elsewhere.

Important Dates

Abstract submission: 14 February 2019 Extended: 17 February 2019
Paper submission: 17 February 2019 Extended: 27 February 2019
Notification: 30 April 2019
Camera ready: 5 June 2019