Towards a Stochastic Event-B for Designing Dependable Systems
- Lookup NU author(s)
- Dr Zoe Andrews
|
|
|
|
| Author(s) | | Andrews Z |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2009 |
| Date | | July 2009 |
| Report Number | | 1154 |
| Pages | | 44 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| Designing dependable systems is complex and, whilst the state of the art goes some way towards assisting in the design process, existing approaches have some limitations. A case study is used to explore the available approaches and discuss their benefits and limitations. Based on these observations, stochastic extensions to the Event-B notation are proposed that build on the strengths of the existing approaches and aim to address some of their limitations. This new language is also trialled on the case study and shows some promise. The paper concludes with some suggestions for further work in this area |
|
|
|
| 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/1154.pdf |
| Actions | |  |
