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

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

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

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

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

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Editors	Alfonso Pierantonio and Salvador Trujillo
Publisher	Springer
Pages	264-278
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-92997-2_17
Publication status	Published - Jun 2018

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1007/978-3-319-92997-2_17

Cite this

Mashkoor, A., Kossak, F., Biró, M., & Egyed, A. (2018). Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. In Alfonso Pierantonio and Salvador Trujillo (Ed.), Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings (pp. 264-278). (Lecture Notes in Computer Science (LNCS)). Springer. https://doi.org/10.1007/978-3-319-92997-2_17

Mashkoor, Atif ; Kossak, Felix ; Biró, Miklós et al. / Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. editor / Alfonso Pierantonio and Salvador Trujillo. Springer, 2018. pp. 264-278 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{ee15c5cc66344045b8e8691f6d339c2d,

title = "Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report",

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.",

author = "Atif Mashkoor and Felix Kossak and Mikl{\'o}s Bir{\'o} and Alexander Egyed",

year = "2018",

month = jun,

doi = "10.1007/978-3-319-92997-2_17",

language = "English",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "264--278",

editor = "{Alfonso Pierantonio and Salvador Trujillo}",

booktitle = "Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings",

}

Mashkoor, A, Kossak, F, Biró, M & Egyed, A 2018, Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. in Alfonso Pierantonio and Salvador Trujillo (ed.), Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Lecture Notes in Computer Science (LNCS), Springer, pp. 264-278. https://doi.org/10.1007/978-3-319-92997-2_17

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. / Mashkoor, Atif; Kossak, Felix; Biró, Miklós et al.
Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. ed. / Alfonso Pierantonio and Salvador Trujillo. Springer, 2018. p. 264-278 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

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

AU - Mashkoor, Atif

AU - Kossak, Felix

AU - Biró, Miklós

AU - Egyed, Alexander

PY - 2018/6

Y1 - 2018/6

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-92997-2_17

DO - 10.1007/978-3-319-92997-2_17

M3 - Conference proceedings

T3 - Lecture Notes in Computer Science (LNCS)

SP - 264

EP - 278

BT - Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

A2 - Alfonso Pierantonio and Salvador Trujillo, null

PB - Springer

ER -

Mashkoor A, Kossak F, Biró M, Egyed A. Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. In Alfonso Pierantonio and Salvador Trujillo, editor, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Springer. 2018. p. 264-278. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-319-92997-2_17