Abstract
The paper illustrates the results of applying Teamwork/Ada and the RAISE Formal Method to develop an Air Traffic Control application. Two approaches have been applied for the development of the application: integrated-parallel and a-posteriori. After a quick description of Teamwork/Ada and RAISE, the paper illustrates how these two approaches have been adopted and discusses the costs, the benefits and the changes associated to each of them. Based on lessons learnt, the paper also provides recommendations on how to apply the two approaches effectively.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Abbreviations
- ATC:
-
Air Traffic Control
- CDR:
-
Critical Design Review
- FM:
-
Formal Method
- PDL:
-
Program Design Language
- PDR:
-
Preliminary design Review
- RAISE:
-
Rigorous Approach to Industrial Software Engineering
- RSL:
-
RAISE Specification Language
- SDD:
-
Software Design Document
- SQS:
-
Software Quality System
- SRS:
-
Software Requirements Specification
- STD:
-
Software Test Description
- STP:
-
Software Test Plan
- TCA:
-
Traffic Conflicts Alert
References
Teamwork/Ada — User's Guide Cadre Technologies Inc. December 1990
The RAISE Language Group: The RAISE Specification Language, Prentice Hall 1992
The RAISE Method Group: The RAISE Development Method, Prentice Hall 1994
The RAISE Tool Group: RAISE Tools Reference Manual, CRI 1994
N.G.Levenson, M.P.E.Heimdahl: Requirements Specification for Process-Control Systems IEEE Transactions on Software Engineering, September 1994
R.A.Kemmerer: Integrating Formal Methods into the Development Process IEEE Software, September 1990
J.M.Wing, A.M.Zaremski: Unintrusive Ways to Integrate Formal Specifications in Practice Proceedings of the IV International Symposium of VDM Europe Noordwijkerhout, The Nertherlands, October 1991
J.Dick, J.Loubersac: Integrating Structure and Formal Methods: A Visual Approach to VDM Proceedings of the III European Software Engineering Conference Milano, Italy, October 1991
A.Alapide, M.Cinnella, P.La Vopa: Automatic Generation of Ada Code with the RAISE Formal Method Proceedings of the III Symposium Ada in Aerospace, Wien 1992.
A.Alapide, M.Cinnella, P.La Vopa: The Viability of Applying COCOMO to RAISE-Ada Projects Proceedings of the III Symposium Ada in Aerospace, Wien 1992
D.Craigen, S.Gerhart, T.Ralstone: Formal Methods Reality Check: Industrial Usage Proceedings of the I Internatinal Symposium of Formal Method Europe, Odense, Denmark, April 1993
C.Lewerentz, T.Lindner: Formal Methods for Reactive Systems Forschungszentrum Informatik Formal Methods Europe 1994 Conference Notes
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alapide, A., Candia, S., Cinnella, M., Quaranta, S. (1996). Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015505
Download citation
DOI: https://doi.org/10.1007/BFb0015505
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60757-1
Online ISBN: 978-3-540-49362-4
eBook Packages: Springer Book Archive