Difference between revisions of "SafeComp 2018"
(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 | ||
}} | }} | ||
− | + | 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 09: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
- some person, some affiliation, country
- PC Co-Chairs
- some person, some affiliation, country
- Workshop Chair
- some person, some affiliation, country
- Panel Chair
- some person, some affiliation, country
- Seminars Chair
- some person, some affiliation, country
- Demonstration Co-Chairs
- some person, some affiliation, country
- some person, some affiliation, country
- Local Organizing Co-Chairs
- some person, some affiliation, country
- Program Committee Members
- some person, some affiliation, country
-->
Facts about "SafeComp 2018"
Acronym | SafeComp 2018 + |
End date | September 21, 2018 + |
Event in series | SafeComp + |
Event type | Conference + |
Has OC member | Some person + |
Has PC member | Some person + |
Has coordinates | 59° 36' 40", 16° 32' 47"Latitude: 59.6111 Longitude: 16.546366666667 + |
Has demo chair | Some person + |
Has general chair | Some person + |
Has local chair | Some person + |
Has location city | Västerås + |
Has location country | Category:Sweden + |
Has program chair | Some person + |
Has tutorial chair | Some person + |
Has workshop chair | Some person + |
Homepage | http://www.es.mdh.se/safecomp2018/ + |
IsA | Event + |
Start date | September 18, 2018 + |
Submission deadline | February 28, 2018 + |
Title | 37th International Conference on Computer Safety, Reliability, and Security + |