The University of Southampton
University of Southampton Institutional Repository

Building on the DEPLOY legacy: code generation and simulation

Edmunds, Andrew, Colley, John and Butler, Michael (2012) Building on the DEPLOY legacy: code generation and simulation At DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B.

Record type: Conference or Workshop Item (Paper)

Abstract

The RODIN, and DEPLOY projects have laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B; we investigated code generation for embedded, multi-tasking systems. This work describes activities from a follow-on project, ADVANCE; where our interest is co-simulation of cyber-physical systems. We are working to better understand the issues arising in a development when modelling with Event-B, and animating with ProB, in tandem with a multi-simulation strategy. With multi-simulation we aim to simulate various features of the environment separately, in order to exercise the deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machines, to simulate the environment, and simulate concurrently executing state-machines, in a single task. We show how we can instrument the code to guide the simulation, by controlling the relative rate that non-deterministic transitions are traversed in the simulation.

PDF DS_EventB_2012.pdf - Other
Download (322kB)

More information

Published date: 2012
Venue - Dates: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 2012-01-01
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 342170
URI: http://eprints.soton.ac.uk/id/eprint/342170
PURE UUID: 65ce1cde-0c44-480b-a09a-44aa33c22444
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 14 Aug 2012 07:16
Last modified: 18 Jul 2017 05:30

Export record

Contributors

Author: Andrew Edmunds
Author: John Colley
Author: Michael Butler ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×