Independent Safety Systems for Autonomy : State of the Art and Future Directions

A state of the art about safety monitoring systems is presented in this report, which is aimed at presenting the explicit methods that are presented in order to specify the behaviour of the safety system. Furthermore, we studied what are the characteristics of the design of the safety systems and their relevant monitoring capabilities.

[1]  David Powell,et al.  Software Safety Supervision On-board Autonomous Spacecraft , 2004 .

[2]  John Penix,et al.  Using Model Checking to Validate AI Planner Domain Models , 1999 .

[3]  Peter H. M. Klein,et al.  The Safety-Bag Expert System in the Electronic Railway Interlocking System ELEKTRA , 1991 .

[4]  Michael R. Lowry,et al.  Combining test case generation and runtime verification , 2005, Theor. Comput. Sci..

[5]  Ian Sommerville,et al.  Safety analysis of autonomous excavator functionality , 2000, Reliab. Eng. Syst. Saf..

[6]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[7]  A. Goldberg,et al.  Runtime verification for autonomous spacecraft software , 2005, 2005 IEEE Aerospace Conference.

[8]  Félix Ingrand,et al.  Real-Time Execution Control for Autonomous Systems , 2004 .

[9]  John Fox,et al.  Designing Safety into Medical Decisions and Clinical Processes , 2001, SAFECOMP.

[10]  Raja Chatila,et al.  Fault Tolerance in Autonomous Systems: How and How Much? , 2005 .

[11]  John C. Knight,et al.  A Safety Kernel Architecture , 1994 .

[12]  Grigore Rosu,et al.  Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation , 2003, RV@CAV.

[13]  Edmund M. Clarke,et al.  MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS , 2005 .

[14]  Ella M. Atkins,et al.  The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System , 2004, IEEE Intell. Syst..

[15]  P. Pandurang Nayak,et al.  Validating the DS-1 Remote Agent Experiment , 1999 .

[16]  John Fox,et al.  Safe and sound - artificial intelligence in hazardous applications , 2000 .

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

[18]  Insup Lee,et al.  Monitoring, Checking, and Steering of Real-Time Systems , 2002, Electron. Notes Theor. Comput. Sci..

[19]  Benjamin D. Smith,et al.  Automatic generation of test oracles: from pilot studies to application , 1999, 14th IEEE International Conference on Automated Software Engineering.

[20]  Reid G. Simmons,et al.  Towards automatic verification of autonomous systems , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).

[21]  Raja Chatila,et al.  On Fault Tolerance and Robustness in Autonomous Systems , 2004 .

[22]  Klaus Havelund,et al.  Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.

[23]  Nicola Muscettola,et al.  IDEA: Planning at the Core of Autonomous Reactive Agents , 2002 .

[24]  Pascale Thévenod-Fosse,et al.  Dependability Issues in AI-Based Autonomous Systems for Space Applications , 2002 .

[25]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[26]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.