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.
CITATION STYLE
Mashkoor, A., Kossak, F., Biró, M., & Egyed, A. (2018). Model-driven re-engineering of a pressure sensing system: An experience report. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10890 LNCS, pp. 264–278). Springer Verlag. https://doi.org/10.1007/978-3-319-92997-2_17
Mendeley helps you to discover research relevant for your work.