Abstract
Progress in robotics has led to complex autonomous and even collaborating robotic systems, fulfilling mission critical tasks in safety critical environments. An increase in capabilities and thus complexity consequently led to a dramatic increase in possible faults that might manifest in errors. Even worse, by applying robots with emerging behavior in non-deterministic real-world environments, faults may be introduced from external sources. Consequently, fault testing has become increasingly difficult. Both, software and hardware may fail or even break, and hence may cause a mission failure, heavy damage, or even severe injuries and loss of life. The ability of a robotic system to function in presence of such faults, so to become fault tolerant, is a continuously growing area of research. Our work meets this challenge by developing a mechanism for robotic systems that is capable of detecting defects, selecting feasible counter measures, and hence keeping robots in a sane and and consequently safe state. Inspired by biology, we conceptually aim at an immune system for a robot (RIS), which is able to detect anomalies, and which is able to autonomously counter them by appropriate means. This position paper outlines the requirements and research scopes that have been identified as relevant for the development of a robotic immune system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Schreiner, D., Puntigam, F.: Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. In: Supplemental Volume of the Eight European Dependable Computing Conference (EDCC 2010), pp. 31–32 (April 2010) ISBN: 978-84-692-9571-7
Schreiner, D., Göschka, K.M.: Modeling Component Based Embedded Systems Applications with Explicit Connectors in UML 2.0. In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), pp. 1494–1495. ACM Press, New York (2007)
Forrest, S., Perelson, A.S., Allen, L., Cherukuri, R.: Self-nonself discrimination in a computer. In: Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy (1994)
Dobson, S., Sterritt, R., Nixon, P., Hinchey, M.: Fulfilling the vision of autonomic computing. Computer 43(1), 35–41 (2010)
Maes, P.: Concepts and experiments in computational reflection. In: OOPSLA, pp. 147–155 (1987)
RodrÃguez, M., Fabre, J.-C., Arlat, J.: Wrapping Real-Time Systems from Temporal Logic Specifications. In: Bondavalli, A., Thévenod-Fosse, P. (eds.) EDCC 2002. LNCS, vol. 2485, pp. 253–270. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schreiner, D. (2012). Building iRIS: A Robotic Immune System. In: Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2011. Communications in Computer and Information Science, vol 336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34781-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-34781-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34780-1
Online ISBN: 978-3-642-34781-8
eBook Packages: Computer ScienceComputer Science (R0)