SafeCertLogo EtapsLogo bar

SafeCert 2008

International Workshop on the

Certification of Safety-Critical

Software Controlled Systems

29 March 2008, Budapest, Hungary

A satellite event to ETAPS 2008

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 Programme

The workshop programme consists of one invited talk, six regular presentations, several poster presentations, and a discussion initiated by position statements from the participants.

The programme. The call for papers.

bullet Results

The workshop proceedings will appear in the Electronic Notes in Theoretical Computer Science (ENTCS). A summary of the results of the discussion and position statements will be made available to the participants after the workshop.

bullet Organizers

bullet Date

29 Mar 2008, Budapest, Hungary (prior to ETAPS 2008)

bullet Contacts

Michaela Huhn Hardi Hungar

bullet Links

SafeCert2008 ETAPS 2008
Call for Papers (PDF)
Programme (PDF)