Explicit Modelling of Physical Measures: From Event-B to Java

  title={Explicit Modelling of Physical Measures: From Event-B to Java},
  author={J. Gibson and D. M{\'e}ry},
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… Expand
2 Citations


Rodin: an open toolset for modelling and reasoning in Event-B
  • 572
  • Highly Influential
  • PDF
A model-driven approach to automatic conversion of physical units
  • 7
Modeling in Event-B - System and Software Engineering
  • 1,307
  • PDF
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study
  • 11
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
  • 273
  • PDF
Modeling a landing gear system in Event-B
  • Amel Mammar, R. Laleau
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2015
  • 19
  • PDF
Arithmetic with measurements on dynamically-typed object-oriented languages
  • 5
  • PDF
Safety-critical systems, formal methods and standards
  • 262
Programming languages and dimensions
  • 81
  • PDF
Formalizing hybrid systems with Event-B and the Rodin Platform
  • 45
  • Highly Influential
  • PDF