CMU SEI Research Review 2020 Day 3 Artifacts
• Collection
Publisher
Software Engineering Institute
Topic or Tag
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 Items
Poster - Causal Models for Software Cost Prediction and Control
• Poster
By Michael D. Konrad, Bill 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.
DownloadPoster - KalKi: High-Assurance Software-Defined IoT Security
• 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.
DownloadPoster - Rapid Certifiable Trust
• 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.
DownloadUntangling the Knot: Enabling Rapid Software Evolution
• 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.
Learn MorePoster - Untangling the Knot
• Poster
By Robert Nord, Ipek Ozkaya, James Ivers, Jared Frank
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.
DownloadPoster - Using All Processor Cores While Being Confident about Timing
• 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.
DownloadTwinOps: Digital Twins Meet DevOps
• 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.
Learn MorePoster - TwinOps: Digital Twins Meet DevOps
• 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.
DownloadModel-Based Engineering with AADL: Transitioning Research to Practice
• 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.
Learn MorePoster - Integrated Safety and Security Engineering for Mission-Critical Systems (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.
DownloadPart of a Collection
CMU SEI Research Review 2020 Artifacts