研究目的
由于其能够检测复杂并发系统中的问题,形式化验证应能判定特定医疗警报配置中是否会出现掩蔽现象。本文研究证明这是可行的。我们开发了一种方法,使分析人员能够指定警报配置,并通过形式化验证检测是否存在所有警报均被掩蔽的情况。
研究成果
本研究提出了一种识别医疗警报配置中掩蔽效应的新方法。该方法运用形式化建模架构、掩蔽的听觉心理模型、规范属性模式以及模型检测的形式验证技术,来判定所建模配置中的每个警报在正常听力条件下是否可被感知。该技术能帮助医护人员在部署前评估不同医疗警报配置的安全性,从而显著提升患者安全水平。
研究不足
当前方法的实现采用了MPEG2音频编解码器中针对正常听力的扩散函数,这可能无法适应不同听力水平的人群。此外,该方法未考虑加性掩蔽或时间掩蔽效应,且警报器通常并非在完全安静的环境中运行。