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 08, 2016 • Conference Paper
John KleinIan Gorton (Northeastern University)Laila Alhmoud (Carnegie Mellon University)Joel Gao (Carnegie Mellon University)Caglayan Gemici (Carnegie Mellon University)Rajat Kapoor (Carnegie Mellon University)Prasanth Nair (Carnegie Mellon University)Varun Saravagi (Carnegie Mellon University)
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
March 25, 2015 • Technical Note
This report offers guidance on selecting, analyzing, and evaluating model-driven engineering tools for automatic code generation in acquired systems.Download