Towards an ASSL specification model for NASA swarm-based exploration missions
作者： Emil Vassev , Mike Hinchey , Joey Paquet
关键词:
摘要: NASA swarm-based exploration missions represent a new class of concept based on the cooperative nature hive culture. A mission this requires an autonomic system, comprising set autonomous mobile units. The design and implementation such systems specific engineering approaches, including formal specification methods techniques. This article presents introduction to our research towards missions. Autonomic System Specification Language (ASSL) is framework for formally specifying generating systems. With ASSL, we can specify high-level behavior policies, as part overall system behavior, which shows that ASSL very appropriate language We show how be used self-configuring, self-healing, safety properties
acm.org
sci-hub.se 参考文章(13)
Emil Vassev, Olga Ormandjieva, Joey Paquet, ASSL SPECIFICATION OF RELIABILITY SELF-ASSESSMENT IN THE AS-TRM international conference on software and data technologies. pp. 198- 206 ,(2007)
Debra S. Herrmann, Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors ,(2000)
Roy Sterritt, Christopher A. Rouff, James L. Rash, Michael G. Hinchey, Walter F. Truszkowski, Autonomous and Autonomic Swarms Software Engineering Research and Practice. pp. 36- 44 ,(2005)
K. Mani Chandy, Parallel Program Design: A Foundation ,(1988)
J.O. Kephart, D.M. Chess, The vision of autonomic computing IEEE Computer. ,vol. 36, pp. 41- 50 ,(2003) , 10.1109/MC.2003.1160055
Michael Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan, Bionic autonomic nervous system and self-healing for NASA ANTS-like missions Proceedings of the 2007 ACM symposium on Applied computing - SAC '07. pp. 90- 96 ,(2007) , 10.1145/1244002.1244025
G.F. Williamson, Software safety and reliability IEEE Potentials. ,vol. 16, pp. 32- 36 ,(1997) , 10.1109/45.624340
W. Truszkowski, M. Hinchey, J. Rash, C. Rouff, NASA's swarm missions: the challenge of building autonomous software IT Professional. ,vol. 6, pp. 47- 52 ,(2004) , 10.1109/MITP.2004.66
E. Vassev, J. Paquet, ASSL - Autonomic System Specification Language annual software engineering workshop. pp. 300- 309 ,(2007) , 10.1109/SEW.2007.97
C.A. Rouff, M.G. Hinchey, J.L. Rash, W.F. Truszkowski, Towards a Hybrid Formal Method for Swarm-Based Exploration Missions annual software engineering workshop. ,vol. 1, pp. 253- 264 ,(2005) , 10.1109/SEW.2005.45