The Community for Technology Leaders
RSS Icon
Issue No.02 - March-April (2012 vol.14)
pp: 36-42
Emil Vassev , Lero - the Irish Software Engineering Research Centre
Roy Sterritt , University of Ulster
Christopher Rouff , Lockheed Martin
Mike Hinchey , Lero - the Irish Software Engineering Research Centre
<p>Developing space systems is a complex task, driven by standards and safety requirements to ensure reliability of sophisticated hardware and software. Future NASA missions will focus on the development of swarm-based spacecraft systems comprising multiple self-organizing and autonomous spacecraft.</p>
control structure reliability, testing and fault-tolerance, reliability
Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey, "Swarm Technology at NASA: Building Resilient Systems", IT Professional, vol.14, no. 2, pp. 36-42, March-April 2012, doi:10.1109/MITP.2012.18
1. J.O. Kephart and D.M. Chess, "The Vision of Autonomic Computing," Computer, vol. 36, no. 1, 2003, pp. 41–50.
2. R. Sterritt, "Autonomic Computing," Innovations in Systems and Software Eng., vol. 1, no. 1, 2005, pp. 79–88.
3. R. Sterritt and M. Hinchey, "Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions," Proc. 12th IEEE Int'l Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS 05), 2005, pp. 506–511.
4. C. Philippe, "Verification, Validation, and Certification Challenges for Control Systems," The Impact of Control Technology, T. Samad, and A.M. Annaswamy eds., IEEE Control Systems Soc., 2011, pp. 205–206.
5. D.S. Herrmann, , Software Safety and Reliability, IEEE CS Press, 1999.
6. Software Safety, NASA Technical Standard NASA-STD-8719.13A, NASA, 1997.
7. D. Gilbert et al., "IBM Intelligent Agent Strategy," white paper, IBM Corp., 1995.
8. E. Bonabeau and G. Theraulaz, "Swarm Smarts," Scientific Am., Mar. 2000, pp. 72–79.
9. P. Grasse, Termitologia, Tome II, Fondation des Sociétés, 1984.
10. W. Truszkowski et al., Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems, NASA Monographs in Systems and Software Eng. series, Springer, 2010.
11. W. Truszkowski et al., "NASA's Swarm Missions: The Challenge of Building Autonomous Software, IT Professional, vol. 6, no. 5, 2004, pp. 47–52.
12. R. Sterritt et al., "Next Generation System and Software Architectures: Challenges from Future NASA Exploration Missions," Science of Computer Programming, vol. 61, no. 1, 2006, pp. 48–57.
13. E. Vassev, "Towards a Framework for Specification and Code Generation of Autonomic Systems," doctoral dissertation, Dept. of Computer Science and Software Engineering, Concordia Univ., 2008.
14. R. Sterritt and M.G. Hinchey, "Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?" Proc. Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS III), LNAI 3228, Springer-Verlag, 2004, pp. 262–270.
15. E. Vassev and M. Hinchey, "An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions," Proc. Second IEEE Int'l Conf. Self-Adaptive and Self-Organizing Systems (SASO 08), IEEE CS Press, 2008, pp. 473–474.
16. J. Pena, M.G. Hinchey, and R. Sterritt, "Towards Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems Using an AOSE Methodology," Proc. 3rd IEEE Int'l Workshop Eng. of Autonomic and Autonomous Systems (EASe 06), IEEE CS Press, 2006, pp. 37–46.
17. R. Sterritt and M.G. Hinchey,"From Here to Autonomicity: Self-Managing Agents and the Biological Metaphors that Inspire Them," Proc. Integrated Design & Process Technology Symp. (IDPT 05), 2005, pp. 143–150.
18. R. Sterritt, "Towards Autonomic Computing: Effective Event Management," Proc. 27th Ann. IEEE/NASA Software Eng. Workshop (SEW), IEEE CS Press, 2002, pp. 40–47.
19. R. Sterritt and D.W. Bustard, "Towards an Autonomic Computing Environment," Proc. IEEE DEXA 2003 Workshops—First Int'l Workshop on Autonomic Computing Systems, 2003, pp. 694–698.
20. ANSI/IEEE: Standard Glossary of Software Engineering Terminology, STD-729-1991, ANSI/IEEE, 1991.
21. M. Hinchey, J. Bowen, and E. Vassev, "Formal Methods," Encyclopedia of Software Eng., P.A. Laplante ed., Taylor & Francis, 2010, pp. 308–320.
22. E. Vassev, M. Hinchey, and P. Nixon, "A Formal Approach to Self-Configurable Swarm-Based Space-Exploration Systems," Proc. 2010 NASA/ESA Conf. Adaptive Hardware and Systems (AHS 10), IEEE CS Press, 2010, pp. 89–96.
23. E. Vassev and M. Hinchey, "Self-Awareness in Autonomous Nano-Technology Swarm Missions," Proc. 5th IEEE Conf. Self-Adaptive and Self-Organizing Systems Workshops (SASOW 11), IEEE CS Press, 2011, pp. 133–136.
24. M. Hinchey, J. Rash, and C. Rouff, Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation, tech. report TM-2005-212774, NASA Goddard Space Flight Center, 2004.
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool