Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Samuel Procter
October 2018 - Poster Integrated Safety and Security Engineering for Mission Critical Systems

This poster describes progress in the first year of a three-year project aimed at understanding interactions between safety and security.

May 2018 - Webinar Three Software Innovations that DoD Needs Now

Watch Jeff Boleng, Robert Schiela, Samuel Procter, Lena Pons, and Nathan VanHoudnos discuss "Three Software Innovations that DoD Needs Now".

February 2018 - Video SEI Cyber Minute: Safety-Critical Design by Shopping

Authors: Samuel 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.

October 2017 - Presentation Guided Architecture Trade Space Exploration for Safety-Critical Software Systems

Topics: Software Architecture

Authors: Samuel Procter

Presentation on research to create new tool prototype that automatically explores a system's trade space

October 2017 - Presentation Automated Assurance of Security Policy Enforcement (2017)

Topics: Software Architecture

Presentation on research to detect vulnerabilities early in the lifecycle in architecture models

October 2017 - Poster Guided Architecture Trade Space Exploration for Safety-Critical Software Systems

Topics: Software Architecture

Authors: Samuel Procter

Poster on research into tools to evaluate trade space for embedded systems

October 2017 - Poster Automated Assurance of Security Policy Enforcement (2017)

Topics: Cyber-Physical Systems

Poster for a research project on saftey-critical system security policy enforcement