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"
