Real-time Interactions: An Abstract Notation for Specifying and Analysing the Timing Properties of Real-time Systems
- Lookup NU author(s)
- Neil Henderson
- Dr Stephen Paynter
|
|
|
|
| Author(s) | | Henderson N, Paynter S |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2006 |
| Date | | March 2006 |
| Report Number | | 950 |
| Pages | | 19 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| It is difficult to characterise, and analyse the consistency of, the temporal requirements of real-time systems. This paper describes a notation, called Real-time Interactions, which supports the description of abstract system models and their timing constraints early in the development process. A semantics for the notations is given in CSP enabling system properties to be explored using the FDR2 model checker. The utility of the notations has been demonstrated by model checking properties of a fragment of a design of an air launched missile system. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/950.pdf |
| Actions | |  |
