- CMU/ICES Technical Report #01-27-98 Automatic Robustness Testing of
- &Electrical Computer ENGINEERING
- Charles P. Shelton Robust Self-configuring Embedded Systems
- Software developers identify two main reasons why soft-ware systems are not made robust: performance and prac-
- Proceedings of the 1999 Winter Simulation Conference P. A. Farrington, H. B. Nembhard, D. T. Sturrock, and G. W. Evans, eds.
- Implementation of the TIGRE This chapter discusses the details of implementation of the TIGRE
- Workshop on Developing Dependable and Secure Automotive Cyber-Physical Systems from Components, Mar 17-18, 2011 Challenges In Representing CPS Safety
- DOT/FAA/AR-09/24 Air Traffic Organization
- Architectural Metrics This chapter discusses architectural metrics for the execution of TIGRE.
- A Graceful Degradation Framework for Distributed Embedded Systems
- Conclusions This book has demonstrated the effectiveness of a Threaded Interpretive
- http://www.ices.cmu.edu/ballista Prof. Philip Koopman
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Improving System Dependability with Functional Alternatives We present the concept of alternative functionality for
- EXCEPTIONAL EXCEPTIONAL
- Yield Enhancement Techniques for Content-Addressable Shyue-Kung Lu, Guan-Quan Lin, and *Sy-Yen Kuo
- Nato Workshop: Embedded Security August 2005 1 Challenges In Deeply Networked
- DETERMINING OPTIMAL CYCLIC CODES FOR EMBEDDED NETWORKS
- M.S. Project Report Performance of Cyclic Redundancy Codes for Embedded Networks
- Unified Modeling Language for Embedded Systems?
- Black Hole Attack Injection in Ad hoc Networks Juan-Carlos Ruiz, Jess Friginal, David de-Andrs, Pedro Gil
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms Elizabeth Latronico, Philip Koopman
- Problems Facing Group Membership Specifications for X-by-Wire Protocols A guarantee is only as good as its assumptions. Three
- Measuring Operating System Robustness John DeVale
- Development of the TIGRE This describes the TIGRE method for combinator graph reduction.
- TRANSPORTATION Objectives
- CARNEGIE MELLON UNIVERSITY Automatic Graceful Degradation
- What's the Right Run-Time Infrastructure for RoSES?
- The Exception Handling Effectiveness of POSIX Operating Systems
- CARNEGIE MELLON UNIVERSITY CARNEGIE INSTITUTE OF TECHNOLOGY
- Reliability, Safety, and Security in Everyday Embedded Systems
- From Dependability to Resilience Jean-Claude Laprie
- CARNEGIE MELLON UNIVERSITY HIGH PERFORMANCE ROBUST COMPUTER
- Robustness Testing and Hardening of CORBA ORB Implementations
- The Effectiveness of Checksums for Embedded Networks
- Using Architectural Properties to Model and Measure System-Wide Graceful Degradation
- $FIB supercombinator, 44 + combinator, 39
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- AA A Software Architecture Aware Environment for Dependable Systems Cristina Gacek
- Challenges in Embedded Systems
- Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
- Flexible Multicast Authentication for Time-Triggered Embedded Control Network Applications
- Software Defect Masquerade Faults in Distributed Embedded Systems 1.Introduction
- July 2004 95 E M B E D D E D C O M P U T I N G
- APPLICATION APPLICATION
- On the Structure of Unstructured Overlay Networks Jo~ao Leit~ao
- CAN Message Reception as a Function of Transmission Rate Transmission Rate from CANalyzer bus(msg / sec)
- A Tutorial on Combinator Graph Since part of the audience for this research is the computer architecture
- &Electrical Computer ENGINEERING
- Progress on Defining Standardized Classes for Comparing the Dependability of Computer Systems
- This chapter discusses background information pertinent to the re-search discussed in the remainder of the book. Section 2.1 defines the
- The UCITA Battle: Should it be legal for
- A PRODUCT FAMILY APPROACH TO GRACEFUL DEGRADATION
- Efficient High Hamming Distance CRCs for Embedded Networks Justin Ray, Philip Koopman
- Beth Latronico, Philip Koopman Robust Self-configuring Embedded Systems
- Low Cost Embedded Network Message Authentication
- Representing Embedded System Sequence Diagrams As A Formal Language
- H O M E | D D J.C O M | A B O U T U S | A D V E R T I S E R E S O U R C E S
- Increasing SoC Dependability via Known Good Tile NoC Testing Hans G. Kerkhoff, Oscar J. Kuiken and Xiao Zhang1
- Software Robustness Testing Phil Koopman, Dan Siewiorek, Kobey DeVale
- Reprint: Embedded Systems Conference Silicon Valley, May 2, 2011 Koopman 1 Top 43 Embedded Software Risks
- Low Cost Multicast Authentication via Validity Voting in Time-Triggered Embedded Control Networks
- Approved for Public Release. TACOM Case #20247 Date: 07 OCT 2009 Building Safer UGVs with Run-time Safety
- A Flexible Approach to Embedded Network Multicast Authentication
- 11.1. INTRODUCTION When the Ballista project started in 1996 as a 3-year DARPA-funded research project, the
- Revisiting Fletcher and Adler Checksums Theresa Maxino
- Representing Design Tradeoffs in Safety-Critical Systems Jennifer Morris
- Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks Cyclic Redundancy Codes (CRCs) provide a first line of
- Representing User Workarounds As A Component Of System Dependability Evaluation of system-level dependability can benefit
- Automated Assistance for Eliciting User Expectations , Rebecca Buchheit
- H u m a n -C e n t e r e d C o m p u t i n g 70 1094-7167/03/$17.00 2003 IEEE IEEE INTELLIGENT SYSTEMS
- CRITICAL MESSAGE INTEGRITY OVER A SHARED NETWORK 1 1 INTRODUCTION
- Enabling automatic adaptation in systems with under-specified elements
- 32-Bit Cyclic Redundancy Codes for Internet Applications Standardized 32-bit Cyclic Redundancy Codes provide
- What's Wrong With Fault Injection As A Benchmarking Tool? This paper attempts to solidify the technical issues
- Benchmarking Semantic Availability of Dynamic Data Feeds Orna Raz, Philip Koopman, Mary Shaw
- Jini Meets Embedded Control Networking: a case study in portability failure The Robust Self-Configuring Embedded Systems
- Developing a Software Architecture for Graceful Degradation in an Elevator Control System
- International Journal of Reliability, Quality and Safety Engineering World Scientific Publishing Company
- Lack of data quantifying the performance cost of imple-menting good exception handling often causes developers
- Robustness Testing and Hardening of CORBA ORB Implementations Before using CORBA (Common Object Request Broker
- Dependability Benchmarking: making choices in an n-dimensional problem space Henrique Madeira Philip Koopman
- Analysis of the Train Communication Network Protocol Error Detection Capabilities
- Robustness Testing of the Microsoft Win32 API Although Microsoft Windows is being deployed in
- Dependability Benchmarking & Prediction: A Grand Challenge Technology Problem
- The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing*
- Bayouth & Koopman 1 Functional Evolution of an Automated Highway
- Comparing Operating Systems Using Robustness Benchmarks Philip Koopman, John Sung, Christopher Dingman, Daniel Siewiorek, Ted Marz
- Mission Failure Probability Calculations for Critical Function Mechanizations
- Many embedded systems have substantially different design constraints than desktop computing applications. No single
- Towards Execution Models of Distributed Systems A Case Study Of Elevator Design
- Embedded Network Gateway Survivability
- Invariant-Based Embedded System Safety Monitor
- A Fault Tolerance Analysis of Safety-Critical Embedded Systems
- M.S. Project Report Using Mission Graphs to Identify Mission Dependability Bottlenecks
- M.S. Project Report Jini on the Control Area Network (CAN): A Case Study in Portability Failure
- Evaluation of Admission Policies for Probabilistic Quality of Service (QoS)
- A. Cholkar 1 A Web-based Distributed Network Simulation Framework using
- Robustness Testing of A Distributed Simulation Backplane Masters Thesis
- Standard Ethernet as an Embedded Communication Network Project Report
- Multi-Bit Error Vulnerabilities in the Controller Area Network Protocol
- RoSES: Robust Self-configuring Embedded Systems
- Charles P. Shelton Philip Koopman
- Charles P. Shelton Philip Koopman
- In Elevator Destination
- Obstacles to Implementing Jini on the Control Area Network (CAN)
- &Electrical Computer ENGINEERING
- RoSES: Robust Self-configuring Embedded Systems
- &Electrical Computer ENGINEERING
- [www.dsn.org] Classical features such as raw performance and functionali-
- We describe the construction of a dependability benchmark that captures the impact of the human system operator on
- 1. Introduction Assessing the quality of service of a computer system is
- Empirical Evaluation of Techniques and Methods Used for Achieving and Assessing Software High Dependability
- The Set-Check-Use Methodology for Detecting Error Propagation Failures in I/O Routines
- Defect and Fault Seeding In Dependability Benchmarking Barry Boehm, Daniel Port
- An Architecture for Combinator Graph Reduction
- Introduction This chapter contains both an overview of the problem area to be
- TIGRE Performance Obtaining accurate and fair performance measurement data is difficult
- The Potential of Special-Purpose The preceding chapters have described various implementation
- Selected TIGRE Program Listings This appendix contains abbreviated program listings for TIGRE as
- Embedded System Education at Carnegie Mellon
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS) June 26th, 2008
- Architecting Fault Tolerance using Abstractions Patrick H. S. Brito1
- Closing the Dependability Gap: Converging Software Engineering with Middleware
- Towards Decentralized Management of Graceful Degradation in Distributed Embedded Systems
- Balancing of Dependability and Security in Online Auctions Lorenz Froihofer and Karl M. Goeschka
- On improving the Reliability of Cluster based Voice over IP Servers Narjess Ayari, Denis Barbaron
- Self Tuning With Self Confidence Miguel Matos
- Component-Dependency based Micro-Rejuvenation Scheduling Vinaitheerthan Sundaram, Matthew Tan Creti, Rajesh K. Panta, Saurabh Bagchi
- Automated Robustness Testing of Off-the-Shelf Software Components Nathan P. Kropp, Philip J. Koopman, Daniel P. Siewiorek
- Dependability Assessment of Operating Systems in Multi-core Architectures Gabriela Jacques-Silva
- Workload Representation in the Modeling of Border Inspection Points Mayra A. Sacanamboy, Bojan Cukic
- Invited Talk: Mitigating the Effects of Internet Timing Faults
- Robustness Measurement in OS Forecast and Selection Xiaoen Ju and Hengming Zou
- Prof. Philip Koopman Carnegie Mellon University
- Software Robustness Testing A Ballista Retrospective
- Appel, A., Ellis, J. & Li, K. (1988) Fast garbage collection on stock multiprocessors. In Proceedings of the Conference on Programming
- SOFTWARE DEFECT MASQUERADING Jen Morris, Phil Koopman Motivation
- Fast Abstracts Fast Abstracts at DSN are short presentations, either on new ideas or work in progress, or
- Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees
- The Effectiveness of Checksums for Embedded Control Networks
- Charles P. Shelton Philip Koopman
- Random-walk gossip-based manycast with partition detection Mikael Asplund, Simin Nadjm-Tehrani
- This paper presents the rationale and usefulness of developing a system recovery benchmark. The speed with
- Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems Michael Paulitsch
- Position Paper: Deeply Embedded Survivability Philip Koopman, Jennifer Black, Theresa Maxino
- A Framework for Assessing the Dependability of Supercomputers via Automatic Log Analysis
- Embedded systems of today pose difficult dependability challenges. Hardware and software requirements as well as human interface
- A Framework for Dependability Benchmarking Karama Kanoun
- CARNEGIE MELLON UNIVERSITY SCALABLE GRACEFUL DEGRADATION FOR
- Data Management Mechanisms for Embedded System Gateways Carnegie Mellon University
- Risk Areas In Embedded Software Industry Projects Philip Koopman
- ISSRE `99 1 Fernsler & Koopman Creating robust software requires not only careful
- Orthogonal Capability Building Blocks for Flexible AHS Deployment
- CARNEGIE MELLON UNIVERSITY CARNEGIE INSTITUTE OF TECHNOLOGY
- What's Wrong With Fault Injection As A Benchmarking Tool? This paper attempts to solidify the technical issues
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- A Preliminary Exploration of Optimized Stack Code
- A PERIOD-BASED GROUP MEMBERSHIP STRATEGY FOR NODES OF TDMA NETWORKS
- Using Automated Reverse Engineering for the Safe Execution of Untrusted Device Drivers
- Second Workshop on Dependable and Secure Nanocomputing Friday June 27, 2008, Anchorage, AK, USA www.laas.fr/WDSN08
- AUTOTESTCON 99, 30 August to 2 September 1999, San Antonio, Texas. A DIMENSIONALITY MODELAPPROACH
- Enjoy Your Models All images are copyrighted. Permission is granted ONLY for
- Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
- Using Architectural Properties to Model and Measure Graceful Degradation
- Workshop on Dependability Benchmarking Classical features such as raw performance and func-
- System Safety as an Emergent Property in Composite Systems Jennifer Black
- Extended Version, June 30, 2011. Original shorter version appeared at a panel session for DSN 2011. The Grand Challenge of
