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


Publication Date

Showing 1 - 10 of 414 results for the Software Assurance

Presentation | October 2017 - Presentation Automated Assurance of Security Policy Enforcement (2017) By Peter H. Feiler, Samuel Procter

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

Collection | December 2017 - Collection Resources for Assurance Cases

The concept of an assurance case has been derived from the safety case. This library collection provides a list of SEI resources about assurance cases.

Presentation | March 2017 - Presentation Measuring Complexity for System Safety Assurance By Sarah Sheard, Michael D. Konrad, William Nichols, Charles B. Weinstock

This presentation describes a two-year research effort to define complexity measures for avionics systems in order to help the FAA identify when systems are too complex to assure their safety.

Conference Paper | January 2017 - Conference Paper Certifiable Runtime Assurance of Distributed Real-Time ... By Sagar Chaki, Dionisio de Niz

This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.

Collection | January 2017 - Collection Cybersecurity Engineering Research: Software Assurance ...

This research is a risk-based approach for measuring and monitoring the security characteristics of interactively complex, software-reliant systems.

Presentation | November 2016 - Presentation Assurance Cases and Confidence By Charles B. Weinstock

This talk on assurance cases and confidence was presented at the IEEE Invitational Workshop to Create a Building-Code for Power System Software Security.

Presentation | November 2015 - Presentation Engineering High-Assurance Software for Distributed ... By Mark H. Klein, Sagar Chaki, Dionisio de Niz

This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.

Presentation | November 2015 - Presentation From Virtual System Integration to Incremental Lifecycle ... By Peter H. Feiler

This presentation discusses problems associated with the increasing complexity of software systems that are threatening industry's ability to build the next generation of safety-critical embedded systems.

Presentation | March 2017 - Presentation Struggles at the Frontiers: Persistent Pursuit of Software ... By Kenneth Nidiffer

This presentation presents new processes, techniques, and tools being used to improve software assurance in the development and sustainment of defense systems.

Book | November 2016 - Book Cyber Security Engineering: A Practical Approach for Systems ... By Nancy R. Mead, Carol Woody - PhD

Pioneering software assurance experts Dr. Nancy R. Mead and Dr. Carol C. Woody present the latest practical knowledge and case studies.