The University of Southampton
University of Southampton Institutional Repository

An Interval-Based Approach to Modelling Time in Event-B

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B In Fundamentals of Software Engineering. vol. 9392, , pp. 292-307. (doi:10.1007/978-3-319-24644-4_20).

Record type: Conference or Workshop Item (Paper)

Abstract

Our work was inspired by our modelling and verification of a cardiac pacemaker, which includes concurrent aspects and a set of interdependent and cyclic timing constraints. To model timing constraints in such systems, we present an approach based on the concept of timing interval. We provide a template-based timing constraint modelling scheme that could potentially be applicable to a wide range of modelling scenarios. We give a notation and Event-B semantics for the interval. The Event-B coding of the interval is decoupled from the application logic of the model, therefore a generative design of the approach is possible. We demonstrate our interval approach and its refinement through a small example. The example is verified, model-checked and animated (manually validated) with the ProB animato

PDF PAPER.pdf - Version of Record
Download (312kB)

More information

e-pub ahead of print date: 12 November 2015
Published date: 2015
Venue - Dates: 6th IPM International Conference on Fundamentals of Software Engineering, Iran, Islamic Republic of, 2015-04-22 - 2015-04-24
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 377201
URI: http://eprints.soton.ac.uk/id/eprint/377201
PURE UUID: 39e02329-fec7-43a0-bcad-d64aed0b3523

Catalogue record

Date deposited: 02 Jun 2015 14:16
Last modified: 17 Jul 2017 13:24

Export record

Altmetrics

Contributors

Author: Gintautas Sulskus
Author: Michael Poppleton
Author: Abdolbaghi Rezazadeh

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.

×