Difference between revisions of "SafeComp 2018"
| Line 10: | Line 10: | ||
|City=Västerås | |City=Västerås | ||
|Country=Sweden | |Country=Sweden | ||
| + | |Submitting link=https://easychair.org/conferences/?conf=safecomp2018 | ||
}} | }} | ||
The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP) | The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP) | ||
| Line 50: | Line 51: | ||
==Submissions== | ==Submissions== | ||
| + | PAPER SUBMISSION DETAILS | ||
| + | The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of papers: | ||
| + | 1-regular papers (up to 14 pages), | ||
| + | 2-practical experience reports and tool reports (up to 8 pages) | ||
| + | Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. | ||
| + | Papers can be submitted through easychair. | ||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
Revision as of 09:10, 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/ |
| Submitting link: | https://easychair.org/conferences/?conf=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
PAPER SUBMISSION DETAILS The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of papers: 1-regular papers (up to 14 pages), 2-practical experience reports and tool reports (up to 8 pages) Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Papers can be submitted through easychair.
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
-->
