G.多尔蒂。;马森克，M。;法孔蒂，G。 使用混合自动机支持关键系统中的人为因素分析。 （英语） Zbl 0990.68521号 形式方法系统。设计。 19，第2期，143-164（2001）。 总结：许多新兴技术和交互技术的共同特点是，人类和计算机之间的耦合越来越紧密。除了传统的离散交互之外，更多的连续交互技术，如手势识别、触觉反馈和动画，也发挥着越来越重要的作用。此外，许多监控系统（如飞行甲板系统）已经具有强大的连续元件。这些系统的复杂性以及对其操作中涉及的人为因素进行严格分析的必要性，导致我们研究对其分析的正式和可能的自动化支持。这些系统具有重要的时间方面，除了离散事件外，还可能涉及连续变量，这一事实推动了混合系统建模的应用，它具有包含这些问题的表达能力。本质上，我们关注的是与人的因素相关的问题，这些问题的答案取决于用户与复杂动态系统之间的交互。我们探讨了混合自动机（混合系统的一种形式主义）在交互式系统的规范和分析中的应用。为了说明该方法，我们将其应用于对现有飞行甲板仪器的分析，以监测和控制液压子系统。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：关键系统;混成自动机 软件：Uppaal公司;高超声速 PDF格式BibTeX公司 XML格式引用 \textit{G.Doherty}等人，《形式方法系统》。设计。19，第2号，143--164（2001；Zbl 0990.68521） 全文： 内政部