Safety-assured development of the GPCA infusion pump software
Safety-assured development of the GPCA infusion pump software
复制标题
安全可靠的 GPCA 输液泵软件开发
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
R. Jetley
中科院分区：
文献类型：
--
作者：
Baekgyu Kim;A. Ayoub;O. Sokolsky;Insup Lee;P. Jones;Y. Zhang;R. Jetley
本文介绍了我们使用模型驱动工程的努力，以美国食品和药物管理局（FDA）提供的通用PCA参考模型为基础，建立了一个安全可靠的患者自控镇痛药（PCA）输液泵软件。首先使用UPPAAL工具将参考模型转换为时间自动机网络。根据FDA提供的通用安全要求，它的安全性能得到了保证。一旦建立了参考模型的安全性，我们应用TIMES工具自动生成与平台无关的代码作为其初步实现。然后，为代码配备辅助设施，与泵硬件进行接口，并将其部署到真正的PCA泵上。实验结果表明，该代码在实际泵上运行正确有效。为了确保代码不会引入任何违反安全需求的情况，我们还开发了一个测试平台，通过一致性测试来检查参考模型和代码之间的一致性。本文还讨论了我们在工作中遇到的挑战和吸取的教训。
This paper presents our effort of using model-driven engineering to establish a safety-assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software based on the generic PCA reference model provided by the U.S. Food and Drug Administration (FDA). The reference model was first translated into a network of timed automata using the UPPAAL tool. Its safety properties were then assured according to the set of generic safety requirements also provided by the FDA. Once the safety of the reference model was established, we applied the TIMES tool to automatically generate platform-independent code as its preliminary implementation. The code was then equipped with auxiliary facilities to interface with pump hardware and deployed onto a real PCA pump. Experiments show that the code worked correctly and effectively with the real pump. To assure that the code does not introduce any violation of the safety requirements, we also developed a testbed to check the consistency between the reference model and the code through conformance testing. Challenges encountered and lessons learned during our work are also discussed in this paper.