Abstract
This paper provides an overview of work carried out to: integrate tools to support the use of the formal techniques RAISE and LOTOS into a software development environment, the ESSDE; and then to use these integrated tools to demonstrate the application of formal techniques in a software development lifecycle. The work involved many concerns: extending the functionality of SDEs via tool integration, the usage of SDEs, the practical application of formal techniques, interworking of different methods in the software lifecycle. Some conclusions with respect to these concerns are also reported.
We would like to thank ESA for their support of this work, but would emphasise that the opinions presented here are those of the author and do not necessarily represent the policy of ESA.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
ESA: Esa Software Engineering Standards, ESA PPS-05-0 Issue 2, ESA 1991.
ISO International Standard: Information Processing Systems-Open Systems Interconnection-LOTOS — ISO 8807. International Standards Organisation 1990.
The RAISE Language Group: The RAISE Specification Language, Prentice Hall 1992.
SEMA Group: CONCERTO Release 3, SEMA Group 1992
van der Vloedt A. and Doornbosch P.: Software Requirements for the LOTOS tool/ESSDE integration, ESA ESSDE Advanced Methods and Tools Project report D/2.2.1/A, ITA 1994.
van der Vloedt A. and Doornbosch P.: Acceptence Test Procedures for the LOTOS tool/ESSDE integration (SVVP-AT), ESA ESSDE Advanced Methods and Tools Project report D/2.2.1/B, ITA 1994.
van der Vloedt A. and Doornbosch P.: Architectural Design for the LOTOS tool integration, ESA ESSDE Advanced Methods and Tools Project report D/2.2.1/C, ITA 1994.
van der Vloedt A. and Doornbosch P.: Detailed Design for the LOTOS tool integration, ESA ESSDE Advanced Methods and Tools Project report D/2.2.1/D, ITA 1994.
Haff P. and Heilmann S.: Software Requirements for the RAISE tool/ESSDE integration, ESA ESSDE Advanced Methods and Tools Project report D/2.1.1/A, CRI 1994.
HaffP. and Heilmann S.: Acceptence Test Procedures for the RAISE tool/ESSDE integration (SVVP-AT), ESA ESSDE Advanced Methods and Tools Project report D/2.1.1/B, CRI 1994.
Haff P. and Heilmann S.: Architectural Design for the RAISE integration software, ESA ESSDE Advanced Methods and Tools Project report D/2.1.1/E, CRI 1994.
Haff P. and Heilmann S.: Detailed Design for the RAISE integration software, ESA ESSDE Advanced Methods and Tools Project report D/2.2.1/F, CRI 1994.
Sanchez M.: ICU Software Requirements in RAISE, ESA ESSDE Advanced Methods and Tools Project report R/2.1.2-CRISA/1 CRISA 1994.
de Miguel J.: ICU Software Requirements in LOTOS, ESA ESSDE Advanced Methods and Tools Project report R/2.2.2-CRISA/1 CRISA 1994.
Sanchez M. & de Miguel J.: ICU Architectural Design in RAISE and LOTOS, ESA ESSDE Advanced Methods and Tools Project report R/2.1.2-CRISA/2 CRISA 1994.
Sanchez M. & de Miguel J.: ICU Detailed Design in RAISE and LOTOS, ESA ESSDE Advanced Methods and Tools Project report R/2.1.2-CRISA/3 CRISA 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Taylor, P. (1994). Formal methods for a space software development environment. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1994. Lecture Notes in Computer Science, vol 887. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58822-1_91
Download citation
DOI: https://doi.org/10.1007/3-540-58822-1_91
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58822-1
Online ISBN: 978-3-540-49110-1
eBook Packages: Springer Book Archive