The complete Call for Papers can be dowloaded here
Topics
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety critical computer systems. Major topics include, but are not limited to:
- fault tolerant and resilient hardware and sofware
- architectures
- error-detection and error recovery mechanisms
- distributed and real-time monitoring and control
- security and privacy protection mechanisms
- safety/security risk assessment
- model-based design and analysis
- risk reduction and mitigation techniques
- formal methods, verification and validation
- in-the-loop and model-based testing
- methods for qualification, assurance and certification
- dependability analysis using simulation and experimental measurement
- human and social aspects in dependability analysis
- cyber-physical threats and vulnerability analysis
- safety guidelines, standards and certification
- safety and security interactions and tradeoffs
- safety and security cases
Domains of application include (but are not limited to):
- railways, automotive, aerospace and avionics
- telecommunication and networks
- critical infrastructures, smart grids, SCADA
- medical devices and healthcare
- defence, emergency & rescue
- logistics, production automation and robotics, off-shore technology
-
eduction & training
Workshops, Tutorials and Exhibition
It is planned to have one day as a tutorial and workshop day. Tutorial and workshop proposals are welcome. Information about submissions are available at the conference website or through email to : safecomp2013@laas.fr
A dedicated space will be available for a Technical Exhibition in the communication area where coffee breaks and lunches take place. Organisations wishing to present their products or projects are invited to request further information from the conference secretariat.
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 to be published in the main proceeding of the conference:
1) Regular papers (up to 12 pages): Present recent original research results with an archival quality conference publication
2) Practical Experience Reports and Tools (up to 8 pages): Present an in-depth description of practitioner experience, a case study, a test bed or a tool, providing new insights to the community
Papers submitted in both categories will be reviewed by at least three program committee members. They must not have been previously published or concurrently submitted elsewhere.
Another opportunity is offered to academics and practitioners, junior and senior researchers, to contribute to the conference through the submission of Fast Abstracts/Work in Progress papers (2 pages). These short contributions, are aimed at promoting interactions either on novel ideas or work in progress, or opinion pieces that can address any issue relevant to SAFECOMP topics of interest.
All papers should be submitted in pdf through easychair
Please follow Authors Guidelines for detailed instructions on how to format your paper.
Conference Proceedings & Journal Special Issue
All accepted Regular papers, Practical Experience Reports and tools will be published by Springer in the LNCS series. In addition, extended versions of the best papers will be considered for publication in a special issue of Reliability Engineering & System Safety journal, published by Elsevier.
Accepted Fast abstracts/Work in Progress papers will be published in a separate volume that will be distributed at the conference site.
