Rigorous Development of Dependable Systems using Fault Tolerance Views
- Lookup NU author(s)
- Ilya Lopatkin
- Dr Alexei Iliasov
- Professor Alexander Romanovsky
|
|
|
|
| Author(s) | | Lopatkin I, Iliasov A, Romanovsky A |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2011 |
| Date | | January 2011 |
| Report Number | | 1234 |
| Pages | | 22 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| This paper introduces the Mode and Fault Tolerance Views approach to stepwise rigorous development of critical systems. This supports structured and recursive modelling of system fault tolerance, including error detection, error recovery and degraded modes. The paper offers a formal and detailed definition of the approach, proposing a way to extend the Event-B modelling with reasoning about fault tolerance. To support the approach, a tool which is integrated into the Rodin development environment is employed. The method is shown by developing a medium-scale case study from the aerospace domain; this models complex mode management enriched with graceful degradation caused by errors. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
