9、事故调查助力系统建模与验证及交互式应用自然建模

事故调查助力系统建模与验证及交互式应用自然建模

在系统设计与开发领域，事故调查、系统建模以及交互式应用的自然建模都是至关重要的环节。下面将详细探讨如何利用事故调查信息进行系统建模与验证，以及如何实现交互式应用的自然建模。

事故调查在系统建模中的应用

在复杂系统的重新设计中，利用事故调查的结果至关重要。相关人员借助DSVIS社区的帮助，探索在系统重新设计时运用事故调查产物的具体方法。

系统建模的重要性

系统建模是该方法的重要组成部分。通过系统建模，可以证明在新的系统设计中，特定的事件或事故不会被触发。这里所说的是在描述系统行为的模型中，而非实际系统中。所有交互式系统都应使用形式化规范技术进行正式建模，尤其是安全关键的交互式系统，因为形式化规范技术能提供明确、完整且简洁的符号，确保系统模型描述精确，便于对系统进行准确推理。

Petri网在系统工程中应用广泛，但基于Petri网和并发任务树的互补方法对调查所需的技能集有较高要求，而且准确抽象真实事故和系统行为以进行形式化规范和自动分析，并全面解释事故原因并非易事。此外，事故调查机构若要应对许多安全关键应用过程日益增加的复杂性，明确而详细的培训至关重要，例如NTSB最近在弗吉尼亚州开设了调查员学院。

ICO形式主义在系统建模中的应用

交互式合作对象（ICOs）形式主义是一种用于交互式系统规范的正式描述技术。它借鉴面向对象方法的概念来描述系统的结构或静态方面，使用高级Petri网描述其动态或行为方面。

ICOs可对交互式应用的动态行为进行正式描述，其规范涵盖了用户与应用交互的“输入”和“输出”方面，并且完全可执行，这使得在应用完全实现