Sam Procter

Research

A graphical view of a simple system architecture in AADL

My Curriculum Vitae, updated April 2023.

I work at the Software Engineering Institute at Carnegie Mellon University. There I work with tool and language support for analysis of safety- and security-critical embedded systems, primarily using the language AADL. You can read about my ongoing and completed projects on my SEI page.

Publications

Peer Reviewed

You can also find a publication list on DBLP.

  1. Dionisio de Niz, Bjorn Andersson, Mark H. Klein, John Lehoczky, Hyoseung Kim, George Romanski, Jonathan Preston, Floyd Fazi, Daniel Shapiro, Douglas C. Schmidt, Ronald Koontz, Sam Procter. Flight Incident Analysis Through Symbolic Argumentation. Digital Avionics Systems Conference (DASC), 2024. Preprint — Source
    • Winner: Best-of-Session Award for “Formal Methods” Session
  2. Sam Procter. The OSATE Slicer: Graph-Based Reachability for Architectural Models. European Conference on Modelling Foundations and Applications (ECMFA), 2023. Preprint — Source — Supplementary Materials (Local) — Supplementary Materials (Official)
  3. Keaton Hanna, Sam Procter. Towards Automated Safety Case Generation from System Architecture. International System Safety Conference (ISSC), 2022. Preprint — Source (forthcoming)
  4. Sam Procter, Jérôme Hugues. Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance. Embedded Real-Time Systems (ERTS), 2022. Preprint — Source
  5. Jérôme Hugues, Sam Procter. Contracts in System Development: From Multi-Concern Analysis to Assurance with AADL. IEEE Software, 2022. Preprint — Source
  6. Sam Procter, Lutz Wrage. Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. Journal of Software and Systems Modeling (SoSyM), 2021. Preprint — Source
  7. Sam Procter, Lutz Wrage. Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019. Preprint — Source
  8. Sam Procter, Peter Feiler. The AADL Error Library: An Operationalized Taxonomy of System Errors. High Integrity Language Technology (HILT), 2018. Preprint — Source
  9. Sam Procter, Eugene Y. Vasserman, John Hatcliff. SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. International Workshop on Software Assurance (SAW), 2017. Preprint — Source — Supplementary Materials
  10. Sam Procter. A Development and Assurance Process for Medical Application Platform Apps. Ph.D. Dissertation, 2016, Kansas State University.  Major Professor: Dr. John Hatcliff. Preprint — Source
  11. Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby. Ecosphere Principles for Medical Application Platforms. IEEE International Conference on Healthcare Informatics (ICHI), 2015. Preprint — Source
  12. Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. Error Type Refinement for Assurance of Families of Platform-Based Systems. International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) at the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2015. Extended Preprint — Source
  13. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2015. Preprint — Source
  14. Sam Procter, John Hatcliff. An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications. Conference on Formal Methods and Models for System Design (MEMOCODE), 2014. Preprint — Source
  15. Sam Procter, John Hatcliff, Robby. Towards an AADL-Based De finition of App Architecture for Medical Application Platforms. Software Engineering in Health Care (SEHC) workshop at the International Symposium on Foundations of Health Information Engineering and Systems (FHIES), 2014. Preprint — Source
  16. Brian Larson, John Hatcliff, Sam Procter, Patrice Chalin. Requirements Specifications for Apps in Medical Application Platforms. Software Engineering in Health Care (SEHC) workshop at the International Conference on Software Engineering (ICSE), 2012. Preprint — Source
  17. Sam Procter. Kinerja: A Workflow Execution Environment. M.S. Thesis, 2011, Kansas State University.  Major Professor: Dr. John Hatcliff. Preprint — Source
  18. Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter. Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework. Software Engineering in Health Care (SEHC) workshop at the International Conference on Software Engineering (ICSE), 2010. Preprint — Source
  19. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. An Open Test Bed for Medical Device Integration and Coordination. International Conference on Software Engineering (ICSE), 2009. Preprint — Source
  20. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. Demonstration of a Medical Device Integration and Coordination Framework. International Conference on Software Engineering Companion (ICSE-Companion), 2009. Preprint — Source
  21. Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. A Publish-Subscribe Architecture and Component-Based Programming Model for Medical Device Interoperability. Special Interest Group on Embedded Systems (SIGBed) Review, 2009. Preprint — Source

Blog Posts

  1. The OSATE Slicer: Fast Reachability Query Support for Architectural Models. 2023. (Local Copy)
  2. A Model-Based Tool to Assist in the Design of Safety-Critical Systems. 2022. (Local Copy)
  3. Integrating Safety and Security Engineering for Mission-Critical Systems. With Sholom Cohen. 2021. (Local Copy)
  4. The AADL Error Library: 4 Families of System Errors. 2019. (Local Copy)
  5. Simultaneous Analysis of Safety and Security of a Critical System. 2017. (Local Copy)

Posters

  1. SEI Research Review 2020: Integrated Safety and Security Engineering for Mission-Critical Systems (Poster)
  2. SEI Research Review 2019: Integrating Safety and Security Engineering for Mission-Critical Systems (Poster)
  3. SEI Research Review 2018: Integrated Safety and Security Engineering for Mission Critical Systems (Poster)
  4. SEI Research Review 2017:

Talks, Podcasts, Videos

You can find a number of presentations, videos, podcasts, etc. at my SEI Digital Library profile.

Presentations

  1. ECMFA 2023: The OSATE Slicer: Graph-Based Reachability for Architectural Models
  2. SCC 2023: Is Design Diversity Essential / Effective / Practical for Critical Systems?
  3. SCC 2023: Is a Safety-First Cyber-Security Approach Feasible? Will it be Effective?
  4. ERTS 2022: Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance
    • Note: I was unable to attend ERTS 2022, so this talk was given by my co-author Jérôme Hugues
  5. MAPSOD 2021: Architecture-Supported Audit Processor : Interactive, Query-Driven Assurance
  6. SEI Research Review 2021: Collaboration Conversation: Scalable Assurance of Safety-Critical Systems (Video) (Slides)
    • With SuZ Miller, Sholom Cohen, and Jérôme Hugues
  7. SEI Research Review 2020: Model Based Engineering with AADL: Transitioning Research to Practice (Video) (Slides)
  8. SEI Research Review 2019: Integrated Safety and Security Engineering for Mission-Critical Systems (Video) (Slides)
    • With Alex Boydston, US Army
  9. MODELS 2019: Guided Architecture Trade Space Exploration: Fusing Model Based Engineering and Design by Shopping
  10. SEI Research Review 2018: Modern Software Lifecycle Practices (Video) (Slides)
    • With Ipek Ozkaya
  11. HILT 2018: Architecture-Level Security Concerns in a Safety Critical System
  12. SEI Research Review 2017:
  13. SAW 2017: SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
  14. ASSURE 2015: Error Type Refinement for Assurance of Families of Platform-Based Systems
  15. ISPCE 2015: Applying STPA-based Hazard Analysis to support Hazard-Based Software Engineering for Systems Built Using MAPs
  16. K-State UDP: A Development and Assurance Process for Medical Application Platform Apps (Video)
  17. STPA 2015: Using STPA to Support Risk Management for Interoperable Medical Systems
  18. SCC 2015: Assurance of a Patient-Specific Network of Medical Devices
  19. MEMOCODE 2014: An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications
  20. SEHC 2014: Towards An AADL-Based Definition of App Architecture for MAPs

Podcasts

  1. My Story in Computing with Sam Procter. 2024. (Video)
  2. A Model-Based Tool for Designing Safety-Critical Systems. 2023. (Video)
  3. SE Radio 390: Sam Procter on Security in Software Design. 2019.
  4. The AADL Error Library. 2019. (Video)

Grad School At K-State

I earned my MS and PhD at K-State, working primarily with model checking workflows (for my Masters) and hazard analysis of safety-critical distributed systems — culminating in a technique called “Systematic Analysis of Faults and Errors,” or SAFE,  (for my doctorate). You can read more about those projects on my grad school page.

Legal

Regarding the local copies of Materials I produced as an employee of the Software Engineering Institute:

  • The Materials contained on this page were created in the course of my employment with the Software Engineering Institute (SEI), an FFRDC sponsored by the Department of Defense and operated by Carnegie Mellon University; as such, the Materials contained on this page are copyrighted by Carnegie Mellon University and reproduced here with special permission from the SEI. For further use of this material, please contact permission@sei.cmu.edu.
  • ANY MATERIAL OF CARNEGIE MELLON UNIVERSITY AND/OR ITS SOFTWARE ENGINEERING INSTITUTE CONTAINED HEREIN IS FURNISHED ON AN “AS-IS” BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING BUT NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.
  • This Material is further subject to the terms of use at https://sei.cmu.edu/legal/index.cfm.