Simulation-based verification of autonomous controllers via livingstone pathfinder

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2988, Issue , 2004, Pages 357-371

  Lindsey, A E ^a   Pecheur, Charles ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTROLLERS; NASA; SPACE RESEARCH;

AUTONOMOUS SYSTEMS; CRITICAL APPLICATIONS; MODEL BASED DIAGNOSIS; OPERATING ENVIRONMENT; SIMULATION BASED VERIFICATION; STATE SPACE EXPLORATION; UNPREDICTABLE ENVIRONMENTS; VERIFICATION TOOLS;

VERIFICATION;

EID: 35048854647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_28     Document Type: Article

References (12)

1. A. Bajwa and A. Sweet. The Livingstone Model of a Main Propulsion System. In Proceedings of the IEEE Aerospace Conference, March 2003.
2. E. Brinksma. A Theory for the Derivation of Tests. In: S. Aggarwal, K. Sabnani, eds., Protocol Specification, Testing and Verification, VIII. North-Holland, Amsterdam, 1988, ISBN 0-444-70542-2, 63-74.
3. L. Fleming, T. Hatfield and J. Malin. Simulation-Based Test of Gas Transfer Control Software: CONFIG Model of Product Gas Transfer System. Automation, Robotics and Simulation Division Report, AR&SD-98-017, (Houston, TX:NASA Johnson Space Center Center, 1998).
4. P. Godefroid. Model Checking for Programming Languages using VeriSoft. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, Paris, January 1997.
5. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
6. A.E. Lindsey and C. Pecheur, Simulation-Based Verification of Livingstone Applications. Workshop on Model-Checking for Dependable Software-Intensive Systems, San Francisco, June 2003.
7. N. Muscettola, P. Nayak, B. Pell and B. Williams. Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence, vol. 103, pp. 5-47, 1998.
8. C. Meyer, H. Cannon, Propulsion IVHM Technology Experiment Overview, In Proceedings of the IEEE Aerospace Conference, March 8-15, 2003.
9. C. Pecheur, R. Simmons. From Livingstone to SM V: Formal Verification for Autonomous Spacecrafts. In Proceedings of First Goddard Workshop on Formal Approaches to Agent-Based Systems, NASA Goddard, April 5-7, 2000. Lecture Notes in Computer Science, vol. 1871, Springer Verlag.
10. W. Visser, K. Havelund, G. Brat and S. Park. Model Checking Programs. In Proceedings of the IEEE International Conference on Automated Software Engineering, pages 3-12, September 2000.
11. B. Williams, M. Ingham, S. Chung and P. Elliot, Model-based Programming of Intelligent Embedded Systems and Robotic Space Explorers. In Proceedings of the IEEE Modelings and Design of Embedded Software Conference, vol. 9, no.1 pp. 212-237, 2003.
12. B. Williams and P. Nayak, A Model-based Approach to Reactive Self-Configuring Systems. In Proceedings of the National Conference on Artificial Intelligence, vol. 2, pp. 971-978, August 1996.