A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint
A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint
复制标题
基于时空耦合安全约束的改进定时彩色 Petri 网的危害分析
DOI：
10.1016/j.cja.2016.04.016
复制
发表时间：
2016-08
影响因子：
5.7
通讯作者：
Liu Bin
中科院分区：
文献类型：
--
作者：
Li Zelin;Wang Shihai;Zhao Tingdi;Liu Bin
Petri网是图形和数学工具，适用于许多系统的建模，仿真和分析。随着航空电子应用标准软件接口（ARINC 653）中提出的时空域划分概念的出现，利用经典或高级Petri网分析资源划分引起的时空耦合危害变得困难。在本文中，我们提出了一个时空耦合的安全约束和一个改进的时间着色Petri网与强加的时空耦合的安全约束（TCCP-NET），以填补这一需求的差距。时空耦合危害分析分为规范建模、仿真执行和结果分析三个步骤。采用TCCP-NET对综合模块化航空电子系统（IMA）这一实时性、安全性要求高的系统进行了建模和分析。分析结果用于验证运行时是否存在时空耦合危害。我们提出的方法表明安全关键的实时系统的上级建模，因为它可以指定在时间和空间域的资源分配。TCCP-NET可以有效地检测潜在的时空耦合危害。
Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface (ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints (TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics (IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.
登录
查看更多内容
DOI：
10.1109/dasc.2008.4702770
发表时间：
2008-12
期刊：
2008 IEEE/AIAA 27th Digital Avionics Systems Conference
影响因子：
--
作者：
P. Prisaznuk
通讯作者：
P. Prisaznuk
DOI：
10.1007/978-3-662-03241-1
发表时间：
1996
期刊：
--
影响因子：
--
作者：
K. Jensen
通讯作者：
K. Jensen
DOI：
10.1201/9780849384394.ch14
发表时间：
2006-12
期刊：
Avionics
影响因子：
--
作者：
P. Prisaznuk
通讯作者：
P. Prisaznuk
DOI：
10.1109/dasc.2008.4702767
发表时间：
2008-12
期刊：
2008 IEEE/AIAA 27th Digital Avionics Systems Conference
影响因子：
--
作者：
S. Santos;José Rufino;T. Schoofs;C. Tatibana;James Windsor
通讯作者：
S. Santos;José Rufino;T. Schoofs;C. Tatibana;James Windsor
DOI：
--
发表时间：
1991-08
期刊：
--
影响因子：
--
作者：
K. Jensen;G. Rozenberg
通讯作者：
K. Jensen;G. Rozenberg