eCite Digital Repository
Deterministic timing behaviour of occam programs
Citation
Nixon, PA and Croll, P, Deterministic timing behaviour of occam programs, SERC/InstMC Symposium: Postgraduate Research in Control and Instrumentation, 1993, UK, pp. 1-14. (1993) [Refereed Conference Paper]
![]() | PDF Not available 77Kb |
Copyright Statement
Copyright 2014 the Authors
Abstract
Driven by economics and design flexibility, an increasing number of applications are dependant on software for primary control functions. This software has traditionally been based around sequential computing systems, but with the ever–increasing demand for performance parallel processing is
emerging as an alternative solution. Parallel processing satisfies two major requirements in the design of real–time systems; high performance and high reliability. High performance is gained through multiple processing units, and high reliability results from the ability to separate concerns and introduce fault tolerance in a natural manner. Nevertheless, using parallel processing requires a different approach to design. In particular, problems such as deadlock, livelock and timing analysis are more difficult to detect and analyse
for in parallel systems and should be addressed during the design phase. This PhD research has focused on the design of parallel programs which can be guaranteed to meet their temporal constraints. With transputer based occam systems as the target implementation, an investigation has been made into the use of a functional specification language called PAISLey to develop occam programs with determinable timing behaviour.
Item Details
Item Type: | Refereed Conference Paper |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Theory of computation |
Research Field: | Coding, information theory and compression |
Objective Division: | Information and Communication Services |
Objective Group: | Information systems, technologies and services |
Objective Field: | Information systems, technologies and services not elsewhere classified |
UTAS Author: | Nixon, PA (Professor Paddy Nixon) |
ID Code: | 69355 |
Year Published: | 1993 |
Deposited By: | Research Division |
Deposited On: | 2011-04-20 |
Last Modified: | 2015-01-20 |
Downloads: | 0 |
Repository Staff Only: item control page