Loading...
Please wait, while we are loading the content...
Chasing Events to Certify a Critical System
| Content Provider | Semantic Scholar |
|---|---|
| Author | Zakiuddin, Irfan Moffat, Nick O'Halloran, Colin Ryan, Peter |
| Copyright Year | 1999 |
| Abstract | This paper describes a verification, for safe behaviour, of a Command and Control System, performed by the authors for a customer within the United Kingdom Ministry of Defence. The entire system consists of eight sub-systems which interact by exchanging messages. The system progresses through a number of critical states, finally performing a critical operation. The system is notable for its size and complexity, consisting of approximately 150 messages. The messages represent assertions of states; however, states may also be retracted and faults may occur. This work was undertaken as part of a military procurement project, not a research project, and it was completed to project budgets and deadlines. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/deva/papers/3b.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
