Concurrent System Behaviour

  • S. Sawyers


The sequence of activities within a concurrent system may occur in an unobserved and unspecified manner. The consequence of such behaviours isthat the specification of the system is incomplete. In order to analyse the possible behaviour of sequences, issues involving the timing of activities have to be investigated with a sensitive system clock operating in false-time. A scenario for the system under investigation has to be developed that presents an indication of possible weak areas in the design. The concurrent behav our of industrial systems is discussed with respect to false-time.


Manufacturing Cell Concurrent System Finite State Automaton Weld Robot Clock State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kohavi, Z, Swiching and Finite Automata Theory, McGraw-Kill, 1978.Google Scholar
  2. 2.
    Luger, G.F., Stubblefield, W.A., Artificial Intelligence and the Design of Expert System, Benjamin-Cummings, 1989.Google Scholar
  3. 3.
    Pountain, R.A., A Tutorial Introduction to Occam Programming, Inmos, 1987.Google Scholar
  4. 4.
    Joseph, M., Goswami, A., What’s ‘Real’ about Real-Time System?, Research Report, Dept. of Computer Science, Univ. of Warwick, UK, 1988.Google Scholar
  5. 5.
    Quinn, M.J., Designing Efficient Algorithms for Paralell Computers, McGraw-Hill, 1987.Google Scholar

Copyright information

© Kogan Page Ltd. 1989

Authors and Affiliations

  • S. Sawyers
    • 1
  1. 1.Faculty of Engineering and Computer TechnologyBirmingham PolytechnicBirminghamUK

Personalised recommendations