Browse by author
Lookup NU author(s): Dr Zoe Andrews
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
Author(s): Andrews Z
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2009
Pages: 44
Print publication date: 01/07/2009
Source Publication Date: July 2009
Report Number: 1154
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