Sam Procter
Software Engineering Institute
Find Sam Procter on:
Publications by Sam Procter
-
Archive for "Graph-Based Reachability for Architectural Models"
February 23, 2023 • Software
Sam Procter
This archive file includes models and documentation to support repeating the reachability performance evaluation of a new software tool, the OSATE slicer.
download -
A Model-Based Tool for Designing Safety-Critical Systems
January 05, 2023 • Podcast
Sam ProcterLutz Wrage
Sam Procter and Lutz Wrage discuss with Suzanne Miller the Guided Architecture Trade Space Explorer (GATSE), a new SEI-developed model-based tool to help with the design of safety-critical systems.
learn more -
Collaboration Conversation on Scalable Assurance of Safety-Critical Systems
November 07, 2021 • Presentation
Sholom G. CohenJerome HuguesSam Procter
Learn how the SEI's Assuring Cyber-Physical Systems team working on model-based techniques to better describe, analyze, and assure systems.
read -
Model Based Engineering with AADL: Transitioning Research to Practice
December 15, 2020 • Video
Sam Procter
To understand interactions between safety and security mechanisms, CMU SEI researchers are developing an integrated safety and security engineering approach supported by an AADL workbench.
watch -
Model-Based Engineering with AADL: Transitioning Research to Practice
November 04, 2020 • Presentation
Sam Procter
To understand interactions between safety and security mechanisms, CMU SEI researchers are developing an integrated safety and security engineering approach supported by an AADL workbench.
read -
Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)
November 04, 2020 • Poster
Sam Procter
This project makes systems safer and more secure by enabling early discovery of system-level issues through virtual integration and incremental analytical assurance.
read -
Integrating Safety and Security Engineering for Mission-Critical Systems
November 22, 2019 • Video
Sam ProcterAlex Boydston (U.S. Army ADD/JMR)
Watch SEI principal investigator Dr. Sam Procter discuss ongoing research to make it easier to specify, design, and assure critical systems that are safer and more secure using model based engineering with AADL.
watch -
Integrated Safety and Security Engineering for Mission-Critical Systems
October 28, 2019 • Presentation
Sam Procter
This presentation describes progress in research to develop software and processes that use a system's architecture to support developer intuition and improve safety and security.
read -
Integrating Safety and Security Engineering for Mission-Critical Systems (2019)
October 28, 2019 • Poster
Sam Procter
This poster provides an update on research to make systems safer and more secure.
read -
The AADL Error Library
August 29, 2019 • Podcast
Sam ProcterPeter H. Feiler
Peter Feiler and Sam Procter present the Architecture Analysis and Design Language (AADL) EMV2 Error Library, which is an established taxonomy that draws on a broad range of previous work in classifying system errors.
learn more -
Mini-Tutorial: Emerging Technologies for Software-Reliant Systems
February 25, 2019 • Presentation
Eileen WrubelGrace LewisIpek Ozkaya
This talk presents several emerging technologies and their potential impact for software-reliant systems.
read -
Modern Software Lifecycle Practices
October 24, 2018 • Presentation
Ipek OzkayaSam Procter
Discussion of FY18 DoD Line-funded research into techical debt and security engineering
read -
Integrated Safety and Security Engineering for Mission Critical Systems (2018)
October 23, 2018 • Poster
Peter H. FeilerSam Procter
This poster describes progress in the first year of a three-year project aimed at understanding interactions between safety and security.
read -
Three Software Innovations that DoD Needs Now
May 18, 2018 • Webinar
Jeff BolengRobert SchielaSam Procter
Watch Jeff Boleng, Robert Schiela, Samuel Procter, Lena Pons, and Nathan VanHoudnos discuss "Three Software Innovations that DoD Needs Now".
watch -
SEI Cyber Minute: Safety-Critical Design by Shopping
February 28, 2018 • Video
Sam Procter
Here at the Software Engineering Institute, we have created a new tool prototype that automatically explores a system's design trade space; that is, its possible combinations of system software, hardware, and configuration options.
watch -
Guided Architecture Trade Space Exploration for Safety-Critical Software Systems
October 30, 2017 • Presentation
Sam Procter
Presentation on research to create new tool prototype that automatically explores a system's trade space
read -
Automated Assurance of Security Policy Enforcement (2017)
October 30, 2017 • Presentation
Peter H. FeilerSam Procter
Presentation on research to detect vulnerabilities early in the lifecycle in architecture models
read -
Guided Architecture Trade Space Exploration for Safety-Critical Software Systems
October 30, 2017 • Poster
Sam Procter
Poster on research into tools to evaluate trade space for embedded systems
read -
Automated Assurance of Security Policy Enforcement (2017)
October 27, 2017 • Poster
Peter H. FeilerSam Procter
Poster for a research project on safety-critical system security policy enforcement
read