SafeCert 2009

2nd International Workshop on the

Certification of Safety-Critical Software Controlled Systems

29 March 2009, York, United Kingdom

A satellite event to ETAPS 2009


Preliminary Programme

Call for Papers




ETAPS 2009

Call for Papers

bullet   Scope
In many domains like transportation, power generation, medical technology, manufacturing and space exploration, statutory obligations traditionally require a formalized certification for the development of high assurance products. Formal methods are part of the standard recommendations, in particular for the higher safety integrity levels. However, experience shows that certifiable development of high-assurance software needs a lot more than pure application of formal techniques and tools that are founded on a formal semantics and support in parts automated code generation, formal analysis, verification or error detection. The major question to be addressed in the workshop is how to embed formal methods and tools in a seamless design process which covers several development phases and which includes an efficient construction of a safety case for the product.

bullet   Contributions
Contributions are sought on all related topics, both from scientific and application perspective.

bullet  Programme Committee
  • Jens Braband, Siemens, Germany
  • Fabrice Derepas, CEA, France
  • Javier Goikoetxea, CAF, Spain
  • Connie Heitmeyer, Naval Research Laboratory, USA
  • Jozef Hooman, ESI Eindhoven, Netherlands
  • Michaela Huhn, TU Braunschweig, Germany (Co-Chair)
  • Hardi Hungar, OFFIS, Germany (Co-Chair)
  • Tim Kelly, Univ. York, UK
  • Stephan Merz, INRIA, France
  • Iulian Ober, U Toulouse 2, France
  • Andras Pataricza, Budapest U, Hungary
  • Bernhard Schätz, TU Munich, Germany

bullet  Important Dates
Submission of full papers: 05 Jan 2009
Notification of acceptance: 19 Jan 2009
Camera ready version: 30 Jan 2009

O  Paper Submission
Electronic submission (pdf, ps) to: SafeCert 2009 Paper Submission

bullet  Submission Format

  • Full paper: 15 pages,
  • Short / position paper: 6 pages,
  • Format: ENTCS style (preferred)
bullet  Proceedings
The proceedings will be published as a volume of the "Electronic Notes in Theoretical Computer Science" (ENTCS).

Download the CfP in pdf