Verification and validation of autonomous systems

26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001

Volumn , Issue , 2001, Pages 136-144

  Hinchey, M G ^a,c   Rash, J L ^a   Rouff, C A ^b  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

NASA; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

AUTONOMOUS SYSTEMS; DEVELOPMENT COMMUNITY; FUTURE MISSION; HIGHLY PARALLELS; MONOLITHIC SYSTEMS; MULTIPLE SATELLITES; VERIFICATION-AND-VALIDATION;

SOFTWARE DESIGN;

EID: 84960395253     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2001.992667     Document Type: Conference Paper

References (12)

1. d'Inverno, M. and Luck, M. 2001. Understanding Agent Systems. Springer-Verlag.
2. Hallock, L.; Truszkowski; W.,. Rouff, C., Karlin, J. 1999. Agent-Based Spacecraft Autonomy. Institute for Operations Research and the Management Sciences (INFORMS).
3. Havelund, K. 1999. Model Checking Java Programs using Java PathFinder. International Journal on Software Tools for Technology Transfer.
4. Hinchey, M.G. and Jarvis, S.A. 1995. Concurrent Systems: Formal Development in CSP. McGraw-Hill International Series in Software Engineering. London and New York.
5. Holzmann, H. J. 1991. Design and Validation of Computer Protocols. Prentice Hall Software Series. Englewood Cliffs, NJ.
6. Hoare, C.A.R. 1985. Communicating Sequential Processes. Prentice Hall International Series in Computer Science, Hemel Hempstead.
7. Labrou, Y. and Finin, T. 1997. A Proposal for a new KQML Specification. Technical Report TR CS-97-03. Computer Science and Electrical Engineering Department, University of Maryland Baltimore County, Baltimore, MD 21250.
8. Rouff, C., Rash, J., and Hinchey, M. 2000. Experience Using Formal Methods for Specifying a Multi-Agent System. In Proceedings of the Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000).
9. Rouff, C., and Truszkowski, W. 2001. A Process for Introducing Agent Technology into Space Missions. In Proceedings of the IEEE Aerospace Conference.
10. Truszkowski, W., Hallock, H. 1999. Agent Technology from a NASA Perspective. CIA-99, Third International Workshop on Cooperative Information Agents. Springer-Verlag, Uppsala, Sweden.
11. Truszkowski, W. and Rouff, C. 2001. An Overview of the NASA LOGOS and ACT Agent Communities. World Multiconference on Systemics, Cybernetics and Informatics. July 22-25, 2001, Orlando, Florida.
12. VisAGE 3.0 User's Manual. 2000. NASA Goddard Space Flight Center. Code 588.0, http://tidalwave.gsfc.nasa.gov/avatar/.