Abstract
We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.
This is a preview of subscription content, log in via an institution to check access.
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
Vassev, E., Paquet, J.: ASSL — Autonomic System Specification Language. In: 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31), pp. 300–309. IEEE Press, Baltimore (2007)
Truszkowski, W., Hinchey, M., Rash, J., Rouff, C.: NASA’s swarm missions: The challenge of building autonomous software. IT Professional 6(5), 47–52 (2004)
Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Sterritt, R.: Autonomous and Autonomic Swarms. In: 8th Biennial Conference on Real Time in Sweden (RTiS), SNART (reprinted with permission from SERP 2005), Skövde, pp. 65–73 (2005)
Hinchey, M., Dai, Y., Rash, J., Truszkowski, W., Madhusoodan, M.: Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. In: The 2007 ACM Symposium on Applied Computing (SAC 2007), pp. 90–96. ACM Press, Seoul (2007)
IBM Corporation: An architectural blueprint for autonomic computing, 4th edn. White paper (2006)
Vassev, E., Hinchey, M., Paquet, J.: Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions. In: 23rd Annual ACM Symposium on Applied Computing (SAC 2008) – AC Track. ACM Press, Fortaleza (2008)
Vassev, E., Hinchey, M., Paquet, J.: A Self-Scheduling Model for NASA Swarm-Based Exploration Missions using ASSL. In: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), IEEE Computer Press, Belfast (2008)
Leavens, G.T., Cheon, Y.: Design by contract with JML. Technical report, Formal Systems Laboratory (FSL) at UIUC (2006)
Hinchey, M.G., Rash, J.L., Rouff, C.A.: Requirements to design to code: Towards a fully formal approach to automatic code generation. Technical Report TM-, -212774, NASA Goddard Space Flight Center, Greenbelt (2005)
IBM Tivoli: Autonomic Computing Policy Language.Tutorial, IBM Corp. (2005)
Agrawal, D., et al.: Autonomic Computing Expressing Language. Tutorial, IBM Corp. (2005)
NASA-STD-8719.13A: Software Safety. NASA Technical Standard (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hinchey, M., Vassev, E. (2008). An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds) Autonomic and Trusted Computing. ATC 2008. Lecture Notes in Computer Science, vol 5060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69295-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-69295-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69294-2
Online ISBN: 978-3-540-69295-9
eBook Packages: Computer ScienceComputer Science (R0)