Model-driven re-engineering of a pressure sensing system: An experience report
Authors |
Atif Mashkoor Felix Kossak Miklós Biró Alexander Egyed |
Editors |
A. Pierantonio S. Trujillo |
Title | Model-driven re-engineering of a pressure sensing system: An experience report |
Booktitle | Modelling Foundations and Applications - Proc. ECMFA 2018 |
Type | in proceedings |
Publisher | Springer |
Series | Lecture Notes in Computer Science |
Volume | 10890 |
ISBN | 978-3-319-92996-5 |
Month | June |
Year | 2018 |
Pages | 264-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. |