Jump to contentJump to search

Safety Critical Systems


Software and hardware systems take an important place in today's society. These systems are increasingly used for safety-critical applications where malfunctions can have serious effects. Examples are embedded computers in modern cars, which are increasingly influencing the driving behaviour, as well as modern train control systems or controls for driverless train systems.


This lecture provides an introduction to the development of software systems by means of formal methods using the B method.

Responsible for the content: