Abstract
Action systems are a formalism for representing concurrent behaviours, based on interleaved atomic actions. We show how this model can be used to represent time-consuming, pre-emptible actions with real-time constraints. A development procedure is described which captures the steps programmers typically undertake in the design of real-time multi-tasking systems. 1. Introduction Many approaches to modelling real-time systems have been proposed in recent years. However, for simplicity, most make unrealistic assumptions such as `maximal parallelism' and `instantaneous' actions. Such models are inadequate for representing the practical problems that programmers actually face when developing real-time systems using priority-driven, pre-emptive task scheduling. Action systems [Bac92] are an attractive formalism for modelling concurrent systems. They extend the familiar notion of sequential state machines into the realm of concurrent systems by allowing independent atomic actions to be i...
| Original language | English |
|---|---|
| Pages (from-to) | 175-207 |
| Number of pages | 33 |
| Journal | Formal Aspects of Computing |
| Volume | 9 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 1 Dec 1997 |
Keywords
- Action systems
- Ada 95
- Concurrency
- Real-time
- Z