Safety & Security with Contract Based Design

Thus, any change can be tested automatically within minutes.

15.05.2024, 11:00 – 11:45 CET

Read more

Ensuring safety & security is a major challenge for many products

The software is often initially developed without specific safety & security requirements and the gaps are then discovered and rectified through analysis and testing. Wouldn’t it be good to develop systems from the outset in such a way that they already have built-in robustness for safety & security?

Contract-based design makes it possible to formulate formal contracts as early as the specification or design phase. The fulfillment of these contracts can then be ensured through formal verification, generation of test cases or runtime monitoring. A very nice side effect is that you get an unambiguous, simple and very clear definition of the interface semantics.

The webinar will first introduce typical problems and the method of contract-based design. This is followed by a demonstration of various tools with which contract-based design can be implemented in practice.