Back to All Events

DGLR Software Safety Workshop 2016

  • TU München Boltzmannstraße Garching bei München, BY, 85748 Germany (map)

I was very happy to be invited as a speaker to the 2016 DGLR Software Safety Workshop. In this workshop, avionics experts discuss experiences and advances in software safety. I presented STAMP/STPA as a general approach and our extension to it for connecting it to verification activities such as test case generation and model checking.

My slides are below:

Earlier Event: August 21
Eighth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2016)
Later Event: November 25
Workshop Datenschutz im Internet of Things