Digital Library

Topics: Cyber-Physical Systems

Authors: Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno

Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.

Authors: Jeffrey Hansen

Research that validates approach of applying adaptive sampling and input attribution toward model checkint and attribution of failure conditions

Authors: Jeffrey Hansen

Input Attribution

Authors: Jeffrey Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno, David Kyle

In this conference paper, the authors describe an approach to Statistical Model Checking (SMC). This paper is part of the Lecture Notes in Computer Science book series.

Topics: Ultra-Large-Scale Systems

Authors: Jeffrey Hansen, Scott Hissam, B. Craig Meyers, Gabriel Moreno, Daniel Plakosh, Joe Seibel, Lutz Wrage

When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.

Authors: William Anderson, David Fisher, David P. Gluch, Jeffrey Hansen, Jörgen Hansson (University of Skovde), John J. Hudak, Karthik Lakshmanan, Richard C. Linger (Oak Ridge National Laboratory), Howard F. Lipson, Gabriel Moreno, Edwin J. Morris, Archie D. Andrews, Onur Mutlu, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Mark Pleszkoch, Ragunathan Rajkumar, Joe Seibel, Soumya Simanta, Charles B. Weinstock, Lutz Wrage, Nanette Brown, Cory Cohen, Christopher Craig, Tim Daly, Dionisio de Niz, Andres Diaz-Pace, Peter H. Feiler

This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.

Topics: Software Architecture

Authors: Jeffrey Hansen, Scott Hissam, B. Craig Meyers, Edwin J. Morris, Daniel Plakosh, Soumya Simanta, Lutz Wrage

The network infrastructure for users such as emergency responders or warfighters is wireless, ad hoc, mobile, and lacking in sufficient bandwidth. This report documents the results from 18 experiments to investigate Adaptive Quality of Service, an approach to enable applications to fulfill their missions despite tactical network infrastructure limitations.

Topics: Acquisition Support, Measurement and Analysis, Performance and Dependability, Process Improvement, Software Architecture, Software Product Lines, System of Systems

Authors: Len Bass, Lutz Wrage, Paul C. Clements, Dionisio de Niz, Peter H. Feiler, Matthew Geiger, Jeffrey Hansen, Jörgen Hansson (University of Skovde), Scott Hissam, James Ivers, Mark H. Klein, Karthik Lakshmanan, Gabriel Moreno, Daniel Plakosh, Ragunathan Rajkumar, Kristopher Rush, Cal Waits, Kurt C. Wallnau

In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.

Authors: Gabriel Moreno, Jeffrey Hansen

This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research.