Runtime verification for autonomous spacecraft software

IEEE Aerospace Conference Proceedings

Volumn 2005, Issue , 2005, Pages 507-516

  Goldberg, Allen ^a   Havelund, Klaus ^a   McGann, Conor ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL COMPLEXITY; COMPUTER OPERATING SYSTEMS; HUMAN COMPUTER INTERACTION; MARTIAN SURFACE ANALYSIS; SPACECRAFT;

AUTONOMY SOFTWARE; MARS EXPLORATION ROVER MISSIONS; REMOTE LOCATIONS; RUNTIME VERIFICATION;

COMPUTER SOFTWARE;

EID: 33751504356     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2005.1559341     Document Type: Conference Paper

References (13)

1. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser and Rich Washington, "Combining Test Case Generation and Runtime Verification", submitted to the journal Theoretical Computer Science.
2. Howard Barringer, Allen Goldberg, Klaus Havelund and Koushik Sen, "Rule-Based Runtime Verification", 5th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'04), LNCS 2937, Springer, pages 44-57, Editors B. Steffen and G. Levi, Venice, Italy, January 2004.
3. Howard Barringer, Allen Goldberg, Klaus Havelund and Koushik Sen, "Program Monitoring with LTL in Eagle", Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04), IEEE Digital Library, Santa Fe, New Mexico, USA, April 2004.
4. John Bresina, Ari Jonsson, Paul Morris and Kanna Rajan, "Constraint Maintenance with Preferences and Underlying Flexible Solution", Online-2003, Online Constraint Solving: Handling Change and Uncertainty, A CP2003 workshop, Kinsale, Co. Cork, Ireland, September 29th, 2003.
5. Steve Chien, et.al. "Autonomous Science on the EO-1 Mission", Proceedings of the International Symposium on Artificial Intelligence Robotics and Automation in Space (i-SAIRAS), Nara, Japan, May, 2003.
6. Steve Chien, Russell Knight, Andre Stechert, Rob Sherwood and Gregg Rabideau, "Using Iterative Repair to Increase the Responsiveness of Planning and Scheduling for Autonomous Spacecraft", IJCAI99 Workshop on Scheduling and Planning meet Real-time Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.
7. Benjamin Cichy, Steve Chien, Steve Schaffer, Daniel Tran, Gegg Rabideau and Rob Sherwood, "Validating the Autonomous EO-1 Science Agent", International Workshop on Planning and Scheduling for Space (IWPSS 2004). Darmstadt, Germany, June 2004.
8. Martin Feather and Ben Smith, "Automatic Generation of Test Oracles - From Pilot Studies to Application", Automated Software Engineering, 8(1):31-61, January 2001.
9. Jeremy Frank and Ari Jonsson, "Constraint-Based Interval and Attribute Planning", Journal of Constraints Special Issue on Constraints and Planning. 2003.
10. Klaus Havelund, Mike Lowry and John Penix, "Formal Analysis of a Space Craft Controller using SPIN", IEEE Transactions on Software Engineering, Volume 27, Number 8, August 2001.
11. Lina Khatib, Nicola Muscettola and Klaus Havelund, "Mapping Temporal Planning Constraints into Timed Automata", TIME'01 (IEEE Press), The 8th International Symposium on Temporal Representation and Reasoning, Cividale Del Friuli, Italy, 2001.
12. Tony Lindsey and Charles Pecheur, "Simulation-Based Verification of Autonomous Controllers with Livingstone PathFinder", Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis Of Systems (TACAS'04), Barcelona, Spain, March-April 2004, Lecture Notes in Computer Science, vol. 2988, Springer Verlag.
13. John Penix, Charles Pecheur and Klaus Havelund, "Using Model Checking to Validate AI Planner Domain Models", 23rd Annual Software Engineering Workshop, 1998.