Sam Procter
Software Engineering Institute
Find Sam Procter on:
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• SEI Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• SEI Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)
• Poster
By Sam Procter
Integrating Safety and Security Engineering for Mission-Critical Systems (2019)
• Poster
By Sam Procter
The OSATE Slicer: Fast Reachability Query Support for Architectural Models
• Blog Post
By Sam Procter
The AADL Error Library: 4 Families of System Errors
• Blog Post
By Sam Procter