CALL FOR PAPERS: SAFECOMP 2012

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

31st International Conference on Computer Safety, Reliability and Security



25.09. - 28.09.2012 \\ Magdeburg, Germany



www.ovgu.de/safecomp

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

JOIN: SAFECOMP 2012 Community Forum on (details at the end) (NEW!)

http://www.ovgu.de/safecomp/about-sc-2012/safecomp-community

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

SAFECOMP is an annual event covering new trends, technologies and experiences in the areas of safety, security and reliability of critical computer applications. Since it was established in 1979, SAFECOMP has continuously contributed to the progress of state-of-the-art in dependability of computers in critical systems. The key theme of SAFECOMP2012 will be "Virtually safe -- making system safety traceable". Dependability is an abstract concept and so are most methods for analyzing them. But engineers, reviewers and the public need to understand why a system is safe. Therefore, in 2012 we will focus on methods which make system safety traceable and understandable. Examples range from virtual reality models and scenarios through simulation and model-based analyses to approaches for tracing requirements.



All accepted papers will be published in a special volume of Springer LNCS. In addition, the best contributions will be invited to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. Deadline for abstracts is February 5th 2012.



Dependability related topics for SAFECOMP2012 include but are not limited to:

• safety/security risk assessment

• model-based design and analysis

• risk reduction and mitigation techniques

• self-healing and resilience

• formal methods, verification and validation

• in-the-loop and model-based testing

• methods for qualification and certification

• dependability analysis using simulation and virtual reality

• human factors in dependability analysis

• cyber-physical threats and vulnerability analysis

• safety guidelines, standards and certification

• safety and security interactions

• traceability & safety cases



Domains of application include but are not limited to:

• networking and telecommunication

• railway systems, automotive, aerospace and avionics

• logistics, production automation and robotics

• medical devices and e-health

• critical infrastructures and power systems

• off-shore technology

• education & training





Paper submission details

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

The tradition of SAFECOMP is to act as platform for bringing together academic research and industrial needs. Therefore, industrial contributions and real-world experience reports are explicitly invited.



We solicit two types of papers:



• academic papers (up to 12 pages) and



• industrial experiences papers (up to 8 pages).



All papers will be reviewed by at least three members of the international program committee. Papers must not have been previously published or concurrently submitted elsewhere. Paper submission details and style files may be found on the website.



Publication

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

All accepted papers will be published by Springer in the LNCS series. In addition, extended versions of the best papers will be invited to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier.





Important dates

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

Abstract submission: 05. February 2012

Full paper submission: 19. February 2012

Tutorial proposals: 30. April 2012

Notification of acceptance: 14. May 2012







NEW: The SAFECOMP 2012 - Community - a new way of exchanging ideas with research colleagues

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

Scientific conference are for networking and exchange of ideas!



But,

• very often you only learn who might be interesting for exchanging ideas at the very end of the conference (maybe after the social event).

• you often find interesting people for discussion and wish, you could have read some of their papers before.



To compensate these deficiencies, we developed the SAFECOMP Community forum. It is an absolutely PRIVATE, NON-COMMERCIAL forum for SAFECOMP authors, participants and supporters to hook up with each other. We will under no circumstances give away any data.

In SAFECOMP Community, you may enter keywords describing your research and in exchange find colleagues in the community who are working and researching on similar topics. You will also be able to upload up to three of your own papers to share with others. As papers will only be available to a limited audience in a protected area this is also compliant with most copyright regulations. However, it is each authors responsibility to check this for his own papers. We hope, that you like this new feature and are happily awaiting any feedback and suggestions.



Your advantages are:



• Connect to other people with the same fields of research

• With SAFECOMP Community you can find new colleagues, working on related problems

• Make others aware of your newest ideas and publications

• Plan your networking and the talks you are most interested in

• Get all information regarding the conference



Get more information about SAFECOMP Community at http://www.ovgu.de/safecomp/about-sc-2012/safecomp-community



SAFECOMP Contacts:

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

Otto-von-Guericke-Universität Magdeburg

Fakultät für Informatik

Sekretariat Computer Systems in Engineering

Universitätsplatz 2 / Gebäude 29

39106 Magdeburg

Fon +49 391 67-18915

Fax +49 391 67-12020

Mail safecomp@ovgu.de



International Program Committee

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

Anderson S. (UK) Bloomfield R. (UK)

Bologna S. (IT) Braband J. (DE)

Broy M. (DE) Buth B. (DE)

Damm W. (DE) Daniel P. (UK)

Dittmann J. (DE) Ehrenberger W. (DE)

Felici M. (UK) Flammini F. (IT)

Frey G. (DE) Giese H. (DE)

Glaß M. (DE) Göhner P. (DE)

Gorski J. (PL) Grunske L. (DE)

Heisel M. (DE) Heitmeyer C. (US)

Johnson C. (UK) Jürjens J. (DE)

Kaaniche M. (FR) Keller H. (DE)

Knight J. (US) Koornneef F. (NL)

Ladkin P. (DE) Lesage J.-J. (FR)

Liggesmeyer P. (DE) Littlewood B. (UK)

Mottok J. (DE) Nordland O. (NO)

Ortmeier F. (DE) Pataricza A. (HU)

Pfeiffenberger T. (AT) Reif W. (DE)

Rieger G. (DE) Romanovsky A. (UK)

Rothfelder M. (DE) Saake G. (DE)

Saglietti F. (DE) Schätz B. (DE)

Schenk M. (DE) Schmitz C. (CH)

Schoitsch E. (AT) Schulze, S.-O. (DE)

Schäfer W. (DE) Sedigh S. (US)

Sujan M.-A. (UK) Trivedi K. (US)

Van der Meulen M. (NO) Vogel-Heuser B. (DE)



Program Chairs:

F. Ortmeier (DE)

P. Daniel (DE)