Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B

Abstract

This case study of an insulin pump is to describe our solution of the following difficulties. Firstly, how to model features to obtain a family of products. Secondly, how to handle complex constraints and synchronization of components when composing features. Thirdly, how to construct the continuous environment for the individual features as well as for the composed system.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{SuCK18,
  author       = {Wen Su and
                  Jinxin Chen and
                  Shehroz Khan},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {403--408},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_31},
  doi          = {10.1007/978-3-319-91271-4\_31},
  timestamp    = {Thu, 18 Apr 2024 10:08:30 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/SuCK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}