安全性および安全性重要なソフトウェアのための期待の活発なモニタリング

Dong Wei; Zhao ChangZhi; Shu ShaoXian; Martin Leucker

文献

J-GLOBAL ID：201302285490763880 整理番号：13A1487430

安全性および安全性重要なソフトウェアのための期待の活発なモニタリング

Anticipatory active monitoring for safety-and security-critical software

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=13A1487430&COPY=1") }}
高度な検索・分析はJDreamⅢで

著者 (4件)： , , ,
資料名：
巻： 55 号： 12 ページ： 2723-2737 発行年： 2012年
JST資料番号： C2579A ISSN： 1674-733X 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：中国 (CHN) 言語：英語 (EN)

システムの公式の検証およびテストが挑戦,例えば状態展開および不確定な実行環境によって普通に直面するので,開発位相の間,徹底的にソフトウェアを確認して,テストすることは非常にむずかしかった。その結果,モニタリングは,実行時で潜在的ソフトウェア障害を見つけることのための欠くことのできない手段になった。大部分の電流モニタリングアプローチは,単に受動的モニターを作り出した。そしてそれは可能な障害を予見することができなくて,結果的にそれらの発生を防止することができなかった。本論文において,著者らは,実行時検証に基づく活発なモニタリングアプローチを提案した。本アプローチは,一時的論理学の期待の意味論を実行するモニターを使用する可能な入力違反を予測しようとして,部分的システムモデルによって次に必要なステアリング活動を作り出した。そしてそれはこれらの違反を引き起こす経路から離れて,システムの向きをかえた。本事例において,モニターおよびモニターしたシステムは,離散的フィードバック制御ループを占めた。無閉そく可制御性が達成することができるように,著者らは活発なモニタリングの後で制御理論を更に調査した。活発なモニタリングを二つ事例に適用する結果の鉄道交差部制御システムおよび安全性拡張Linux(SELinux)は,方法が実行時で両方の安全性および安全性特性を効果的に確実とすることができることを示した。Data from the ScienceChina, LCAS. Translated by JST

, , , , , , , , , , , ,
, , , ,

数値計算

, ,

前のページに戻る