Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Practical Experience Applying Formal Methods to Air Traffic Management Software

Summary: Practical Experience Applying Formal Methods to Air
Traffic Management Software
Richard Yates, Jamie Andrews, Phil Gray
Abstract. This paper relates experiences with formal
methods that are relevant to the systems engineering
activities of requirements specification, design
documentation, and test case generation. Specifically,
this paper reviews the lessons learned from the
application of formal methods to selected components
of an air traffic management system. This project used
experimental tools developed at the University of
British Columbia: S, a formal specification tool; HPP,
an HTML documentation tool; and TCG, a test case
generation tool. The components experimented on are
from a recently fielded system written in C++ using
unimplemented pre­ and post­conditions on
components. The purpose of the experiment was to
evaluate the usefulness of these formal methods to
uncover design or logic errors in the system
components and to assist in designing test cases. This


Source: Andrews, Jamie - Department of Computer Science, University of Western Ontario


Collections: Computer Technologies and Information Sciences