Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report

Mashkoor, Atif; Kossak, Felix; Biró, Miklós; Egyed, Alexander

doi:10.1007/978-3-319-92997-2\_17

by Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed

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.

View PDF

Reference:

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed), In Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings (Alfonso Pierantonio, Salvador Trujillo, eds.), Springer, volume 10890, 2018.

Bibtex Entry:

@Conference{DBLP:conf/ecmdafa/MashkoorKBE18,
  author    = {Atif Mashkoor and Felix Kossak and Miklós Biró and Alexander Egyed},
  booktitle = {Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings},
  title     = {Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report},
  year      = {2018},
  editor    = {Alfonso Pierantonio and Salvador Trujillo},
  pages     = {264-278},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {10890},
  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.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/ecmdafa/MashkoorKBE18},
  crossref  = {DBLP:conf/ecmdafa/2018},
  doi       = {10.1007/978-3-319-92997-2\_17},
  file      = {:Conferences/ECMFA 2018 - Model-Driven Re-Engineering of a Pressure Sensing System/Model-Driven Re-Engineering of a Pressure Sensing System-preprint.pdf:PDF},
  keywords  = {SCCH},
  timestamp = {Fri, 02 Nov 2018 09:44:48 +0100},
  url       = {https://doi.org/10.1007/978-3-319-92997-2\_17},
}