Towards a Stochastic Event-B for Designing Dependable Systems

  1. Lookup NU author(s)
  2. Dr Zoe Andrews
Author(s)Andrews Z
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateJuly 2009
Report Number1154
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
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication