Software Engineering Institute

Sam Procter

Software Engineering Institute

Find Sam Procter on:

Sam Procter

Send a Message

All

Tech Publications

Blog Posts

Podcasts

Videos

The OSATE Slicer: Fast Reachability Query Support for Architectural Models

November 13, 2023 • Blog Post

By Sam Procter

The OSATE Slicer: Graph-Based Reachability for Architectural Models

July 1, 2023 • Article

By Sam Procter

A Model-Based Tool for Designing Safety-Critical Systems

January 5, 2023 • Podcast

By Sam Procter , Lutz Wrage

Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance

June 7, 2022 • Conference Paper

By Sam Procter , Jerome Hugues

Contracts in System Development: From Multiconcern Analysis to Assurance with the Architecture Analysis and Design Language

April 27, 2022 • Article

By Jerome Hugues , Sam Procter

More from Sam Procter

Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)

November 4, 2020 • Poster

By Sam Procter

Integrating Safety and Security Engineering for Mission-Critical Systems (2019)

October 28, 2019 • Poster

By Sam Procter

Integrated Safety and Security Engineering for Mission Critical Systems (2018)

October 23, 2018 • Poster

By Peter H. Feiler , Sam Procter

Guided Architecture Trade Space Exploration of Safety Critical Software Systems

October 30, 2017 • Poster

By Sam Procter

Automated Assurance of Security Policy Enforcement (2017)

October 27, 2017 • Poster

By Peter H. Feiler , Sam Procter

More from Sam Procter

The OSATE Slicer: Fast Reachability Query Support for Architectural Models

November 13, 2023 • Blog Post

By Sam Procter

A Model-Based Tool to Assist in the Design of Safety-Critical Systems

March 7, 2022 • Blog Post

By Sam Procter

Integrating Safety and Security Engineering for Mission-Critical Systems

May 10, 2021 • Blog Post

By Sam Procter , Sholom G. Cohen

The AADL Error Library: 4 Families of System Errors

May 20, 2019 • Blog Post

By Sam Procter

Simultaneous Analysis of Safety and Security of a Critical System

September 11, 2017 • Blog Post

By Sam Procter

More from Sam Procter

A Model-Based Tool for Designing Safety-Critical Systems

January 5, 2023 • Podcast

By Sam Procter , Lutz Wrage

The AADL Error Library

August 29, 2019 • Podcast

By Sam Procter , Peter H. Feiler

More from Sam Procter

Model Based Engineering with AADL: Transitioning Research to Practice

December 15, 2020 • Video

By Sam Procter

Integrating Safety and Security Engineering for Mission-Critical Systems

November 22, 2019 • Video

By Sam Procter , Alex Boydston (U.S. Army ADD/JMR)

Three Software Innovations that DoD Needs Now

May 18, 2018 • Webcast

By Jeff Boleng , Robert Schiela , Sam Procter , Lena Pons , Nathan M. VanHoudnos

SEI Cyber Minute: Safety-Critical Design by Shopping

February 28, 2018 • Video

By Sam Procter

More from Sam Procter