System Verification and Validation
Methods and tools for assurance across the lifecycle
Designers need new verification and validation (V&V) technologies for systems that feature autonomy and safety criticality. Effective V&V for those systems requires innovative tools for design and implementation and an increased use of automation throughout a system’s fielded lifetime.
We arm designers and developers with analysis and formal verification algorithms and tools. Our efforts push V&V activities earlier in the lifecycle. We champion the use of architectural model-based risk analysis throughout system development to increase confidence. We promote the use of virtual system integration practice to reduce costly rework before a system is deployed. By creating and prototyping formal V&V methods, we seek also to improve continuous runtime mission assurance.
We build and analyze virtual software systems to find problems early in development, before a system is built. Early discovery reduces cost and certification time.
Current methods for software model checking can take too much time. We develop algorithms for SMC that execute many operations in parallel to improve scalability.
The new CERT method for validating and repairing defects found by static analysis tools helps auditors and coders address more alerts with less effort.
Distributed, adaptive real-time (DART) systems must satisfy safety-critical requirements. We developed a method to verify DART systems and generate assured code.
April 12, 2018 • Technical Report
This report presents an analysis of the economic effects of the System Architecture Virtual Integration approach on the development of software-reliant systems for aircraft compared to existing development paradigms.Download
March 23, 2017 • Presentation
This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.Download
April 08, 2016 • Conference Paper
This paper presents an architecture that automates metric collection processes for big data systems using a distributed runtime observability framework.Download
Architecture-Led Safety Analysis of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System
December 31, 2015 • Special Report
This report summarizes an architecture-led safety analysis of the aircraft-survivability situation-awareness system for the Joint Multi-Role vertical lift program.Download
October 16, 2015 • Presentation
This 2015 Research Review presentation explores the author's research into ways to improve critical system assurance.Download
History of Innovation at the SEI in Systems Verification and Validation
The SEI has performed innovative research in systems verification and validation for almost 30 years that has benefited government, industry, and academia. Learn more about a few of the highlights.
Creating a New Language to Verify Complex Systems
SEI researchers created a new programming language to verify distributed, adaptive real-time (DART) systems, which are essential to DoD capability but notoriously difficult to verify.Read the Story
Integrating Early to Prevent Costly Problems
This research led to development of standards in 2004, which were chosen for an aerospace initiative in 2008 and used to detect potential integration issues in the Joint Multi-Role helicopter program in 2015.Read the Story
Augmenting T&E with Assurance
Our work on the use of assurance cases in the development of medical devices led the FDA to issue draft guidance to manufacturers recommending the use of assurance cases and providing guidance for their use.Read the Story
Leading the Growth of an Architectural Modeling Standard
From its focus on research in architectural modeling and analysis for safety- and mission-critical systems, the SEI became the technical lead for the SAE Architecture Analysis and Design Language standard.Read the Story
Evaluating System Architecture
To address the need to predict problems before a system has been built, the SEI pioneered the use of scenario-based methods to evaluate software architectures for modifiability and other qualities.Read the Story
Meeting Real-Time Scheduling Needs
The SEI has been instrumental in developing the rate monotonic scheduling paradigm, publishing A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems in 1993.Read the Story
Establishing a Basis for Software Reuse
Underlying today's efforts to reuse software is a 1990s technology called feature-oriented domain analysis. Developed by the SEI, it demonstrated that managing variation is essential to software reuse.Read the Story
Pointing the Way Toward a Software Architecture Discipline
The SEI contributed to a greater understanding of how architectural decisions affect the ease of modifying a user interface, introducing an important concept to the discipline of software architecture in the 1990s.Read the Story