Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
复制标题
DOI：
10.1007/978-3-319-91271-4_31
复制
发表时间：
2018-06
期刊：
影响因子：
--
通讯作者：
Wen Su;Jinxin Chen;Shehroz Khan
中科院分区：
文献类型：
--
作者：
Wen Su;Jinxin Chen;Shehroz Khan
这个胰岛素泵的案例研究是为了描述我们对以下困难的解决方案。首先，如何对特征进行建模以获得一系列产品。其次，在组合特征时如何处理复杂的约束和组件的同步。第三，如何为个体特征和组合系统构建连续环境。
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.