Incremental Development, Continuous Checking (IDCC)

This cooperation project between Hahn-Schickard and the University of Freiburg investigates the continuous program verification for interface specifications during incremental software development to avoid serious programming errors in embedded software.

Programming errors in programs are often difficult to find, especially if software interfaces for interacting with hardware are misused. Such errors impair the safety of an embedded system and, in the worst case, can lead to hardware damage.
Therefore, this project researches how such programming errors can be ruled out by checking interface specifications in programs. In particular, it will be investigated how the development process of embedded software can be implemented incrementally and provided with continuous checking. The aim of this project is to rule out violations of interface specifications during incremental development with the help of efficient program verification. The gained research findings are incorporated into the creation of a tool for program verification. This tool is intended to be used as simply as possible and without in-depth prior knowledge by developers during incremental software development to support them in their daily work.