Position Paper: Deeply Embedded Survivability (2008)
Philip Koopman, Jennifer Black, Theresa Maxino
This position paper identifies three significant research challenges in support of deeply embedded system survivability: achieving dependability at the enterprise/embedded interface gateway, finding...
Workshop on Dependability Benchmarking (2008)
Classical features such as raw performance and functionality have long driven the computer industry to improve their products. But now, dependability and maintainability are seen as equally...
Introduction Challenges In Deeply Networked (2008)
System Survivability, Philip Koopman, Jennifer Morris, Priya Narasimhan
Workshop on Dependability Benchmarking (2008)
Classical features such as raw performance and functionality have long driven the computer industry to improve their products. But now, dependability and maintainability are seen as equally...
Benchmarking Semantic Availability of Dynamic Data Feeds (2007)
Orna Raz, Philip Koopman, Mary Shaw
Many of the software systems we use for everyday purposes incorporate elements developed and maintained by third parties. These elements include not only code components and data bases but also...
Carol L. Hoover, Jeffery Hansen, Philip Koopman
Abstract: System resource management for high-assurance applications such as the command and control of a battle group is a complex problem. These applications often require guaranteed computing...
Workshop on Dependability Benchmarking (2007)
Philip Koopman, Philip Koopman
Classical features such as raw performance and functionality have long driven the computer industry to improve their products. But now, dependability and maintainability are seen as equally...
Obstacles to Using CAD Tools for Embedded System Design: an automotive case study (2007)
Historically, Computer Aided Design (CAD) research for digital electronics design has emphasized support for the largest and most technically difficult projects. However, the success of many embedded...
Human-Centered Computing Work-arounds, Make-work, and Kludges (2007)
Philip Koopman, Robert R. Hoffman, Machine Cognition, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Paradigms are often defined partly in terms of what they are not, or in terms of what they are reacting against. The paradigm of human-centered computing is no exception. In response to an essay in...
Abstract A PRODUCT FAMILY APPROACH TO GRACEFUL DEGRADATION † (2007)
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General approaches to graceful...
Philip Koopman, Philip J. Koopman, Philip J. Koopman, Daniel P. Siewiorek, Daniel P. Siewiorek
this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers...
ABSTRACT 1 Orthogonal Capability Building Blocks for Flexible AHS Deployment (2007)
Philip Koopman, Michelle Bayouth
Once a baseline level of full automation is possible for an Automated Highway System, there are numerous choices to be made in deploying enhanced capabilities to improve safety, throughput, and...
Undergraduate Embedded System (2005)
Education At Carnegie, Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce Krogh, Diana Marculescu, ...
this paper. There are two important cultural factors inherent to work at Carnegie Mellon that influence our approach. First, we have a strong tradition of system building, both in research and...
Undergraduate Embedded Systems Education at Carnegie Mellon (2005)
Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce Krogh, Diana Marculescu, Priya Narasimhan, ...
Embedded systems encompass a wide range of applications, technologies, and disciplines, necessitating a broad approach to education. We describe embedded system coursework during the first 4 years of...
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems (2005)
Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman
A Cyclic Redundancy Code (CRC), when used properly, can be an effective and relatively inexpensive method to detect data corruption across communication channels. However, some systems use CRCs in...
Undergraduate Embedded Systems Education at Carnegie Mellon (2005)
Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce Krogh, Diana Marculescu, Priya Narasimhan, ...
Embedded systems encompass a wide range of applications, technologies, and disciplines, necessitating a broad approach to education. We describe embedded system coursework during the first 4 years of...
Automated assistance for eliciting user expectations (2004)
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday software inhibit many...
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks (2004)
Philip Koopman, Tridib Chakravarty
Cyclic Redundancy Codes (CRCs) provide a first line of defense against data corruption in many networks.
Automated assistance for eliciting user expectations (2004)
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday software inhibit many...
Detecting semantic anomalies in truck weigh-in-motion traffic data using data mining (2004)
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
Monitoring data from event-based monitoring systems are becoming more and more prevalent in civil engineering. An example is truck weigh-in-motion (WIM) data. These data are used in the...
Eliciting user expectations for data behavior via invariant templates (2003)
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
People expect software that they use for everyday purposes to be dependable enough for their needs. Usually, they can tolerate some failures, provided they can notice and recover from problems. Many...
Eliciting user expectations for data behavior via invariant templates (2003)
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
People expect software that they use for everyday purposes to be dependable enough for their needs. Usually, they can tolerate some failures, provided they can notice and recover from problems. Many...
Using Architectural Properties to Model and Measure System-wide Graceful Degradation (2002)
Charles Shelton, Philip Koopman
Abstract. System-wide graceful degradation may be a viable approach to improving dependability in computer systems. In order to evaluate and improve system-wide graceful degradation we present a...
Robustness testing and hardening of CORBA ORB implementations (2001)
Jiantao Pan, Philip Koopman, Daniel Siewiorek
Before using CORBA (Common Object Request Broker Architecture) applications in mission-critical scenarios, it is important to understand the robustness of the Object Request Broker (ORB) being used,...
Dependability Benchmarking: making choices in an n-dimensional problem space (2001)
Henrique Madeira, Philip Koopman
Dependability benchmarks should provide costeffective ways to evaluate the behavior of components and computer systems in the presence of faults, allowing the quantification of dependability...
Dependability Benchmarking: making choices in an n-dimensional problem space (2001)
Henrique Madeira, Philip Koopman
Dependability benchmarks should provide costeffective ways to evaluate the behavior of components and computer systems in the presence of faults, allowing the quantification of dependability...
Representing Embedded System Sequence Diagrams as a Formal Language (2001)
Elizabeth Latronico, Philip Koopman
Abstract. Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require special...
Representing Embedded System Sequence Diagrams As (2001)
Formal Language Elizabeth, Elizabeth Latronico, Philip Koopman
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts.
Robustness Testing of the Microsoft Win32 API (2000)
Charles P. Shelton, Philip Koopman, Kobey DeVale
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executing over two million...
The Exception Handling Effectiveness (2000)
Of Posix Operating, Philip Koopman, Senior Member, John Devale, Student Member
this article, please send e-mail to: tse@computer.org, and reference IEEECS Log Number 111488
Carol L. Hoover, Jeffery Hansen, Philip Koopman, Eep Tamboli
System resource management for high-assurance applications such as the command and control of a battle group is a complex problem. These applications often require guaranteed computing services that...
Carol Hoover Jeffery, Jeffery Hansen, Philip Koopman, Eep Tamboli
System resource management for high-assurance applications such as the command and control of a battle group is a complex problem. These applications often require guaranteed computing services that...
Carol Hoover Jeffery, Jeffery Hansen, Philip Koopman, Eep Tamboli
System resource management for high-assurance applications such as the command and control of a battle group is a complex problem. These applications often require guaranteed computing services that...
Carol L. Hoover, Jeffery Hansen, Philip Koopman, Eep Tamboli
Research Problem and Application Communication among battle ships with missile tracking and retaliation: ● Mission-critical functions as well as “housekeeping ” operations ● Multimedia data...
Toward a Scalable Method for Quantifying Aspects of Fault Tolerance (1998)
koopmancmu. edu Quantitative assessment tools are urgently needed in the areas of fault tolerance, software assurance, and computer security. Assessment methods typically employed in various...
Functional Evolution of an Automated Highway System for Incremental Deployment (1998)
Michelle Bayouth, Philip Koopman
A combination of market forces, cost constraints, and other factors necessitate incremental evolution of a fully automated highway system (AHS) rather than instantaneous deployment. Thus, an...
Automated Robustness Testing of Off-the-Shelf Software Components (1998)
Nathan Kropp Philip, Philip Koopman, Philip J. Koopman, Philip J. Koopman, Daniel P. Siewiorek, Daniel P. Siewiorek
Mission-critical system designers may have to use a Commercial Off-The-Shelf (COTS) approach to reduce costs and shorten development time, even though COTS software components may not specifically be...
Comparing Operating Systems Using Robustness Benchmarks (1997)
Philip Koopman, John Sung, Christopher Dingman, Daniel Siewiorek, Ted Marz
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. This paper proposes...
1 Ballista Design and Methodology (1997)
Philip Koopman, Philip Koopman
This report serves as initial documentation of the design and methodology to be employed by Ballista, an automatic robustness testing and hardening tool for Commercial Off-The-Shelf software...
Comparing Operating Systems Using Robustness Benchmarks (1997)
Philip Koopman, John Sung, Christopher Dingman, Daniel Siewiorek, Ted Marz
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. This paper proposes...
A Preliminary Exploration of Optimized Stack Code Generation (1994)
This paper presents an experimental code generator that performs intra-block stack scheduling for a stack-based execution model. For small test programs, 91 % to 100 % of redundant local variable...
A Preliminary Exploration of Optimized Stack Code Generation (1994)
This paper presents an experimental code generator that performs intra-block stack scheduling for a stack-based execution model. For small test programs, 91 % to 100 % of redundant local variable...