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

by   J Paul Gibson, et al.

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 incoherence 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.


page 1

page 2

page 3

page 4


A Security Cost Modelling Framework for Cyber-Physical Systems

Cyber-Physical Systems (CPS) are formed through interconnected component...

A Formal Framework for Distributed Cyber-Physical Systems

Composition is an important feature of a specification language, as it e...

Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems

Securing cyber-physical systems (CPS) against malicious attacks is of pa...

Multiscale modelling and simulation of physical systems as semiosis

It is explored how physicalist mereotopology and Peircean semiotics can ...

DEMoS Manifesto

This is a manifesto for DEMoS, which is a Distributed Embedded Modular S...

Please sign up or login with your details

Forgot password? Click here to reset