Sam Procter

Research

CV

My Curriculum Vitae, updated April 2023.

Projects

I’m interested in developing tools that make it easier for people to build safe, correct systems. So, my research mostly centers around tool-supported software engineering, and so far I’ve worked in the safety-critical space. Here’s my full research vision, updated December 2015.

Software Engineering Institute

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.

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.

Publications

You can also find publication lists on DBLP and ORCID.

  1. 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)
  2. Keaton Hanna, Sam Procter. Towards Automated Safety Case Generation from System Architecture. International System Safety Conference (ISSC), 2022. Preprint — Source (forthcoming)
  3. Sam Procter, Jérôme Hugues. Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance. Embedded Real-Time Systems (ERTS), 2022. Preprint — Source
  4. Jérôme Hugues, Sam Procter. Contracts in System Development: From Multi-Concern Analysis to Assurance with AADL. IEEE Software, 2022. Preprint — Source
  5. 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
  6. 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
  7. Sam Procter, Peter Feiler. The AADL Error Library: An Operationalized Taxonomy of System Errors. High Integrity Language Technology (HILT), 2018. Preprint — Source
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. Sam Procter. Kinerja: A Workflow Execution Environment. M.S. Thesis, 2011, Kansas State University.  Major Professor: Dr. John Hatcliff. Preprint — Source
  17. 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
  18. 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
  19. 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
  20. 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

Presentations

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

  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. MODELS 2019: Guided Architecture Trade Space Exploration: Fusing Model Based Engineering and Design by Shopping
  7. HILT 2018: Architecture-Level Security Concerns in a Safety Critical System
  8. SAW 2017: SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
  9. ASSURE 2015: Error Type Refinement for Assurance of Families of Platform-Based Systems
  10. ISPCE 2015: Applying STPA-based Hazard Analysis to support Hazard-Based Software Engineering for Systems Built Using MAPs
  11. STPA 2015: Using STPA to Support Risk Management for Interoperable Medical Systems
  12. SCC 2015: Assurance of a Patient-Specific Network of Medical Devices
  13. MEMOCODE 2014: An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications
  14. SEHC 2014: Towards An AADL-Based Definition of App Architecture for MAPs