階層型状態遷移図に基づく安全分析手法
スポンサーリンク
概要
- 論文の詳細を見る
小規模な組込みシステムにおける故障の影響をより網羅的に分析することを目的に,1 つの状態遷移図に基づく安全分析手法 SASTD(Safety Analysis method based on State Transition Diagram) を提案した.大規模な組込みシステムでは,1 つの状態遷移図に含まれる状態数が多くなるため,SASTD で網羅的に分析するのが困難であるという問題がある.1 つの状態遷移図に含まれる状態数を減らすためには,小規模な状態遷移図に分割した階層型状態遷移図を利用するのが有効である.本論文では,SASTD を拡張した,階層型状態遷移図に基づく安全分析手法 SAHSTD(Safety Analysis method based on Hierarchical State Transition Diagram) を提案する.SAHSTD を話題沸騰ポットのシステム仕様に対して適用した結果,SASTD と同一の逸脱を分析できることを確認した.さらに,同一の性質をもつ状態を階層的に整理することで,分析者が本質的に分析すべき逸脱数が,SASTD に比べて,状態に対する分析では 92 個から 61 個に,状態遷移に対する分析では 284 個から 134 個に削減できることが明らかになった.
- 2012-02-24
著者
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
松原 豊
名古屋大学大学院情報科学研究科
-
高田 広章
豊橋技術科学大学
-
高田 広章
名古屋大学
-
高田 広章
名古屋大学大学院情報科学研究科
-
高田 広章
豊橋技科大
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター|名古屋大学大学院情報科学研究科情報システム学専攻
-
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のテスト開発