Abstract
This review paper sets out to explore the question of how future complex engineered systems based upon the swarm intelligence paradigm could be assured for dependability. The paper introduces the new concept of ‘swarm engineering’: a fusion of dependable systems engineering and swarm intelligence. The paper reviews the disciplines and processes conventionally employed to assure the dependability of conventional complex (and safety critical) systems in the light of swarm intelligence research and in so doing tries to map processes of analysis, design and test for safety-critical systems against relevant research in swarm intelligence. A case study of a swarm robotic system is used to illustrate this mapping. The paper concludes that while some of the tools needed to assure a swarm for dependability exist, many do not, and hence much work needs to be done before dependable swarms become a reality.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, T., Avizienis, A., Carter, W.C.: Dependability: Basic Concepts and Terminology, Series: Dependable Computing and Fault-Tolerant Systems. In: Laprie, J.-C. (ed.), vol. 5, Springer, New York (1992)
Arkin, R.C.: Motor Schema based Navigation for a Mobile Robot. In: Proc. IEEE Conf. Robotics and Automation, Raleigh NC, pp. 264–271 (1987)
Beni, G.: From swarm intelligence to swarm robotics. In: Proceedings of the SAB 2004 Swarm Robotics Workshop, Santa Monica (2004)
Bennett, P.: Software Development for the Channel Tunnel: A Summary. Journal of High Integrity Systems 1(2), 213–220 (1994)
Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: from natural to artificial systems. Oxford University Press, Oxford (1999)
Bonabeau, E., Theraulaz, G.: Swarm Smarts. Scientific American, 72–79 (2000)
Brooks, R.A.: Cambrian Intelligence: the Early History of the New AI. MIT Press, Cambridge (2000)
Butler, R.W., Finelli, G.B.: The infeasibility of quantifying the reliability of lifecritical real-time software. IEEE Trans. Software Engineering 19(1), 3–12 (1993)
Connell, J.H.: Minimalist mobile robotics: a colony-style architecture for an artificial creature. Academic Press Professional, San Diego (1990)
Fagan, M.E.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal 15(3) (1976)
Harper, C., Winfield, A.: Direct Lyapunov Design A Synthesis Procedure for Motor Schema Using a Second-Order Lyapunov Stability Theorem. In: Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne (October 2002)
Harper, C.: A Rational Methodology for Designing Behaviour Based Systems for Safety Related Applications, PhD Thesis, University of the West of England, Bristol (2004)
Institution of Electrical Engineers: Guidelines for the documentation of computer software for real time and interactive systems, 2nd edn. IEE London (1990)
Lerman, K., Galstyan, A.: A General Methodology for Mathematical Analysis of Multi-Agent Systems, USC Information Sciences Technical Report ISI-TR-529 (2001)
Lerman, K., Martinoli, A., Galystan, A.: A Review of Modeling Methods for Swarm Robotic Systems. In: Proceedings of the SAB 2004 Swarm Robotics Workshop, Santa Monica (2004)
Littlewood, B., Thomas, M.: Reasons why Safety-Critical Avionics Software cannot be Adequately Validated. In: Proc. 1st UK Safety Systems Symposium. Springer, Heidelberg (1993)
Nehmzow, U., Walker, K.: The Behaviour of a Robot is Chaotic. AISB Journal 1(4), 373–388 (2003)
Nembrini, J., Winfield, A., Melhuish, C.: Minimalist Coherent Swarming of Wireless Connected Autonomous Mobile Robots. In: Proc. Simulation of Artificial Behaviour 2002, Edinburgh (August 2002)
Martinoli, A., Ijspeert, A.J., Gambardella, L.M.: A Probabilistic model for understanding and comparing collective aggregation mechanisms. In: Floreano, D., Nicoud, J.D., Mondada, F. (eds.) ECAL 1999. LNCS(LNAI), vol. 1674, pp. 575–584. Springer, Heidelberg (1999)
McCabe, T.A.: A Cyclomatic Complexity Measure. IEEE Trans. on Software Engineering 2(4) (1976)
Şahin, E.: Swarm Robotics: From Sources of Inspiration to Domains of Application. In: Şahin, E., Spears, W.M. (eds.) Swarm Robotics 2004. LNCS, vol. 3342, pp. 10–20. Springer, Heidelberg (2005)
Schöner, G., Dose, M., Engels, C.: Dynamics of behavior: theory and applications for autonomous robot architectures. Robotics and Autonomous Systems 16 (1995)
Smithers, T.: On quantitative performance measures of robot architectures. Robotics and Autonomous Systems 15, 107–133 (1995)
Støy, K.: Using situated communication in distributed autonomous robotics. In: Proc. 7th Scandinavian Conference on Artificial Intelligence (2001)
Winfield, A.F.T.: Distributed sensing and data collection via broken ad hoc wireless connected networks of mobile robots. In: Parker, L.E., Bekey, G., Barhen, J. (eds.) Distributed Autonomous Robotic Systems, vol. 4, pp. 273–282. Springer, Heidelberg (2000)
Winfield, A.F.T., Holland, O.E.: The application of wireless local area network technology to the control of mobile robots. Microprocessors and Microsystems 23(10), 597–607 (2000)
Yokobayashi, Y., Collins, C.H., Leadbetter, J.R., Arnold, F.H., Weiss, R.: Evolutionary Design of Genetic Circuits and Cell-Cell Communications. Advances in Complex Systems 6(1), 37–45 (2003)
Yourdon, E.: Modern Structured Analysis. Prentice-Hall, Englewood Cliffs (1989)
Ziemke, T.: On the role of Robot Simulations in Embodied Computer Science. AISB Journal 1(4), 389–399 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winfield, A.F.T., Harper, C.J., Nembrini, J. (2005). Towards Dependable Swarms and a New Discipline of Swarm Engineering. In: Şahin, E., Spears, W.M. (eds) Swarm Robotics. SR 2004. Lecture Notes in Computer Science, vol 3342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30552-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-30552-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24296-3
Online ISBN: 978-3-540-30552-1
eBook Packages: Computer ScienceComputer Science (R0)