Safety trigger conditions for critical autonomous systems

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn , Issue , 2012, Pages 61-69

  Mekki Mokhtar, Amina ^a,b   Blanquart, Jean Paul ^c   Guiochet, Jérémie ^a,b   Powell, David ^a,b   Roy, Matthieu ^a,b  

^a LAAS CNRS   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

^c AIRBUS GROUP INNOVATIONS   (Germany)

Author keywords

Autonomous Critical Systems; Dependability; On line Monitoring; Safety; Safety Constraints; Safety Monitoring; Safety Rules

Indexed keywords

CRITICAL SYSTEMS; DEPENDABILITY; ONLINE MONITORING; SAFETY CONSTRAINT; SAFETY MONITORING; SAFETY RULES;

ACCIDENT PREVENTION;

EID: 84872310212     PISSN: 15410110     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2012.22     Document Type: Conference Paper

References (24)

1. R. Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, R. Chatila, A. De Luca, A. De Santis, G. Giralt, J. Guiochet, G. Hirzinger, F. Ingrand, V. Lippiello, R. Mattone, D. Powell, S. Sen, B. Siciliano, G. Tonietti, and L. Villani. Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges. In Workshop on Physical Human-Robot Interaction in Anthropic Domains, IEEE/RSJ International Conference on Intelligent Robots and Systems, page 15, Beijing, China, 2006. IEEE.
2. Sami Haddadin, Alin Albu-Schäffer, and Gerd Hirzinger. Requirements for safe robots: Measurements, analysis and new insights. International Symposium on Robotics Research, 28(11-12):1507-1527, November 2009.
3. A. Avižienis, J. C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1:11-33, 2004.
4. IEC 61508-7. Functional safety of electrical / electronic / programmable electronic safety-related systems - part 7: Overview of techniques and measures. International Organization for Standardization and International Electrotechnical Commission, 2010.
5. C. Pace and D. Seward. A safety integrated architecture for an autonomous safety excavator. In International Symposium on Automation and Robotics in Construction, 2000.
6. S. Roderick, B. Roberts, E. Atkins, and D. Akin. The Ranger robotic satellite servicer and its autonomous software-based safety system. IEEE Intelligent Systems, 19:12-19, 2004.
7. F. Ingrand and F. Py. Online execution control checking for autonomous systems. In The 7th International Conference on Intelligent Autonomous Systems, Marina del Rey, California, USA, 2002.
8. J. Fox. Designing Safety into Medical Decisions and Clinical Processes. In International Conference on Computer Safety, Reliability and Security, volume 1, 2001.
9. P. Klein. The safety-bag expert system in the electronic railway interlocking system Elektra. Expert Systems with Applications, 3:499-506, 1991.
10. ISO/IEC-Guide51. Safety aspects - Guidelines for their inclusion in standards. International Organization for Standardization and International Electrotechnical Commission, 1999.
11. IEEE Std 1012-2004. IEEE standard for software verification and validation. Institute of Electrical and Electronics Engineers IEEE, Revision of IEEE Std 1012-1998, 2005.
12. Martin Leucker and Christian Schallhart. A brief account of runtime verification. Journal of Logic and Algebraic Programming, 78(5):293-303, 2009.
13. Alwyn Goodloe and Lee Pike. Monitoring distributed realtime systems: A survey and future directions. Technical report, NASA Aviation Safety Program Office, 2010.
14. L. Pike, S. Niller, and N. Wegmann. Runtime verification for ultra-critical systems. In 2nd International Conference on Runtime Verification, San Francisco, California, USA, 2011.
15. B.A. Schroeder. On-line monitoring: a tutorial. IEEE Computer Journal, 28(6):72-78, jun 1995.
16. Klaus Havelund. Runtime verification of C programs. In 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, TestCom '08 / FATES '08, pages 7-22, Berlin, Heidelberg, 2008. Springer-Verlag.
17. Moonjoo Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In Real-Time Systems, 1999. Proceedings of the 11th Euromicro Conference on, pages 114-122, 1999.
18. Klaus Havelund and Grigore Roau. An overview of the runtime verification tool java pathexplorer. Formal Methods in System Design, 24:189-215, 2004.
19. J.P. Blanquart, S. Fleury, M. Hernerk, and C. Honvault. Software safety supervision on-board autonomous spacecraft. In 2nd European Congress Embedded Real Time Software, 2004.
20. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
21. R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. In Logic in Computer Science, 1990. LICS '90, The Fifth Symposium on Logic in Computer Science, pages 390-401, jun 1990.
22. R. Alur and T.A. Henzinger. A really temporal logic. J. ACM, 1994.
23. Amina Mekki Mokhtar, Jérémie Guiochet, David Powell, Jean-Paul Blanquart, and Matthieu Roy. Elicitation of executable safety rules for critical autonomous systems. In Embedded Real Time Software and Systems (ERTS2), Toulouse, France, 2012.
24. D. Martin-Guillerez, J. Guiochet, D. Powell, and C. Zanon. A UML-based method for risk analysis of human-robot interactions. In 2nd International Workshop on Software Engineering for Resilient Systems, UK. ACM, 2010.