Abstract
The FOREST project, supported under the Alvey initiative, addressed the problem of capture and specification of requirements of software systems. The specification technique is based on the use of a formal system built around a form of modal logic, which has come to be referred to as MAL, which permits both the effects of actions and the circumstances in which they are to be invoked to be defined. This paper uses the example of a real time operating system kernel to compare the specifications in VDM with those in MAL.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R Shaw. Tutorial introduction to VDM given at the VDM Europe Symposium, Brussels, 1987.
FOREST Report R3. T.S.E Maibaum. A Logic for the Formal Requirements Specification of Realtime Embedded Systems. 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goldsack, S.J. (1988). Specification of an operating system kernel forest and VDM compared. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_9
Download citation
DOI: https://doi.org/10.1007/3-540-50214-9_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50214-2
Online ISBN: 978-3-540-45955-2
eBook Packages: Springer Book Archive