Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/4154

Title: A formal approach to determining parallel resource bindings
Authors: Hussak, Walter
Keane, John A.
Issue Date: 1994
Publisher: © IEEE
Citation: KEANE, J.A. and HUSSAK, W., 1994. A formal approach to determining parallel resource bindings. IN: Proceedings, IEEE International Conference on Software Engineering. IC SE-16, Sorrento, Italy, 16-21 May 1994, pp. 15-22
Abstract: The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the high-level design of such systems. In operating systems design, much use is made of the informal notion of resource bindings. A way of improving the high-level design of parallel systems is proposed by providing a formal language for enumerating the design space and thus enabling all high-level design alternatives to be represented. A design process to be used with this language is given, the aim being to establish the most appropriate binding. The process is temporal logic-based and permits high level design of parallel systems to be analysed, tested and, in certain cases, formally verified before implementation is embarked upon
Description: This is a conference paper [© IEEE]. It is also available from: http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=981. 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.
Version: Published
DOI: 10.1109/ICSE.1994.296762
URI: https://dspace.lboro.ac.uk/2134/4154
ISBN: 081865855X
ISSN: 0270-5257
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
Hussak_A_Formal_Approach_To_Determining.pdf704.47 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.