DGLR Software Safety Workshop 2016

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

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: