The CMU SEI Research Review 2021 virtual event spotlights recent, innovative research projects through a mix of technical presentations and conversations among CMU SEI subject matter experts and their collaborators working in sponsor, customer, and academic organizations.
Collaboration, an essential characteristic of the SEI as a federally funded research and development center (FFRDC), lies at the heart of everything you will see and hear at this event. It is the thread that ties together our work in research and development, piloting, transitioning, and policy input for the benefit of our sponsor and customers.
Untangling the Knot: Automating Software Isolation
Principal Investigator
Our goal is to reduce the time required for this kind of architecture refactoring by two-thirds.
Read MoreAutomated Design Conformance During Continuous Integration
Principal Investigator
An automated conformance checker that can be integrated into the continuous integration workflow… This technology will correctly identify design nonconformances with precision greater than 90%.
Read MoreREADME: A Learned Approach to Augmenting Software Documentation
Principal Investigator
The README research initiative is a strategic step forward towards a descriptive content generative process in modern DoD DevSecOps SDLCs.
Read MoreSpiral/AIML: Resource-Constrained Co-Optimization for High-Performance, Data-Intensive Computing
Principal Investigator
To address AI/ML challenges, we propose to build on CMU’s Spiral technology, a hardware-software co-optimization.
Read MoreProjecting Quantum Computational Advantage versus Classical State of the Art
Principal Investigator
UG quantum computing has emerged as the quantum computing technology that can demonstrate not just quantum supremacy but also quantum advantage
Read MoreCollaboration Conversation on Safety Analysis and Fault Detection Isolation and Recovery Synthesis (SAFIR)
Principal Investigator
SAFIR will improve architecture-led safety assessment processes by delivering new tool-supported analysis and code generation capabilities to designers.
Read MoreMulticore Confidence
Principal Investigator
Any timing failure can have disastrous consequences—an expected delay translating sensor data into actuation can cause system instability and loss of control.
Read MoreRapid Certifiable Trust
Principal Investigator
The goal of Rapid Certifiable Trust is to reduce the deployment time of CPS by reducing the overall development and assurance times.
Read MoreTowards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems
Principal Investigator
Our solution focuses on development-compatible, implementation-level, protected, and verifiable execution building blocks that retrofit with existing code, incrementally, at a fine-granularity, with composability across multiple CHIC stack implementation layers.
Read MoreCombined Analysis for Source Code and Binary Code for Software Assurance
Principal Investigator
This line of work, if successful, will enable the DoD to find and fix potential vulnerabilities in binary code that might otherwise be cost prohibitive to investigate or repair, thereby increasing the trustworthiness of fielded software
Read MoreRapid Adjudication of Static Analysis Alerts During Continuous Integration
Principal Investigator
This research project will use machine learning and semantic analysis of data generated during CI/CD to reduce the number of alerts requiring human adjudication by 50%.
Read MoreTrain but Verify: Towards Practical AI Robustness
Principal Investigator
The ML system should neither do the wrong thing when presented with adversarial input nor reveal sensitive information about the training data during its operation.
Read MoreAI Engineering in an Uncertain World
Principal Investigator
State-of-the-art ML models can produce inaccurate inferences in scenarios where humans would reasonably expect high accuracy.
Read MorePredicting Inference Degradation in Production ML Systems
Principal Investigator
In DoD systems, failure to recognize inference degradation can lead to costly reengineering, system decommissioning, and misinformed decisions.
Read More