Showing 1 - 10 of 414 results for the Software Assurance
Presentation on research to detect vulnerabilities early in the lifecycle in architecture models
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.
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.
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
This research is a risk-based approach for measuring and monitoring the security characteristics of interactively complex, software-reliant systems.
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 presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.
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.
This presentation presents new processes, techniques, and tools being used to improve software assurance in the development and sustainment of defense systems.
Pioneering software assurance experts Dr. Nancy R. Mead and Dr. Carol C. Woody present the latest practical knowledge and case studies.