***********************************

SAFECOMP'14 - CALL FOR PAPERS

The 33rd International Conference on Computer Safety, Reliability and Security

10-12 September 2014, Florence, Italy

http://www.safecomp2014.unifi.it/

Co-located with EPEW, FMICS, FORMATS and QEST

http://www.florence2014.org


SCOPE

Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in de­pendable application of computers in safety-related and safe­ty-critical systems.

SAFECOMP is an annual event covering the state-of-the- art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and prac­tical solutions. It is a one-stream conference without parallel sessions, allowing easy networking.


2014 KEY THEME

Safety in presence of evolution: design, assessment and certification methods


TOPICS

The conference covers all aspects related to the development, assessment, operation and maintenance of safety critical systems. Topics include, but are not limited to:

Fault tolerant architectures and mechanisms
Monitoring and fault prediction infrastructures
Risk reduction and mitigation techniques
Security and privacy protection mechanisms
Cyber-physical threats and vulnerability analysis
Model-based and experimental assessment of safety, reliability and security
Validation and verification methodologies and tools
Human and social aspects in safety-critical systems design and analysis
Methods for qualification, assurance and certification
Safety and security interactions and trade-offs
Safety and security cases
Safety guidelines, standards and certification

Domains of application are (but not limited to):

Railways, automotive, aerospace and avionics
Telecommunications and networks
Critical infrastructures, smart grids, SCADA
Medical devices and healthcare
Defence, emergency & rescue
Logistics, production automation and robotics
Education & training


PAPER SUBMISSION

SAFECOMP aims at providing a forum for bringing academic research and industrial needs together. Therefore, we solicit two types of papers to be published in the main proceedings of the conference: i) Regular papers (up to 16 pages), ii) Reports on Practical Experience and Tools (up to 12 pages). Submitted papers must not have been previously published nor be currently submitted elsewhere. They will be reviewed by at least three program committee members.

Further opportunities to contribute to the conference are offered to academics and practitioners, junior and senior researchers, by means of Fast abstracts, Work in progress or Student papers (up to 2 pages).

Please refer to Springer Author Guidelines for detailed instructions on how to format your paper.


CONFERENCE PROCEEDINGS AND SPECIAL ISSUE

All accepted regular papers, reports on practical experience and tools will be published by Springer in the Lecture Notes in Computer Science series. Also, extended versions of the best papers will be considered for publication in a special issue of a safety related international journal.


IMPORTANT DATES

Workshop proposal submission: 16 February 2014

Abstract submission: 25 February 2014

Full paper submission: 28 February 2014

Notification of acceptance: 20 May 2014

Camera-ready submission: 20 June 2014


COMMITTEE

EWICS TC7 Chair
Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE)

General Chair
Andrea Bondavalli (Univ. of Florence, IT)

Program Co-Chairs
Andrea Bondavalli (Univ. of Florence, IT)
Felicita Di Giandomenico (ISTI-CNR, IT)

Worshop and Tutorial Chair
Frank Ortmeier (Otto -v.-Guericke-Univ. Magdeburg, DE)

Industry-Liaison Chair
Michael Paulitch (EADS IW, DE)

Finance Chair
Ettore Ricciardi (ISTI-CNR, IT)

Publication Chair
Andrea Ceccarelli (Univ. of Florence, IT)

Publicity Chair
Francesco Flammini (Ansaldo STS, IT)

Local Organizing Chair
Paolo Lollini (Univ. of Florence, IT)

International Program Committee
Anderson, S. (UK) Koornneef, F. (NL)
Bitsch, F. (DE) Lami, G. (IT)
Bloomfield, R. (UK) Linsdkov Hansen, S.(DK)
Bologna, S. (IT) Lyu, M. (HK)
Bondavalli, A. (IT) Majzik, I. (HU)
Braband, J. (DE) Martinelli, F. (IT)
Brancati, F. (IT) Masci, P. (UK)
Cotroneo, D. (IT) Mattiello, F. (BR)
Cukic, B. (US) Mazzini, S. (IT)
D'Antonio, S. (IT) Neves, N. (PT)
Daniel, P. (UK) Nordland, O. (NO)
Di Giandomenico, F.(IT) Ortmeier, F. (DE)
Driscoll, K. (US) Paulitsch, M. (DE)
Ehrenberger, W. (DE) Romanovsky, A. (UK)
Felici, M. (UK) Rushby, J. (US)
Flammini, F. (IT) Saglietti, F. (DE)
Gallina, B. (SV) Schmitz, C. (CH)
Gorski, J. (PL) Schoitsch, E. (AT)
Guiochet, J. (FR) Seguin, C. (FR)
Kaaniche, M. (FR) Silva, N. (PT)
Kanekawa, N. (JP) Skavhaug, A. (NO)
Kanoun, K. (FR) Steiner, W. (AT)
Karlsson, J. (SV) Sujan, M. (UK)
Knight, J. (US) Troubitsyna, E. (FI)
Koopman, P. (US) Tsuchiya, T. (JP)

***********************************