Pervasive Self-Regeneration Through Concurrent Model-Based Execution

Abstract : The model-based approach to cognitive immunity of computer software involves, at multiple levels, the use of models to describe correct behavior of the system at appropriate level of abstraction. By specifying the correct operation of the system at levels of the abstract states, this allows the system to select between redundant methods of achieving those states and thereby allowing the system to be robust to perturbations inherent in the environment in which the system operates. Our system, which was demonstrated on a robotic platform, was able to successfully execute a complex robotic mission even in the face of software component failure and unexpected perturbations in the physical environment by reconfigure its software components, and selecting different redundant methods when faced with failing software components.

[1]  Radha Jagadeesan,et al.  Models for Concurrent Constraint Programming , 1996, CONCUR.

[2]  Robert Laddaga,et al.  Introduction to Self-adaptive Software: Applications , 2001, IWSAS.

[3]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[4]  Alex Fukunaga,et al.  Iterative Repair Planning for Spacecraft Operations Using the Aspen System , 2000 .

[5]  Paul Robertson,et al.  Automatic recovery from software failure , 2006, CACM.

[6]  Brian C. Williams,et al.  Model-based Reactive Programming of Cooperative Vehicles for Mars Exploration , 2001 .

[8]  R. James Firby,et al.  The RAP language manual , 1995 .

[9]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[10]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

[11]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[12]  Reid G. Simmons,et al.  Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..

[13]  B. Williams,et al.  A Model-Based System Supporting Automatic Self-Regeneration of Critical Software , 2005 .

[14]  Nicola Muscettola,et al.  Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.

[15]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[16]  Brian C. Williams,et al.  Timed model-based programming: executable specifications for robust mission-critical sequences , 2003 .

[17]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[18]  Alfred Mele,et al.  Autonomous agents , 1995 .

[19]  Brian C. Williams,et al.  Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..

[20]  Robert T. Effinger,et al.  Autonomous Robust Execution of Complex Robotic Missions , 2006, IAS.

[21]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[22]  Brian C. Williams,et al.  Improving Model-based Mode Estimation through Offline Compilation , 2001 .

[23]  B. Williams,et al.  Multi-Modal Particle Filtering for Hybrid Systems with Autonomous Mode Transitions , 2003 .

[24]  Mark Abramson,et al.  Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.

[25]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..