ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用
スポンサーリンク
概要
- 論文の詳細を見る
セイフティクリティカルシステムの安全性確保を目的とし, 仕様検証と高信頼化ソフトウェアを提供する統一的な手法を提案する.仕様の安全性解析にはペトリネットを用いることとし, 列車制御システムをケーススタディとして有効性を示す.さらに, ペトリネットによる解析結果を用い, アプリケーションソフトウェアの処理の正当性をオンライン時にチェックするスケルトンチェック手法を提案し, 有効性を示す.提案する手法は, システムの動作が, 仕様段階で想定された空間内にあることが常に確認されるため, 仕様を逸脱した処理による誤処理が検出できる長所がある.また, 仕様検証段階の成果物をそのまま利用できるため経済性の面で優れている.
- 2000-03-25
著者
関連論文
- 鉄道の安全 : 新幹線の保守について
- 系再構成機能を有するインターフェースボードの設計
- 新幹線の安全を支える基本技術
- 軌道回路伝送における変調方式の検討
- 鉄道保安機器用次世代OSの開発 : 排他ダブル・スレッドOS
- さらなる鉄道の発展を目指して
- 1-3 鉄道保安機器用次世代OS(セッション1「プロジェクト管理・ソフト」)
- 鉄道におけるディペンダブルソフトウェアの現状
- A-18-3 安全フィールドバス用Fail-Safeゲートウェイの開発(A-18.安全性,一般セッション)
- プラントの安全フィールドバス用Fail-Safeゲートウェイの開発(信頼性国際規格,保全性,信頼性一般)
- セーフティバスのインターフェース回路の安全要件に関する検討
- B-6-29 組み込み Java を用いた分散オブジェクト環境の開発
- プローブ車両による軌道回路保全に関する一検討
- 鉄道保安機器用次世代OSの開発「排他ダブル・スレッドOS」
- A-3-12 マルチチャネル処理可能なCDMA用整合フィルタの実装(A-3. VLSI設計技術,一般セッション)
- J1801-1-6 fNIRSデータとネオコグニトロン型動画像識別モデルによるブレイン-コンピュータ・インタフェース(生体計測・ヒューマンファクタ)
- 日本信頼性学会第21回秋季信頼性シンポジウム報告
- フェールセーフなリモートI/Oの構成方法
- 系再構成機能を適用した分散制御システムの実装(安全性及び一般)
- 系再構成機能を適用した分散制御システムの設計
- 系再構成機能を適用した分散制御システムに関する一検討
- プラントの安全フィールドバス用Fail-Safeゲートウェイの開発(信頼性国際規格,保全性,信頼性一般)
- 分散制御システムへの系再構成機能の適用手法(安全性及び一般)
- A-18-6 ペトリネットを用いた超分散連動システムに対する一検討(A-18.安全性,一般講演)
- 鉄道信号における信頼性と安全性
- ATCにおけるアーキテクチャ変更とデイペンダビリティ検証
- LC-4 シングルチップフェールセーフプロセッサの開発と安全性検証(C. アーキテクチャ・ハードウェア)
- フェールセーフプロセッサのシステムLSI化
- A-18-2 ADS縦方向位置予測誤差分布のモデル(A-18.安全性,一般セッション)
- 自動位置情報伝送・監視機能の縦方向位置予測誤差分布(測位・航法,及び一般)
- ネオコグニトロン型動画像識別モデルのハードウェア実装に関する検討(「脳・認知科学」及び一般)
- D-2-6 三次元時系列パターン識別モデルを用いた唇動画像識別に対する基礎的検討
- 遺伝的アルゴリズムによる交通流量の変動に適応した最適信号機オフセットの探索
- 6-2 鉄道におけるレールと車輪間の接触抵抗測定実験の効率化に対する検討(セッション6 安全性,理論)(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 軌道回路残留電圧波形分析による列車検知手法の開発 (特集:信号通信技術)
- 6-2 鉄道におけるレールと車輪間の接触抵抗測定実験の効率化に対する検討(セッション6 安全性、理論,第17回秋季信頼性シンポジウム)
- 位相差同期式CPU用カーネルの開発
- D-11-63 SIFTアルゴリズムを応用した画像合成の検討(D-11.画像工学,一般セッション)
- 第16回春季信頼性シンポジウム報告
- 第20回秋季信頼性シンポジウム報告
- 超分散連動システムのアルゴリズムに関する検討
- [4-2] 鉄道信号用の超分散型連動装置の実現可能性の検討(セッション4 安全性,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 4-2 鉄道信号用の超分散型連動装置の実現可能性の検討(安全性,セッション4)
- [4-3]系再構成機能を有する分散制御システムに関する一検討(セッション4 システムの信頼性・保全性およびソフトウェア面,日本信頼性学会 第19回秋季信頼性シンポジウム 報告)
- 4-3 系再構成機能を有する分散制御システムに関する一検討(セッション4「システムの信頼性・保全性およびソフトウェア面」)
- フレキシブル信号システムの要件 : フレキシブル信号システムに関する協同研究委員会中間報告
- 自動従属監視の縦方向予測誤差の解析(アジア航海学会)
- 自動従属監視による縦方向予測誤差の調査
- ATS地上子の状態監視技術の開発
- フレキシブルシステムの概念と鉄道信号システムへの適用(ディペンダブルコンピュータシステム及び一般)
- フレキシブルシステムの概念と鉄道信号システムへの適用(ディペンダブルコンピュータシステム及び一般)
- データオリエンテッドな鉄道用連動システムの検討(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- データオリエンテッドな鉄道用連動システムの検討(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- データオリエンテッドな鉄道用連動システムの検討
- A-17-4 高速道路合流部における渋滞防止交通制御の一検討
- A-12-4 情報依存型連動システムの開発に対する一検討
- 高速道路合流部の渋滞緩和に関する検討
- SD-1-5 気象レーダ情報に基づく重回帰分析を用いた降水量推定
- ホルマントを用いた音声伝送の明瞭度向上に関する一検討
- 鉄道信号用フェールセーフ計算機に関する考察
- 負荷適応型帯域制御ネットワークに対する一検討
- DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 人工生命を用いた陣形の評価用シミュレータの構築
- ネオコグニトロン型ニューラルネットによる唇動画像からの視覚音声認識
- 自然言語対話システムの設計
- カラーFTAによる信号システムの安全性評価
- 車上受電器を用いた軌道回路の状態監視手法に関する研究
- 超分散型制御システムの提案と鉄道信号への応用(安全性・一般)
- ウェーブレット変換を用いた楽曲の特徴抽出に対する一検討
- ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用
- ネオコグニトロン型時系列パターン識別モデルの識別範囲に対する一検討
- ネオコグニトロン型時系列パターン識別モデルに対する検討
- ネオコグニトロン型時系列データ識別モデルのアナログ入力に対する検討
- 時系列パターン識別モデルを用いた音声識別に対する一検討
- 時系列パターン識別モデルを用いたマウス脳波識別
- マウス脳波識別に対する一検討
- 5-1 マイクロカーネルによるマルチコアシステム用OSの開発(セッション5「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面」(1))
- 2-2 カラーFTAによる信号システムの安全性評価(セッション2「試験,故障解析,部品,要素技術の信頼性,ハードウェア面(1)」)
- 生物に学ぶシステム開発と信頼性
- A Safety Estimation of the ATPB System using UML and Formal Method (ディペンダブルコンピューティング)
- 日本信頼性学会学会設立20周年記念シンポジウム報告【第24回秋季信頼性シンポジウム】
- D-10-11 鉄道におけるfail-safe計算機システムと国際規格
- B-7-181 複雑系に基づくトラフィック分散ルーティング
- 安全性技術に対する評価の研究
- ATP閉そくシステムの形式化とシミュレーション
- UMLと形式的手法によるATP閉そくシステムの評価(安全性及び一般)
- A-5-3 低周波領域でのCDMAにおけるWalsh符号の復号に関する一検討
- スマート踏切制御子の開発について
- ATP閉そくシステムの形式化と証明
- 基底膜ハードウェアモデルを用いたネオコグニトロン型音声識別システムに対する一検討
- 基底膜ハードウェアモデルの特徴抽出に対する一検討
- UMLと形式的手法によるATP閉そくシステムの評価
- 「文明」と「文化」の発展にバランスを
- ATP閉そくシステムの仕様妥当性のモデルベース検証(交通関係を主として)
- 日本信頼性学会第21回春季信頼性シンポジウム報告
- 自動従属監視の縦方向予測誤差の解析
- 4-4 仕様検討段階におけるプロトタイピング手法の効果に対する検討(セッション4「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面(1)」)
- ATP閉そくシステムにおける形式化と分析の検討(安全性及び一般)
- RFIDシステムを応用した危険点近接作業の保護装置構築に関する研究(食品の安全を主として)