Fachbereich Informatik

Prof. Dr. Werner Damm

(OFFIS-Member of the Board and Chairman Executive Board Transportation),

"Contract Based System Development"

We present a contract based development methods for avionics and automotive embedded applications pushed and assessed by the Integrated Project Speeds. We illustrate, how the classical paradigm of design by contract can be lifted into the embedded world through elaborating on contracts for safety and contracts for real-time, indicating as well automatic tool support for verifying such contracts. We show, how such analysis methods can be interfaced to industry standard development tools following an open semantic based interoperability approach established by Speeds.



Zeit: Mittwoch, 16.12.2009, 17.00 Uhr
Ort: Gebäude 48, Raum 210