Skip to Main content Skip to Navigation
Conference papers

Explicit modelling of physical measures: from Event-B to Java

John Paul Gibson 1, 2 Dominique Méry 3, 4
2 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc...). Secondly, there is inco- herence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01798224
Contributor : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Submitted on : Wednesday, May 23, 2018 - 11:56:17 AM
Last modification on : Wednesday, April 15, 2020 - 1:49:12 AM
Document(s) archivé(s) le : Friday, August 24, 2018 - 8:40:50 PM

File

GibsonMery18.pdf
Publication funded by an institution

Identifiers

Citation

John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩

Share

Metrics

Record views

82

Files downloads

177