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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Samuel Procter
May 2018 - Webinar Three Software Innovations that DoD Needs Now

Authors: Jeff Boleng, Robert Schiela, Samuel Procter, Lena Pons, Nathan VanHoudnos

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

Authors: Peter H. Feiler, Samuel Procter

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

Authors: Peter H. Feiler, Samuel Procter

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