Showing 1 - 10 of 433 results for the Software Assurance
This talk on assurance cases and confidence was presented at the IEEE Invitational Workshop to Create a Building-Code for Power System Software Security.
This research is a risk-based approach for measuring and monitoring the security characteristics of interactively complex, software-reliant systems.
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
Pioneering software assurance experts Dr. Nancy R. Mead and Dr. Carol C. Woody present the latest practical knowledge and case studies.
This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.
In this report, the authors discuss how a combination of software development and quality techniques can improve software security.
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.
In this book chapter, the authors discuss modern principles of software assurance and identify a number of relevant process models, frameworks, and best practices.
In this poster, a Quality and Software Assurance Project is illustrated, including highlights of a literature review, a workflow, and working hypothesis.
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.