Sustainable and autonomie space exploration missions

Proceedings - SMC-IT 2006: 2nd IEEE International Conference on Space Mission Challenges for Information Technology

Volumn 2006, Issue , 2006, Pages 59-66

  Sterritt, Roy ^a   Hinchey, Mike ^b   Rouff, Christopher ^c   Rash, James ^b   Truszkowski, Walt ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

^c SAI CACBU ^*

Author keywords

[No Author keywords available]

Indexed keywords

SCIENCE MISSIONS; SPACE EXPLORATION MISSIONS; SUSTAINABLE MISSIONS; SUSTAINABLE SYSTEMS;

NEUROLOGY; SPACE RESEARCH; SYSTEMS ANALYSIS;

SPACE APPLICATIONS;

EID: 34247274680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SMC-IT.2006.78     Document Type: Conference Paper

References (35)

1. G. Martin, "NASA Exploration Team (NExT) program", World Space Congress, Houston, Texas, Oct. 10-19, 2002.
2. rd IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2006), Columbia, MD, USA, April 2006.
3. R.C. Linger, N.R. Mead, H.F. Lipson, "Requirements Definition for Survivable Systems," In Proc. 3rd IEEE Int. Conf. Requirements Engineering, Colorado Springs, CO, 6-10 April, 1998, pp. 14-23.
4. N. Mead, "Requirements Engineering for Survivable Systems", Technical Report CMU/SEI-2003-TN-013, Software Engineering Institute, Pittsburg, PA, 2003.
5. P. Horn, "Autonomic computing: IBM perspective on the state of information technology," IBM T.J. Watson Labs, NY, 15th October 2001.
6. R. Sterritt, "Towards Autonomic Computing: Effective Event Management", In Proc. IEEE/NASA Software Engineering Workshop, Greenbelt, MD, Dec. 2002, IEEE Computer Society Press.
7. J.O. Kephart, D.M. Chess. "The Vision of Autonomic Computing", Computer, 36(1):41-52, 2003.
8. R. Sterritt, "Autonomic Computing," Innovations in Systems and Software Engineering: a NASA Journal, 1(1):79-88, Springer, 2005.
9. R. Sterritt, G. Garrity, E. Hanna, P. O'Hagan, "Survivable Security Systems through Autonomicity," In Proc. 2nd NASA/IEEE Workshop on Radical Agent Concepts (WRAC2005), Greenbelt, MD, USA, 20-22 September 2005, Springer LNAI 3825.
10. R. Sterritt, G Garrity, E. Hanna, P. O'Hagan, "Autonomic Agents for Survivable Security Systems," In Proc. 1st IFIP Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems (TAUES 2005) at EUC'05, Nagasaki, Japan, 6-9 December 2005, Springer-Verlag LNCS 3823, pp 1235-1244.
11. S.M. Lewandowski, D.J. Van Hook, G.C. O'Leary, J.W. Haines, L.M. Rossey, "SARA: Survivable Autonomic Response Architecture," In Proc. DARPA Information Survivability Conference and Exposition II, Vol. 1, pp. 77-88, June 2001.
12. IBM, "An architectural blueprint for autonomic computing", 2003.
13. B. Randell, "Turing Memorial Lecture - Facing Up to Faults", Comp. J. 43(2):95-106, 2000.
14. R. Sterritt and D.W. Bustard, "Autonomic Computing: a Means of Achieving Dependability?" In Proc. IEEE International Conference on the Engineering of Computer-Based Systems (ECBS'03, Huntsville, AL, 7-11 April 2003, pp 247-251, IEEE Computer Society Press.
15. W. Truszkowski, C.A. Rouff, H.L. Hallock, J. Karlin, J.L. Rash, M.G. Hinchey and R. Sterritt, Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems, NASA Monographs in Systems and Software Engineering, Springer Verlag, London, 2006.
16. st IEEE International Workshop on Systems Management, Los Angeles, CA, 14-16 April 1993.
17. Whatis?com, Online computer and internet dictionary and encyclopaedia, 2005.
18. L. Lymberopoulos, E. Lupu and M. Sloman, "An adaptive policy-based framework for network services management," J. of Network Systems Management 11(3), 2003.
19. D. Kaminsky, "An Introduction to Policy for Autonomic Computing", IBM white paper, March 2005.
20. A. Meissner, S. B. Musunoori and L. Wolf, "MGMS/GML - Towards a new Policy Specification Framework for Multicast Group Integrity", In Proc. 2004 International Symposium on Applications and the Internet (SAINT2004), Tokyo, Japan, 2004.
21. A.G. Ganek, "Autonomic computing: implementing the vision." Keynote talk at the autonomic computing workshop (AMS 2003), Seattle, 25th June 2003.
22. P. Horn, "Autonomic computing: IBM perspective on the state of information technology," Presented at AGENDA 2001, Scottsdale, AR, 2001.
23. O. Babaoglu, A. Couch, G. Ganger, P. Stone, M. Yousif and J. Kephart, "Panel: Grand Challenges of Autonomic Computing," International Conference on Autonomic Computing (ICAC'05), Seattle, WA, June 2005.
24. J. Kephart and W.E. Walsh "An Artificial Intelligence Perspective on Autonomic Computing Policies," Policy, Fifth, pp 3-12, 2004.
25. R. Sterritt, M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C.A. Rouff and D. Gracanin, "Towards Formal Specification and Generation of Autonomic Policies," In Proc. of 1st IFIP Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems (TAUES 2005) at EUC'05, Nagasaki, Japan, 6-9 December 2005, pp 1245-1254, Springer LNCS 3823.
26. N. Jennings. "An agent-based approach for building complex software systems." Comm. of the ACM, 44(4):35-41, 2001.
27. J. Odell, H. Parunak, and M. Fleischer. "The role of roles in designing effective agent organizations", in LNCS 2603, pages 27-28, Berlin, 2003. Springer-Verlag.
28. H. V. D. Parunak and J. Odell. "Representing social structures in UML," In Proc. of the Fifth International Conference on Autonomous Agents, pp. 100-101, Montreal, Canada, 2001, ACM Press.
29. F. Zambonelli, N. Jennings, and M. Wooldridge. "Developing multiagent systems: the GALA, methodology," ACM Transactions on Software Engineering and Methodology, 12(3):317-370, July 2003.
30. E. A. Kendall. "Role modeling for agent system analysis, design, and implementation," IEEE Concurrency, 8(2):34-41, Apr./June 2000.
31. J. Pena, M.G. Hinchey, R. Sterritt, "Towards Modelling, Specifying and Deploying Policies in Autonomous and Autonomic Systems Using an AOSE Methodology," In Proc. Third IEEE International Workshop n the Engineering of Autonomic and Autonomous Systems (EASe 2006), March 2006.
32. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Requirements to design to code: Towards a fully formal approach to automatic code generation. Tech. Rep. TM2005-212774, NASA Goddard Space Flight Center, Greenbelt, MD, 2004.
33. J. L. Rash, M. G. Hinchey, C. A. Rouff, and D. Gračanin, "Formal requirements-based programming for complex systems," In Proc. IEEE International Conference on Engineering of Complex Computer Systems (IECCCS 2005), Shanghai, China, 16-20 June 2005, IEEE Computer Society Press.
34. C.A.R. Hoare, "Communicating sequential processes", Comm. of the ACM, 21(8):666-677, 1978.
35. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International Series in Computer Science. Prentice Hall Int., Englewood Cliffs, NJ, and Hemel Hempstead, UK, 1985.