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.
Cite
CITATION STYLE
Su, W., Chen, J., & Khan, S. (2018). Insulin pump: Modular modeling of hybrid systems using event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10817 LNCS, pp. 403–408). Springer Verlag. https://doi.org/10.1007/978-3-319-91271-4_31
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
