CMU SEI Research Review 2020 Day 3 Artifacts
These posters and presentations are from day three of the 2020 SEI Research Review.
Abstract
This collection includes materials from day three of the 2020 SEI Research Review event. These materials include presentations and posters about model-based engineering, rapid software evolution, rapid certifiable trust, software-defined IoT security, artificial intelligence techniques for software cost prediction, and the combination of DevOps and model-based engineering to build and deploy systems and their digital twins.
Collection Contents
-
Poster - Causal Models for Software Cost Prediction and Control
November 4, 2020 • Poster
By Michael D. Konrad, William Nichols, Robert W. Stoddard, David Zubrow
This poster describes CMU SEI's collaboration with other researchers to apply causal learning to learn how to control costs in software development and sustainment.
read -
Poster - KalKi: High-Assurance Software-Defined IoT Security
November 4, 2020 • Poster
By Sebastián Echeverría
The KalKi IoT Security Platform enables the integration of IoT devices into DoD systems, even if the IoT devices are not fully trusted or configurable.
read -
Poster - Rapid Certifiable Trust
November 4, 2020 • Poster
By Dionisio de Niz
Rapid Certifiable Trust preserves cyber-physical system safety by verifying and protecting part of a system and enforcing constraints on unverified components.
read -
Untangling the Knot: Enabling Rapid Software Evolution
November 4, 2020 • Presentation
By James Ivers
This project uses AI techniques to recommend refactorings that can improve the structure of software in significantly less time than it takes to manually refactor.
read -
Poster - Untangling the Knot
November 4, 2020 • Poster
By Robert Nord, Ipek Ozkaya, James Ivers
This project uses AI techniques to recommend refactorings that can improve the structure of software in significantly less time than it takes to manually refactor.
read -
Poster - Using All Processor Cores While Being Confident about Timing
November 4, 2020 • Poster
By Bjorn Andersson
Researchers address the problem of verifying timing of software executing on a multicore processor, assuming that the resources in the memory system are unknown.
read -
TwinOps: Digital Twins Meet DevOps
November 4, 2020 • Presentation
By Jerome Hugues
This research improves the state of the art and the state of practice to design and analyze cyber-physical systems using DevOps and model-based engineering.
read -
Poster - TwinOps: Digital Twins Meet DevOps
November 4, 2020 • Poster
By Jerome Hugues
This research improves the state of the art and the state of practice to design and analyze cyber-physical systems using DevOps and model-based engineering.
read -
Model-Based Engineering with AADL: Transitioning Research to Practice
November 4, 2020 • Presentation
By Sam Procter
To understand interactions between safety and security mechanisms, CMU SEI researchers are developing an integrated safety and security engineering approach supported by an AADL workbench.
read -
Poster - Integrated Safety and Security Engineering for Mission-Critical Systems (2020)
November 4, 2020 • Poster
By Sam Procter
This project makes systems safer and more secure by enabling early discovery of system-level issues through virtual integration and incremental analytical assurance.
read