Explicit modelling of physical measures: from Event-B to Java - Télécom SudParis Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
GibsonMery18.pdf (998.8 Ko) Télécharger le fichier
Origine : Publication financée par une institution
Loading...

Dates et versions

hal-01798224 , version 1 (23-05-2018)

Identifiants

Citer

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⟩
80 Consultations
80 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More