Industrial deployment of system engineering methods providing high dependability and productivity

 

Tool Support for Event-B Code Generation

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)

[img]
Preview
PDF
106Kb

Official URL: http://eprints.ecs.soton.ac.uk/18434/

Abstract

The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is done at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. In previous work we developed an approach to bridge the gap between abstract specifications and implementations using an implementation level specification notation. In this paper we present details of the tool support for our notation and some of our experiences using the tool.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Event-B Tools, Code Generation, Concurrency
Subjects:Tool developments > Code generation
ID Code:197
Deposited By:Mr Andrew Edmunds
Deposited On:01 Feb 2010 09:32
Last Modified:19 Apr 2010 16:06

Repository Staff Only: item control page

Deploy-Project - All right reserved