Safety Modeling Articles related to JPL mission

Dr. Nancy Leveson of MIT indicated that there are some new papers involving a demonstration of STAMP (and STPA) being used for safety-driven design of a new JPL mission to Europa including a very complete example. A JPL modeling language was incorporated (JPL was funding the work), but had little to do with the final results and can be ignored if you want.

IEEE Aerospace Conference (March 2008) paper:
http://sunnyday.mit.edu/papers/IEEE-Aerospace.pdf

Complete Report on the Methodology:
http://sunnyday.mit.edu/JPL-Part-1.pdf

Report showing the results of the analysis and design
http://sunnyday.mit.edu/JPL-Part-2.doc

 

Upcoming Training

QSS Software Validation
Planned Instructors:  Brian Pate, John Murray
Location: Boston, MA, USA
Dates:  June 2-4, 2020
Registration Link

Receive $300 discount with Premium-Individual subscription purchase (or $333 per person for Premium-Company subscription)! 

Multi-Student Discounts as well!

Email training@softwarecpr.com
to receive discount

Corporate Office

15148 Springview St
Tampa, FL 33624
USA
+1-781-721-2921
Partners located in the US (CA, FL, MA, MN) and Italy.