CMU SEI 2017 Research Review
• Collection
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 Items
CMU SEI 2017 Research Review Summaries
• Annual Review
By Software Engineering Institute
Short descriptions for FY2017 DoD-funded research projects.
ReadAutomated Assurance of Security Policy Enforcement (2017)
• Presentation
By Peter H. Feiler, Sam Procter
Presentation on research to detect vulnerabilities early in the lifecycle in architecture models.
Learn MoreFAA-Sponsored Research on Complexity and Safety
• Video
By Software Engineering Institute
Watch SEI Researcher, Sarah Sheard, discuss "FAA-Sponsored Research on Complexity and Safety".
WatchGuided Architecture Trade Space Exploration for Safety-Critical Software Systems
• Presentation
By Sam Procter
Presentation on research to create new tool prototype that automatically explores a system's trade space
Learn MoreInference of Memory Bounds
• Presentation
By William Klieber
Presentation on research to develop an algorithm to automatically infer the bounds of memory regions
Learn MoreA Game-Theoretic Approach to Optimizing Behaviors in Acquisition
• Presentation
By William E. Novak
This presentation discusses research on using game theory in acquisition.
Learn MoreAuthentication and Authorization for Internet of Things (IoT) Devices in Edge Environments
• Presentation
By Grace Lewis
Presentation on research to assure use of IoT devices in edge computing environments
Learn MoreAutomated Code Generation for High-Performance Graph Libraries
• Presentation
By Scott McMillan
This FY2017 project builds on prior Line-funded research in the Patterns and Practices for Future Architectures.
Learn MoreWhat will the Robot do Next?
• Presentation
By Jonathan Chu
This presentation explores algorithms that help robots explain their behavior and adapt so users can better predict what they will do next.
Learn MoreWhy Does Software Cost So Much? Towards a Causal Model
• 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
Learn MoreMicro-Expressions: More than Meets the Eye
• Presentation
By Satya Venneti, Oren Wright
Presents research on building a micro-expression analysis prototype that outperforms humans in spotting and recognizing facial micro-expressions.
Learn MoreTechnical Detection of Intended Violence against Self or Others
• 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
Learn MoreTechnical Debt Analysis through Software Analytics
• Presentation
By Ipek Ozkaya
Presentation on research to develop tools that pinpoint problematic design decisions and quantify their consequences for uncovering technical debt
Learn MoreCertifiable Distributed Runtime Assurance
• Presentation
By Dionisio de Niz
Presentation on research on the use of enforcers for runtime assurance in distributed systems
Learn MoreRapid Expansion of Classification Models to Prioritize Static Analysis Alerts for C
• 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
Learn MoreCyber Affordance Visualization in Augmented Reality
• Presentation
By Josh Hammerstein, Jeff Mattson
Presentation on research to integrate cyber effects into tactical decision-making for soldiers
Learn MoreObsidian - A Safer Blockchain Programming Language
• 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
Learn MoreDynamic Design Analysis
• Presentation
By Rick Kazman
Presentation on research to identify dynamic dependencies that result from the way modern systems are composed
Learn MoreMeasuring Performance of Big Learning Workloads
• 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
Learn MoreEvents, Relationships, and Script Learning for Situational Awareness
• Presentation
By Edwin J. Morris
Presentation on research to use machine learning to extract patterns from high volumes of textual data
Learn MoreFoundations for Summarizing and Learning Latent Structure in Video
• Presentation
By Kevin A. Pitstick
Presentation on using machine learning to develop automated and semantically meaningful video summarization
Learn MorePart of a Collection
SEI Research Review Collection