Abstract
After the Air Force Academy switched its curriculum to Java, I extracted myself from the Ada community and moved on to other research interests, particularly computer security. In this talk, I'll explain the new developments that brought me back to Ada and how Ada and SPARK may be a secret weapon in the 21st century.
Index Terms
Why i came back to Ada
Recommendations
Why i came back to Ada
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming languageAfter the Air Force Academy switched its curriculum to Java, I extracted myself from the Ada community and moved on to other research interests, particularly computer security. In this talk, I'll explain the new developments that brought me back to Ada ...
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
SIGAda '06: Proceedings of the 2006 annual ACM SIGAda international conference on AdaIn this paper, we describe our application of the SPARK programming language to the development of flight control software for an Unmanned Aerial Vehicle (UAV). The SPARK language was used during a senior-level software engineering course at the US Air ...
Practical Application of SPARK to OpenUxAS
Formal Methods – The Next 30 YearsAbstractThis paper presents initial, positive results from using SPARK to prove critical properties of OpenUxAS, a service-oriented software framework developed by AFRL for mission-level autonomy for teams of cooperating unmanned vehicles. Given the ...







Comments