slide 4 of 3
Safety & Security
with contract based design
Safety & Security
with contract based design
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.
Contract-based design makes it possible to formulate formal contracts, even in early specification or design phases, giving you 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.
Webinar Facts
For inquiries, feel free to contact us at info@hitex.de.