ICE-TCS seminar - Ute Schiffel

  • 7.12.2012, 14:00 - 15:00

Title: Safety Transformations: Sound and Complete?

Time: Friday, December 7, 2012, 2pm

Location: M109, Reykjavik University, Menntavegur 1

Speaker: Ute Schiffel (RU)

Safety transformations transform unsafe original software into safe software that, in contrast to the unsafe version, detects if its execution was incorrect due to execution errors. Especially transformations based on arithmetic codes apply complex and error-prone transformations, while at the same time aiming for safety- or mission-critical applications.

Testing and error injection are used so far to ensure correctness and error detection capabilities, but both are incomplete and might miss errors that change functionality or reduce error detection rates. Our research will provide tools for a complete analysis of AN-encoding safety transformations.

This paper presents our analysis tools and results for the AN-encoded operations. While we were able to demonstrate functional correctness, we discovered a bug in the so far used AN-encoded division.  This bug prevented error propagation completely.