状態遷移図に着目した安全分析手法(信頼性、保全性、安全性)
スポンサーリンク
概要
- 論文の詳細を見る
近年,飛行機や自動車などの組込み制御システムが複雑化する中で,従来確保してきた安全性を維持・向上することが求められている.システムの安全性を確保するためには,システムを構成する部品の故障や,利用者の誤使用など,システムの安全性を損なう要因を把握し,深刻な結果をもたらす危害に対して対策を施す必要がある.本論文では,組込みシステムの動作の逸脱を,より網羅的に分析することを目的に,状態遷移図に着目した安全分析手法SASTD(Safety Analysis method based on State Transition Diagram)を提案する.SASTDは,主に,状態遷移図の各状態で満たされるべき性質が満たされないという逸脱と,状態が遷移する際に実行されるべき処理が実行されないという逸脱を,ガイドワードを用いて列挙する手法である.小規模な組込みシステムを題材にSASTDを適用した結果,状態に対する分析では39個の逸脱を分析し,対策が必要となる深刻度の高いハザードを6個発見した.状態遷移に対する分析では,116個の逸脱を分析し,対策が必要となる深刻度の高いハザードを29個発見した.これらの分析結果を,同じシステムに対してFMEA (Failure Mode and Effect Analysis)を適用した結果と比較することで,SASTDの方がより網羅的に分析できることを確認した.
- 一般社団法人電子情報通信学会の論文
- 2012-02-01
著者
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
松原 豊
名古屋大学大学院情報科学研究科
-
高田 広章
豊橋技術科学大学
-
高田 広章
名古屋大学
-
高田 広章
名古屋大学大学院情報科学研究科
-
高田 広章
豊橋技科大
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター|名古屋大学大学院情報科学研究科情報システム学専攻
-
Takada Hiroaki
Nagoya Univ.
-
高田 宏章
豊橋技術科学大学情報工学系
-
高田 広章
名古屋大学 大学院情報科学研究科
-
松原 豊
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
高田 広章
東大・理
-
高田 広章
東京大学 理学部
-
松原 豊
名古屋大学
-
金 周慧
名古屋大学大学院情報科学研究科
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,Web情報システム)
- 2.ソフトウェアとハードウェアの協調による組込みシステムの消費エネルギー最適化(未来を切り拓く最先端VLSIテクノロジー)
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(システムプログラム)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- ITRON仕様OSの機能分散マルチプロセッサ拡張(システムプログラム)
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- 組込みシステムのタスク内DVFSのための実行トレースマイニング(コンパイラ,システムオンシリコンを支える設計技術)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- 第1回 組込みシステム概要(講座 画像処理技術者のための組込み入門)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)
- ビットエラー通信路におけるスケーラブルCANの動作解析
- AS-1-3 システムレベル設計環境System Builderを用いたAES暗号化システムの設計事例(AS-1.高位設計・検証,シンポジウムセッション)
- プリエンプティブなマルチタスク環境におけるスクラッチパッドメモリ領域分割法(組込みシステム技術)
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- CANの高速化に関する研究(一般セッション2:分散システムと車載ネットワーク)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
- 時間保護のためのリアルタイムスケジューリングアルゴリズム(実時間処理)
- アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析(ソフトウェア開発支援,システム開発論文)
- コンポーネントシステムを用いた組込みシステム向けアクセス制御機構(組込みシステム,システム開発論文)
- マルチプロセッサRTOS対応コシミュレータ(システム設計/評価技術)
- 組込みシステムに適したコンポーネントシステムの実現と評価
- 組込みコンポーネントシステム向け保護機構の開発(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
- UMLモデルのC言語実装におけるTECSの適用事例
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
- プリエンプティブなマルチタスク環境におけるスクラッチパッドメモリ領域分割法(組込みシステム技術)
- FlexRayのダイナミックセグメントにおけるメッセージの最大遅れ時間解析(検証/テストとデバッグ,組込みシステム工学)
- 自動車制御分散システムの静的スケジューリング手法(セッション1)
- ストリームプロセッシングによる車載統合制御システムのための分散型センサデータ処理機構の構築(セッション3)
- リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 組込みコンポーネントシステム向け保護機構の開発(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- 組込みコンポーネントシステム向け保護機構の開発(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- 組込みコンポーネントシステム向け保護機構の開発(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- オフセット付きCANメッセージの正確な最大遅れ時間解析
- 交通事故シナリオに基づく予防安全システムのシミュレーション分析
- DUOS:車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- メモリ共有を考慮した RPC システム
- ハードリアルタイムシステムに適したメモリ保護機構の提案と評価(リアルタイムアーキテクチャ, 組込技術とネットワークに関するワークショップ)
- ハードリアルタイムシステムに適したメモリ保護機構の提案と評価(リアルタイムアーキテクチャ, 組込技術とネットワークに関するワークショップ)
- 車載ECU統合向け異種OS間通信ミドルウェア
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- 実行トレースマイニングを用いたタスク内DVFSに有効なチェックポイント抽出手法
- DUOS:車載ECU統合向けRTOSフレームワーク
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
- 割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング
- 車載ECU統合向け異種OS間通信ミドルウェア
- 10MbpsCANプロトコルの設計と評価
- AUTOSAR通信ミドルウェアのマルチコア拡張
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- ARMv6アーキテクチャを用いたメモリ保護RTOSのユーザスタック保護の設計と評価
- マルチプロセッサ対応RTOSにおけるロードバランス機構の実現
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- Android プラットフォームにおける Dalvik バイトコードのCPU負荷量の解析
- Android プラットフォームにおける Dalvik バイトコードのCPU負荷量の解析
- Android プラットフォームにおける Dalvik バイトコードのCPU負荷量の解析
- Android プラットフォームにおける Dalvik バイトコードのCPU負荷量の解析
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- DUOS : 車載ECU統合向けRTOSフレームワーク
- DUOS : 車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発