RoSES: Robust Self-configuring Embedded Systems

The Robust Self-configuring Embedded Systems (RoSES) project seeks a general approach to building flexible, robust, maintainable and logistically supportable distributed embedded systems. A key idea is taking a product family architecture point of view toward implementing graceful degradation (for an explanation, see the RoSES summary brochure). Expected long-term benefits that might result from this research include improving operational availability of embedded systems, reducing the complexity of field upgrades, providing an ability to perform repairs using inexact or next-generation spare parts, providing an ability to insert mid-life electronic technology upgrades, and reducing the need for legacy spare component warehousing. A testbed is currently being developed for automotive applications.

General RoSES information:

• RoSES project brochure
• RoSES slide presentation
  • Project status slides November 2001

Status posters:

• Group Membership Assumptions (August 2003)
• Scalable Graceful Degradation in Embedded Systems (August 2003)
• Software Defect Masquerading (August 2003)

• X-By-Wire Network Dependability (January 2003)
• Scalable Graceful Degradation in Distributed Embedded Systems (January 2003)

• Building a graceful degradation algorithm: a framework for distributed embedded systems (November 2001)
• Towards a software architecture for graceful degradation (November 2001)
• People helping systems: workarounds and system dependability (November 2001)
• Unified Modeling Language (UML) for embedded systems? (November 2001)
• Determining optimal cyclic codes for embedded networks(November 2001)

• Jini on CAN (February 2001)
• Flexible Remote Data Collection for CAN Networks (February 2001)

• Roses overview (July 2000)
• Remote data collection for CAN-based distributed systems (July 2000)
• What's the right run-time infrastructure for RoSES? (July 2000)
• System architectures for graceful degradation (July 2000)
• A Nascent RoSES customization manager (and associated slide show) (July 2000)

Publications:

• Shelton, C. & Koopman, P., "Improving System Dependability with Alternative Functionality," DSN04, June 2004.
• Latronico, E., Miner, P. & Koopman, P., "Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees," DSN04, June 2004.
• Morris, J., Kroening, D. & Koopman, P., "Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems," DSN04, June 2004.
• Koopman, P. & Chakravarty, T., "Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks," DSN04, June 2004.
• Martin, C. & Koopman, P., "Representing User Workarounds As A Component Of System Dependability," PRDC04, 2004.
• Latronico, E. & Koopman, P., "A Period-Based Group Membership Strategy for Nodes of TDMA Networks," FeT03, July 2003.
• Morris, J. & Koopman, P., "Critical Message Integrity Over A Shared Network," FeT03, July 2003.
• Latronico, E., "Problems Facing Group Membership Specifications for X-by-Wire Protocols," DSN 2003 student paper, June 2003.
• Morris, J. & Koopman, P., "Software Defect Masquerade Faults in Distributed Embedded Systems," DSN 2003 FastAbs, June 2003.
• Koopman, P., "Elements of the self-healing system problem space" Workshop on Architecting Dependable Systems/WADS03, May 2003.
• Shelton, C., Koopman, P. & Nace, W., "A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems," WORDS 2003, January 2003.
• Koopman, P. (ed.), Special Issue on Critical Embedded Automotive Networks, IEEE Micro, July-August 2002. (Issue is available from: IEEE Micro Archives; IEEE Xplore Archives
• Koopman, P., "Critical Embedded Automotive Networks," IEEE Micro, July-August 2002.
• Shelton, C., & Koopman, P., "Using Architectural Properties to Model and Measure System-Wide Graceful Degradation," Workshop on Architecting Dependable Systems (affiliated with ICSE 2002), May 25 2002 .
• Nace, W. & Koopman, P., "A Graceful Degradation Framework for Distributed Embedded Systems," Workshop on Reliability in Embedded Systems (in conjunction with Symposium on Reliable Distributed Systems/SRDS-2001), October 2001, New Orleans, LA. (Slides)
• Shelton, C. & Koopman, P., "Developing a Software Architecture for Graceful Degradation in an Elevator Control System," Workshop on Reliability in Embedded Systems (in conjunction with Symposium on Reliable Distributed Systems/SRDS-2001), October 2001, New Orleans, LA. (Slides)
• Latronico, B., Martin, C. & Koopman, P., "Analyzing Dependability of Embedded Systems from the User Perspective," Workshop on Reliability in Embedded Systems (in conjunction with Symposium on Reliable Distributed Systems/SRDS-2001), October 2001. (Slides)
• Latronico, E. & Koopman, P., "Representing Embedded System Sequence Diagrams As A Formal Language," UML 2001, Toronto Ontario, 3-5 Oct. 2001, pp. 302-316. (Slides)
• (Talk): Nace, W. & Koopman, P., "The Internet Meets Embedded Systems (slides)," IBM Conference on Third Wave of Connectivity, IBM Academy of Technology, April 18, 2001, Yorktown, NY.
• Beveridge, M. & Koopman, P., "Jini Meets Embedded Control Networking: a case study in portability failure," Seventh IEEE Workshop on Object-Oriented Real-Time Dependable Systems: WORDS 2002, San Diego, January 2002.
• Nace, W. & Koopman, P., "A product family based approach to graceful degradation," DIPES 2000, 8-19 October 2000, Paderborn, Germany. (Slides)
• (Pre-RoSES): Cholkar, A. & Koopman, P., "A Web-based Distributed Network Simulation Framework using CORBA IDL-based APIs," Winter Simulation Conference 2000, December 5-8 1999, Phoenix, AZ.

Articles:

• Nace, W. & Koopman, P., "Graceful Degradation in Distributed Embedded Systems," Dr. Dobb's Embedded Systems, inaugural feature for embedded system webzine, http://www.ddjembedded.com/resources/articles/2001/0106em001/0106em001a.htm, 2001.

Videos:

• Shelton, C., Gracefully Degrading Mobot Demo, August 2003. (Divx 4 format)
• Shelton, C., Scalable Graceful Degradation For Embedded Systems, August 2003. (Divx 4 format)
• Nace, B., Automatic Graceful Degradation for Distributed Embedded Systems, May 2002. (MPEG 4)
• Beveridge, M., Jini on CAN, first demo on the RoSES testbed, April 2000.

Theses:

• Morris, J., A Fault Tolerance Analysis of Safety-Critical Embedded Systems, May 2004.
• Shelton, C., Scalable Graceful Degradation for Distributed Embedded Systems, August 2003.
• Nace, B., Automatic Graceful Degradation for Distributed Embedded Systems, May 2002.
• Latronico, B., Representing Embedded System Sequence Diagrams as a Formal Language, May 2002.
• Martin, C., Functional fault simulation for distributed embedded systems, December 2001.
• Chakravarty, T., Performance of cyclic redundancy codes for embedded networks, December 2001.
• Beveridge, M., Jini on the Control Area Network (CAN): a case study in portability failure, March 2001.
• Hendry, G., Standard Ethernet as an Embedded Communication Network, May 1999.
• Tran, E., Multi-Bit Error Vulnerabilities in the Controller Area Network Protocol, May 1999.
• Cholkar, A., A Web-based Distributed Network Simulation Framework using CORBA IDL-based APIs, May 1999.

Current People:

• Prof. Phil Koopman
• Prof. Priya Narasimhan
• Beth Latronico
• Jen Morris
• Theresa Maxino
• Kathryn Bergmann
• Justin Ray

Group Picture
Fall 2001 (left to right): Beth, Tridib, Yang, Phil, Chris, Charles & Bill.

Alumni:

Internal pages:

• G.M.
• CMU working documents

The RoSES team thanks the following for their support:

• General Motors (Primary sponsor)
• Bosch
• Pennsylvania Infrastructure Technology Alliance
• ADtranz
• Intel (equipment & fellowship)
• Lucent (fellowship)
• U.S. Air Force (fellowship)
• National Science Foundation (NSF fellowship)
• US Dept. of Defense (NDSEG fellowship)
• TTTech

The RoSES project is conducted at Carnegie Mellon University by the Electrical and Computer Engineering Department within the GM Laboratory at Carnegie Mellon, the Institute for Complex Engineered Systems (ICES; formerly EDRC); the Institute for Software Research, International.

koopman@cmu.edu