Proving correctness of Unmanned Aerial Vehicle cooperative software

2005 IEEE Networking, Sensing and Control, ICNSC2005 - Proceedings

Volumn 2005, Issue , 2005, Pages 767-771

  Sward, Ricky E ^a  

^a UNITED STATES AIR FORCE ACADEMY   (United States)

Author keywords

Formal Methods; Program Correctness; Software Engineering; Unmanned Aerial Vehicles

Indexed keywords

AIRCRAFT; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; NAVIGATION; RECONNAISSANCE AIRCRAFT; SOFTWARE ENGINEERING;

FORMAL METHODS; PROGRAM CORRECTNESS; UAV AUTO-PILOT SYSTEMS; UNMANNED AERIAL VEHICLES (UAV);

UNMANNED VEHICLES;

EID: 33745122248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2005.1461287     Document Type: Conference Paper

References (13)

1. Amey, Peter. Logic versus Magic in Critical Systems. Published in Lecture Notes in Computer Science, vol 2043, c2001, Springer-Verlag.
2. Barnes, John. High Integrity Software, The Spark Approach to Safety and Security. c2003 Praxis Critical Systems Limited. London, England.
3. DoD Unmanned Aerial Vehicles Roadmap 2002-2027. Office of the Secretary of Defense. Dec 2002.
4. http://www.acrtucson.com/UAV/index.htm Retrieved from the Advanced Ceramics Research (ACR) web site on 9 Sep 04.
5. http://vl.fmnel.info/ Formal Methods notations, methods, and tools. Retrieved from the Center for Applied Formal Methods on 9 December 2004.
6. http://vl.zuser.org/ The 2 Notation. Retrieved from the Center for Applied Formal Methods on 9 December 2004.
7. http://www.sds.lcs.mit.edu/spd/larch/ MIT Larch Home Page. Retrieved on 9 December 2004.
8. http://vi.fmnct.info/hol/ The HOL Theorem Prover. Retrieved on 9 December 2004.
9. Chapman, Roderick. Industrial Experience with SPARK. Proceedings of the ACM Conference on Ada, Nov 2000, Laurel, MD, USA.
10. Croxford, Martin and James Sutton. Breaking Through the V and V Bottleneck. White paper from Praxis Critical Systems, Bath, England. Retrieved from http://www.praxis-his.com/sparkada/ on 9 December 2004.
11. Amey, Peter. Correctness by Construction: Better Can Also Be Cheaper. CrossTalk, the Journal of Defense Software Engineering, Mar 2002.
12. Amey, Peter and Roderick Chapman. Static Verification and Extreme Programming. Proceedings of the ACM Conference on Ada, Dec 2003.
13. Cloud Cap Technology. Retrieved from http://www.cloudcaptech.com/ on 15 December 2004.