SafeComp 2018: Difference between revisions
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..." |
No edit summary |
||
| 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 08: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 |
| 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
-->