A formal approach to determining parallel resource bindings
conference contributionposted on 02.02.2009 by Walter Hussak, John A. Keane
Any type of content contributed to an academic conference, such as papers, presentations, lectures or proceedings.
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
- Computer Science