Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed,
"Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report"
, in Alfonso Pierantonio and Salvador Trujillo: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings, Serie Lecture Notes in Computer Science (LNCS), Springer, Seite(n) 264-278, 6-2018
Original Titel:
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report
Sprache des Titels:
Englisch
Original Buchtitel:
Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Original Kurzfassung:
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.
Forschungs-