Deterministic timing behaviour of OCCAM programs

Patrick Nixon, P Croll

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Pages1-14
    Number of pages14
    Publication statusPublished - 1993
    EventSERC/InstMC symposium: Postgraduate Research in Control and Instrumentation - UK
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceSERC/InstMC symposium: Postgraduate Research in Control and Instrumentation
    Period1/01/93 → …

    Fingerprint

    Processing
    Transputers
    Specification languages
    Fault tolerance
    Real time systems
    Economics

    Keywords

    • n/a

    Cite this

    Nixon, P., & Croll, P. (1993). Deterministic timing behaviour of OCCAM programs. In Unknown Host Publication (pp. 1-14)
    Nixon, Patrick ; Croll, P. / Deterministic timing behaviour of OCCAM programs. Unknown Host Publication. 1993. pp. 1-14
    @inproceedings{e119a25922d64971ac1a642344df2f84,
    title = "Deterministic timing behaviour of OCCAM programs",
    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.",
    keywords = "n/a",
    author = "Patrick Nixon and P Croll",
    year = "1993",
    language = "English",
    pages = "1--14",
    booktitle = "Unknown Host Publication",

    }

    Nixon, P & Croll, P 1993, Deterministic timing behaviour of OCCAM programs. in Unknown Host Publication. pp. 1-14, SERC/InstMC symposium: Postgraduate Research in Control and Instrumentation, 1/01/93.

    Deterministic timing behaviour of OCCAM programs. / Nixon, Patrick; Croll, P.

    Unknown Host Publication. 1993. p. 1-14.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - Deterministic timing behaviour of OCCAM programs

    AU - Nixon, Patrick

    AU - Croll, P

    PY - 1993

    Y1 - 1993

    N2 - 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.

    AB - 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.

    KW - n/a

    M3 - Conference contribution

    SP - 1

    EP - 14

    BT - Unknown Host Publication

    ER -

    Nixon P, Croll P. Deterministic timing behaviour of OCCAM programs. In Unknown Host Publication. 1993. p. 1-14