47、胰岛素泵与自动化友好集合理论的研究进展

胰岛素泵与自动化友好集合理论的研究进展

胰岛素泵：基于Event - B的混合系统模块化建模

胰岛素泵作为安全关键的医疗设备，通常以产品族的形式构建。不同的胰岛素泵产品既拥有共享的通用功能，又具备多样化的特性以满足患者的不同需求。然而，在构建胰岛素泵产品族时，面临着诸多难题。

面临的问题

• 产品族配置问题 ：如何根据患者需求的多样性来配置组件，从而获得一系列产品。
• 组件关系保障问题 ：胰岛素泵的各个组件之间存在复杂的约束和同步关系，如何在组件组合后保证这些关系的有效性。
• 混合系统构建问题 ：若将某些特性建模为独立的混合系统，在组合这些系统时，如何得到一个统一的混合系统。

解决方案

• 模块化建模与组合 ：采用模块化的方法进行建模和组合，以形成产品族。
• 事件转换 ：在组合模型时，将受保护的事件转换为前置条件操作。
• 混合系统分解与组合 ：展示如何对混合系统进行分解和组合。

系统需求与设计

胰岛素泵产品族由两款产品组成，两款产品都具备基础功能（Basal）和普通大剂量功能（Normal Bolus），但只有一款产品额外具备方形/双波大剂量功能（Square/Dual Bolus）。
| 功能 | 描述 |
|