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 433 results for the Software Assurance

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.

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.

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.

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.

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.

Technical Note | December 2014 - Technical Note Predicting Software Assurance Using Quality and Reliability ... By Carol Woody, Robert J. Ellison, William Nichols

In this report, the authors discuss how a combination of software development and quality techniques can improve software security.

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.

Book Chapter | May 2014 - Book Chapter Software Assurance By Nancy R. Mead, Dan Shoemaker (University of Detroit Mercy), Carol Woody

In this book chapter, the authors discuss modern principles of software assurance and identify a number of relevant process models, frameworks, and best practices.

Poster | October 2014 - Poster Quality and Software Assurance Project By Carol Woody

In this poster, a Quality and Software Assurance Project is illustrated, including highlights of a literature review, a workflow, and working hypothesis.

Technical Report | May 2014 - Technical Report Data-Driven Software Assurance: A Research Study By Michael D. Konrad, Art Manion, Andrew P. Moore, Julia L. Mullaney, William Nichols, Michael F. Orlando, Erin Harper

In 2012, Software Engineering Institute (SEI) researchers began investigating vulnerabilities reported to the SEI's CERT Division. A research project was launched to investigate design-related vulnerabilities and quantify their effects.