A RUNTIME ENVIRONMENT TO SUPPORT FAULT MITIGATIVE LARGE-SCALE REAL-TIME EMBEDDED SYSTEMS RESEARCH By

First, I would like to thank Dr. Theodore Bapty, for the opportunity to work on this project, which has increased my knowledge of embedded systems tremendously. Also deserving of my thanks is Dr. Sandeep Neema, whose body of work forms much of the foundation on which this project sits. To my father, Dr. Greg Nordstrom, who from the very beginning has fostered my endeavor for knowledge, I give thanks. This accomplishment could not have been achieved without the love, help, and knowledge I have received from him. My deepest love and gratitude goes to my beautiful wife, Hope, who continually encourages me to march toward my goals and never give up. None of this would be possible without her love and support.

[1]  Andy M. Tyrrell,et al.  A hardware immune system for benchmark state machine error detection , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[2]  Algirdas Avizienis.  An Immune System Paradigm for the Design of Fault Tolerant Systems , 2002, EDCC.

[3]  Andrew M. Tyrrell,et al.  Embryonics: A Bio-Inspired Cellular Architecture with Fault-Tolerant Properties , 2000, Genetic Programming and Evolvable Machines.

[4]  Sandeep Neema,et al.  System-level synthesis of adaptive computing systems , 2001 .

[5]  Viktor K. Prasanna,et al.  MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems , 2001, OM '01.

[6]  Algirdas Avizienis,et al.  Toward Systematic Design of Fault-Tolerant Systems , 1997, Computer.

[7]  Andrew M. Tyrrell,et al.  Immunotronics: Hardware Fault Tolerance Inspired by the Immune System , 2000, ICES.

[8]  J. Sztipanovits,et al.  Model-Integrated Environment for Adaptive Computing , 1999 .

[9]  Jeffrey A. Appel.  Fault tolerant issues in the BTeV trigger , 2002 .

[10]  Gabor Karsai,et al.  The new metamodeling generation , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[11]  Sandeep Neema,et al.  Uniform execution environment for dynamic reconfiguration , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[12]  Thomas Becker.  Application-transparent fault tolerance in distributed systems , 1994, Proceedings of 2nd International Workshop on Configurable Distributed Systems.

[13]  Christoforos N. Hadjicostis,et al.  Coding approaches to fault tolerance in dynamic systems , 1999 .

[14]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[15]  Sandeep Neema,et al.  Model-integrated Tools for the Design of Dynamically Reconfigurable Systems , 2000, VLSI Design.

[16]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[17]  Sandeep Neema,et al.  Runtime Environment for Dynamically Reconfigurable Systems , 2000 .

[18]  Marina Artuso,et al.  The BTeV pixel detector and trigger system , 2001 .

[19]  Simon Kwan.  The BTeV pixel detector and trigger system , 2002 .

[20]  Richard D. Regan,et al.  Availability in Parallel Systems: Automatic Process Restart , 1997, IBM Syst. J..

[21]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[22]  Sandeep Neema,et al.  Modeling and generation tools for large-scale, real-time embedded systems , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..