Hussak_The_use_of_formal_methods.pdf (558.8 kB)
The use of formal methods in parallel operating systems
conference contribution
posted on 2009-02-02, 14:40 authored by John A. Keane, Walter HussakWalter HussakThe authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel graph reduction machine and written in a functional language enhanced with state-based objects, the other was written in C++. A brief overview of each system is given before concentrating on the use of formal methods. A description is given of how both a technique for formally specifying sequential systems (VDM) and a technique for specifying concurrent systems (temporal logic) have been used together. In both cases, the issue of verification is addressed
History
School
- Science
Department
- Computer Science
Citation
KEANE, J.A. and HUSSAK, W., 1992. The use of formal methods in parallel operating systems. IN: Proceedings, IEEE 16th Annual International Computer Software and Applications Conference. COMPSAC '92, Chicago, IL, USA, 21-25 September 1992, pp. 245-250Publisher
© IEEEVersion
- VoR (Version of Record)
Publication date
1992Notes
This is a conference paper [© IEEE]. It is also available from: http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=438. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.ISBN
0818630000Language
- en