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.
Unable to display preview. Download preview PDF.
- 1.Kohavi, Z, Swiching and Finite Automata Theory, McGraw-Kill, 1978.Google Scholar
- 2.Luger, G.F., Stubblefield, W.A., Artificial Intelligence and the Design of Expert System, Benjamin-Cummings, 1989.Google Scholar
- 3.Pountain, R.A., A Tutorial Introduction to Occam Programming, Inmos, 1987.Google Scholar
- 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.Quinn, M.J., Designing Efficient Algorithms for Paralell Computers, McGraw-Hill, 1987.Google Scholar