A Duration Pattern for Event-B Method

Joris Rehm 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00336320
Contributor : Joris Rehm <>
Submitted on : Monday, November 3, 2008 - 3:21:39 PM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM
Document(s) archivé(s) le : Tuesday, October 9, 2012 - 2:51:10 PM

File

article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00336320, version 1

Collections

Citation

Joris Rehm. A Duration Pattern for Event-B Method. 2nd Junior Researcher Workshop on Real-Time Computing - JRWRTC 2008, Oct 2008, Rennes, France. ⟨hal-00336320⟩

Share

Metrics

Record views

247

Files downloads

112