SafeCert10 ETAPS 2010 bar

SafeCert 2010

3rd International Workshop on the

Certification of Safety-Critical

Software Controlled Systems

21 March 2010, Paphos, Cyprus

A satellite event to ETAPS 2010

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

bullet Invited Speaker

<to be announced>

bullet Important Dates

Submission of full papers 05 Jan 2010
Notification of acceptance 29 Jan 2010
Camera ready version 12 Feb 2010
Workshop 21 Mar 2010, Paphos, Cyprus (in connection with ETAPS 2010)

O Paper Submission

Electronic submission (pdf, ps) to: SafeCert 2010 Paper Submission <open from 17 Dec 2009>

bullet Submission Format

Full paper: 15 pages, Short / position paper: 6 pages, Format: ENTCS style (preferred)

bullet Proceedings

The workshop proceedings will be published as a volume of the "Electronic Notes in Theoretical Computer Science" (ENTCS).

bullet Contacts/Links

Michaela Huhn Hardi Hungar SafeCert Home ETAPS 2010 Home Call for Papers (PDF)