Mission Assurance
Successful missions from risk-informed decisions in design, operation, and sustainment
Systems and systems of systems, which operate with ever-increasing autonomy, must be designed and architected with the knowledge that they will accomplish missions as intended in contested and challenging environments. Our work aims to assure mission accomplishment, even in the face of adversarial behavior aimed at subverting it.
We develop and apply technologies that identify and manage failure modes with supporting, quantifiable metrics. We develop software architecture instrumentation to enable continuous monitoring of mission effectiveness during operations. We also create and prototype means to effectively adapt operation or degrade it in predictable ways while maintaining effective performance. Additionally, we investigate means to address the challenges arising when systems and software are combined in unforeseen ways for emerging missions.
Featured Work
Insider Threat
CERT researchers devise strategies to help you prevent and detect insider threats and respond if harm results.
GraphBLAS: A Programming Specification for Graph Analysis
The GraphBLAS Forum is a world-wide consortium of researchers working to develop a programming specification for graph analysis that will simplify development.
Converting a Navy Weapon System from a 32- to a 64-Bit Architecture
The SEI provided an independent assessment of the risks of migrating a weapons control system deployed by the U.S. Navy from one architecture to another.
Verifying Distributed, Adaptive Real-Time (DART) Systems
Distributed, adaptive real-time (DART) systems must satisfy safety-critical requirements. We developed a method to verify DART systems and generate assured code.
Featured Publications
The QUELCE Method: Using Change Drivers to Estimate Program Costs
April 19, 2016 • White Paper
Sarah Sheard
This report introduces the Quantifying Uncertainty in Early Lifecycle Cost Estimation (QUELCE) method for estimating program costs early in a development lifecycle.
Download
Dynamic Parallelism for Simple and Efficient GPU Graph Algorithms
December 09, 2015 • Conference Paper
Jonathan ChuScott McMillanAndrew Lumsdaine (Indiana University)
Presented at the 2015 Supercomputing Conference, this paper shows that dynamic parallelism enables relatively high-performance graph algorithms for GPUs.
Download
Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems
November 18, 2015 • Presentation
Sagar ChakiMark H. KleinDionisio de Niz
This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.
Download
Edge Analytics: Analysis of Social Media to Support Tactical Users
November 18, 2015 • Presentation
Keegan M. WilliamsWilliam Anderson
This presentation explores the architecture and implementation of Edge Analytics, discusses field trials, and presents findings from analyzing Twitter data related to the 2012 attack on the U.S. Diplomatic Mission in Benghazi.
Download
Verifying Distributed Adaptive Real-Time (DART) Systems
October 16, 2015 • Presentation
Sagar ChakiDionisio de Niz
This 2015 Research Review presentation describes the authors' research efforts in verifying distributed adaptive real-time systems.
Download