Model-driven re-engineering of a pressure sensing system: An experience report

F. Kossak, M. Biró, A. Egyed. Model-driven re-engineering of a pressure sensing system: An experience report. volume 10890, pages 264-278, 6, 2018.

Autoren
  • Felix Kossak
  • Miklós Biró
  • Alexander Egyed
BuchModelling Foundations and Applications - Proc. ECMFA 2018
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band10890
ISBN978-3-319-92996-5
Monat6
Jahr2018
Seiten264-278
Abstract

This article presents our experience in re-engineering a pressure sensing system - a subsystem often found in safety-critical medical devices - using the B formal method. We evaluate strengths and limitations of the B method and its supporting platform Atelier B in this context. We find that the current state-of-the-art of model-oriented formal methods and associated tool-sets, especially in automatic code generation, requires further improvement to be amenable to a wider deployment to industrial applications for model-driven engineering purposes.