System-Theoretic Safety Analysis of Software-Intensive Systems

A short introduction of our work on STAMP and STPA for scientists working on new detectors for the ATLAS experiment at CERN.

Transcript

1. CERN, 2016-03-02 Stefan Wagner System-Theoretic Safety Analysis of Software-Intensive Systems
2. You can copy, share and change, film and photograph, blog, live-blog and tweet this presentation given that you attribute it to its author and respect the rights and licences of its parts. based on slides by @SMEasterbrook und @ethanwhite
3. Tools Requirements Engineering Safety & Security Engineering Quality Engineering Software Engineering Continuous, Agile & Lean Engineering
4. STAMP and Software
5. Design flaws
6. The influence of system design
7. Case Study: Adaptive cruise control
8. 58 5/18/2011 STAMP
9. Cruise Control Speed Sensor Vehicle Speed Brake Too late or no braking Wrong interpretation Software controller fails Brake command not given
10. Our extension: STPA-Swiss
11. Verification of safety requirements based on system-theoretic analysis Abdulkhaleq, Wagner, Leveson. A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA. Procedia Engineering 128:2–11, 2015
12. The next challenge: Truly autonomic driving
13. Prof. Dr. Stefan Wagner e-mail stefan.wagner@informatik.uni-stuttgart.de phone +49 (0) 711 685-88455 WWW www.iste.uni-stuttgart.de/se Twitter prof_wagnerst ORCID 0000-0002-5256-8429 Institute of Software Technology Slides are available at www.stefan-wagner.biz.
14. Pictures used in this slide deck Safety by GotCredit (https://flic.kr/p/qHCmfo, Got Credit) Pisa by Aaron Kreis (https://flic.kr/p/wzEw5K) Concorde Cockpit by Dr. Richard Murray (https://commons.wikimedia.org/wiki/ File:Concorde_Cockpit_-_geograph.org.uk_-_1357498.jpg) BMW 328i F30 2012 by HLW (https://commons.wikimedia.org/wiki/ File:BMW_328i_F30_2012_vl_2.jpg) Screenshot from „The new E Class on the road to autonomous driving Mercedes Benz original“ by motorcar (https://www.youtube.com/watch? v=c5jK60DYzP8)