文献

J-GLOBAL ID：201702233512669622   整理番号：17A0071103

時間-空間結合安全性制約を用いた改良型時間付き色付きPetriネットを用いた危険度解析【Powered by NICT】

A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint

著者 (4件)： Li Zelin (Science and Technology on Reliability and Environmental Engineering Laboratory,School of Reliability and Systems Engineering,Beihang University) ,  Wang Shihai (Science and Technology on Reliability and Environmental Engineering Laboratory,School of Reliability and Systems Engineering,Beihang University) ,  Zhao Tingdi (Science and Technology on Reliability and Environmental Engineering Laboratory,School of Reliability and Systems Engineering,Beihang University) ,  Liu Bin (Science and Technology on Reliability and Environmental Engineering Laboratory,School of Reliability and Systems Engineering,Beihang University)
資料名： Zhongguo Hangkong Xuebao(Yingwenban)  (Zhongguo Hangkong Xuebao(Yingwenban))
巻： 29  号： 4  ページ： 1027-1041  発行年： 2016年 
JST資料番号： C2638A  ISSN： 1000-9361  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： Petriネットモデリング,シミュレーション,解析のための多くの系に適用可能なグラフィカルかつ数学的なツールである。アビオニクス応用標準ソフトウエアインタフェイス(ARINC 653)において提案された時間領域と空間領域の分割の概念の出現により,それが古典的または先進Petriネットを用いた資源分配の結果から得られる時間-空間結合危険を解析するために困難になってきている。本論文では,このギャップを埋めるために時間-空間結合安全性制約と時間-空間結合安全制約(TCCP NET)を用いた改良型時間付き色付きPetriネットを提案した。時間-空間結合ハザード分析は,三段階仕様モデリング,シミュレーション実行,結果の解析で行った。TCCP NETを用いてモデル化し,統合化モジュール航空電子機器(IMA),実時間,安全性が重要なシステムを分析することである。分析の結果では,実行時に時間-空間結合危険が存在するかどうかを検証するために使用した。時間と空間領域両方における資源配分を指定することができるとして,提案した方法は安全性が重要な実時間システムの優れたモデリングを示した。TCCP NETは,基本的な時間-空間結合危険を効果的に検出できる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： *Petriネット ,  *安全性 ,  モデリング ,  資源割付 ,  *制約条件 ,  航空電子機器 ,  シミュレーション
準シソーラス用語： 実時間システム ,  実時間 ,  空間領域 ,  時間領域 ,  *色付きPetriネット , 【Automatic Indexing@JST】

著者キーワード (5件)： Petriネット ,  リアルタイムシステム ,  資源配分 ,  システムモデリング ,  時間-空間結合安全性定数

分類 (1件)： 工程管理  (KB03030P)

タイトルに関連する用語 (5件)： 安全性 ,  制約 ,  色付きPetriネット ,  危険度 ,  解析