CMU SEI 2017 Research Review
This is a collection of digital artifacts from our review of FY2017 DoD-funded research projects.
Publisher:
Software Engineering Institute
Abstract
This collection of presentations and posters and other material from our 2017 Research Review exemplifies the way we value our applied research and development (AR&D) in software and cybersecurity according to its impact on capability of the U.S. Department of Defense (DoD) to continually and rapidly develop and deploy innovative, software-enabled components and systems that are affordable, resilient, and easy to modify. We focus our AR&D on data-driven, formally verified, and automated development support across the system lifecycle. We produce algorithms, tools, techniques, and practices that address critical technology gaps. Further, we deliver capabilities through an execution model that combines our AR&D with customer engagement and our deep expertise in forming, applying, and transitioning solutions that improve the state of the practice in software engineering and cybersecurity.
Collection Contents
-
CMU SEI 2017 Research Review Summaries
October 30, 2017 • Annual Report
Short descriptions for FY2017 DoD-funded research projects
read -
Automated Assurance of Security Policy Enforcement (2017)
October 27, 2017 • Poster
By Peter H. Feiler, Sam Procter
Poster for a research project on safety-critical system security policy enforcement
read -
Automated Assurance of Security Policy Enforcement (2017)
October 30, 2017 • Presentation
By Peter H. Feiler, Sam Procter
Presentation on research to detect vulnerabilities early in the lifecycle in architecture models
read -
FAA-Sponsored Research on Complexity and Safety
February 6, 2018 • Video
Watch SEI Researcher, Sarah Sheard, discuss "FAA-Sponsored Research on Complexity and Safety".
watch -
Guided Architecture Trade Space Exploration for Safety-Critical Software Systems
October 30, 2017 • Poster
By Sam Procter
Poster on research into tools to evaluate trade space for embedded systems
read -
Guided Architecture Trade Space Exploration for Safety-Critical Software Systems
October 30, 2017 • Presentation
By Sam Procter
Presentation on research to create new tool prototype that automatically explores a system's trade space
read -
Inference of Memory Bounds
October 30, 2017 • Presentation
By William Klieber
Presentation on research to develop an algorithm to automatically infer the bounds of memory regions
read -
Inference of Memory Bounds
October 30, 2017 • Poster
By William Klieber
Poster on research to develop an algorithm to automatically infer the bounds of memory regions
read -
A Game-Theoretic Approach to Optimizing Behaviors in Acquisition
October 30, 2017 • Presentation
By William E. Novak
This presentation discusses research on using game theory in acquisition.
read -
Getting Contractors to Cooperate
October 27, 2017 • Poster
By William E. Novak
A poster describing work on a project entitled A Game-Theoretic Approach to Optimizing Acquisition Behaviors
read -
Authentication and Authorization for Internet of Things (IoT) Devices in Edge Environments
October 30, 2017 • Presentation
By Grace Lewis
Presentation on research to assure use of IoT devices in edge computing environments
read -
Two Perspectives on IoT Security
October 27, 2017 • Poster
By Grace Lewis
Poster on a project called Authentication and Authorization for IoT Devices in Edge Environments
read -
Automated Code Generation for High-Performance, Future-Compatible Graph Libraries
October 30, 2017 • Poster
By Scott McMillan
Poster on research into graph analytics
read -
Automated Code Generation for High-Performance Graph Libraries
October 30, 2017 • Presentation
By Scott McMillan
Presentation on research into graph analytics
read -
What will the Robot do Next?
October 30, 2017 • Poster
By Jonathan Chu
Poster on research to develop algorithms for robots to explain their behaviors and adapt their behavior to enable users to accurately predict their actions
read -
What will the Robot do Next?
October 30, 2017 • Presentation
By Jonathan Chu
Presentation on research to build algorithms that allow robots to explain their behaviors to users and adapt their behavior during execution to enable users to accurately predict what they will do next
read -
Why Does Software Cost So Much? Towards a Causal Model
October 30, 2017 • Poster
By Robert W. Stoddard, Michael D. Konrad
Poster on research to build an actionable, full causal model of software cost factors
read -
Why Does Software Cost So Much? Towards a Causal Model
October 30, 2017 • Presentation
By Robert W. Stoddard, Michael D. Konrad
Presentation on research to build an actionable, full causal model of software cost factors that is immediately useful to DoD programs and contract negotiators
read -
Micro-Expressions: More than Meets the Eye
October 30, 2017 • Presentation
By Satya Venneti, Oren Wright
Presentation on research to build an accurate, automatic micro-expression analysis prototype that outperforms humans in spotting and recognizing facial micro-expressions in near real time
read -
Micro-Expressions: More than Meets the Eye
October 30, 2017 • Poster
By Satya Venneti, Oren Wright
Poster on research to build an accurate, automatic micro-expression analysis prototype that outperforms humans in spotting and recognizing facial micro-expressions in near real time
read -
Technical Detection of Intended Violence Against Self or Others
October 30, 2017 • Poster
By Tracy Cassidy
Poster on research into determining the extent to which it is possible to technically detect indicators of employees who may be on a path to harm themselves and/or others within the workplace via insider threat detection tools
read -
Technical Detection of Intended Violence against Self or Others
October 30, 2017 • Presentation
By Tracy Cassidy
Presentation on research to use insider threat tools to detect indicators of employees who are may be on a path to harm themselves and/or others within the workplace
read -
Technical Debt Analysis through Software Analytics
October 30, 2017 • Presentation
By Ipek Ozkaya
Presentation on research to develop tools that pinpoint problematic design decisions and quantify their consequences for uncovering technical debt
read -
Technical Debt Analysis through Software Analytics
October 30, 2017 • Poster
By Ipek Ozkaya
Poster on research to develop tools that integrate data from multiple, commonly available sources to pinpoint problematic design decisions and quantify their consequences in a repeatable and reliable way
read -
Certifiable Distributed Runtime Assurance
October 30, 2017 • Poster
By Dionisio de Niz
Poster on research into the use of enforcers for runtime assurance of distributed systems
read -
Certifiable Distributed Runtime Assurance
October 30, 2017 • Presentation
By Dionisio de Niz
Presentation on research on the use of enforcers for runtime assurance in distributed systems
read -
Rapid Expansion of Classification Models to Prioritize Static Analysis Alerts for C
October 30, 2017 • Presentation
By Lori Flynn
Presentation on research a method to automatically classify and prioritize alerts that minimizes manual effort to address the large volume of alerts
read -
Rapid Expansion of Classification Models to Prioritize Static Analysis Alerts for C
October 30, 2017 • Poster
By Lori Flynn
Poster on research to create a method to automatically classify and prioritize alterts
read -
Cyber Affordance Visualization in Augmented Reality
October 30, 2017 • Poster
By Josh Hammerstein, Jeff Mattson
Poster on research to integrate cyber effects into tactical decision-making for soldiers
read -
Cyber Affordance Visualization in Augmented Reality
October 30, 2017 • Presentation
By Josh Hammerstein, Jeff Mattson
Presentation on research to integrate cyber effects into tactical decision-making for soldiers
read -
Obsidian - A Safer Blockchain Programming Language
October 30, 2017 • Presentation
By Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)
Presentation on research by CMU and SEI to develop a novel programming language for secure blockchain software development
read -
Obsidian - A Safer Blockchain Programming Language
October 30, 2017 • Poster
By Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)
Poster on research by CMU and SEI to create a novel programming language for safer blockchain software development
read -
Dynamic Design Analysis
October 30, 2017 • Poster
By Rick Kazman
Poster on research into dynamic dependencies that arise from the way modern systems are composed
read -
Dynamic Design Analysis
October 30, 2017 • Presentation
By Rick Kazman
Presentation on research to identify dynamic dependencies that result from the way modern systems are composed
read -
Measuring Performance of Big Learning Workloads
October 30, 2017 • Presentation
By Scott McMillan
Presentation on research to build a performance measurement workbench with tools to measure and report performance of large-scale ML platforms
read -
Measuring Performance of Big Learning Workloads
October 30, 2017 • Poster
By Scott McMillan
Poster on research to build a performance measurement workbench with tools to measure and report performance of large-scale ML platforms
read -
Events, Relationships, and Script Learning for Situational Awareness
October 30, 2017 • Poster
By Edwin J. Morris
Poster for research into using machine learning to extract patterns from high volumes of textual data
read -
Events, Relationships, and Script Learning for Situational Awareness
October 30, 2017 • Presentation
By Edwin J. Morris
Presentation on research to use machine learning to extract patterns from high volumes of textual data
read -
Foundations for Summarizing and Learning Latent Structure in Video
October 30, 2017 • Poster
By Kevin A. Pitstick
Poster on use of machine learning to develop automated and semantically meaningful video summarization
read -
Foundations for Summarizing and Learning Latent Structure in Video
October 30, 2017 • Presentation
By Kevin A. Pitstick
Presentation on using machine learning to develop automated and semantically meaningful video summarization
read