Automatic Software Verification- Value and Limitations (online)

Modern Space Systems are highly autonomous systems, thus can be considered "flying computers". Providing reliable functionality is essential for these safety-critical systems. This talk will present engineering and management aspects, methods and tools of fault identification in space software, considering also their limitations as well as management constraints in this context. To make it more tangible, concrete examples will support the theoretical methods of fault identification.

Login information

https://hs-bremen.zoom.us/j/69031643118

Meeting-ID: 690 3164 3118

Kenncode: 166898