自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
近年,自動車の高機能化による制御システムの複雑化が進み,要求される安全性を確保するための設計と分析のコストが増大している.そのため,システム設計と安全性分析を体系的に行う方法が注目されている.また,複雑なシステム設計のために,アーキテクチャ記述言語(ADL)を用いたモデルベース設計が使われている.本研究では,アーキテクチャ記述言語を用いた,システム設計と一体となった安全性分析手法を提案する.さらに,安全性分析に必要なシステムのエラー状態とエラー状態への遷移確率をコンポーネントのエラーモデルから導き出す手法を提案する.自動車制御システムへの適用事例として,電動パワーステアリング(EPS)を構成するコンポーネントのエラーモデルからEPSシステムのエラーモデルを導出できることを示す.
- 2008-12-05
著者
-
手嶋 茂晴
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大学
-
小林 隆志
名古屋大学大学院情報科学研究科
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
高田 広章
豊橋技科大
-
吉村 悠
名古屋大学大学院情報科学研究科
-
日高 隆博
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
中條 直也
愛知工業大学情報科学部情報科学科
-
高浜 盛雄
名古屋大学大学院情報科学研究科
-
中條 直也
豊田中央研究所
-
小林 隆志
沼津工業高等専門学校機械工学科
-
手嶋 茂晴
名古屋大学大学院工学研究科情報工学専攻
-
Hiroaki Takada
Nagoya University
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
日高 隆博
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター|名古屋大学大学院情報科学研究科情報システム学専攻
-
Takada Hiroaki
Nagoya Univ.
-
高田 宏章
豊橋技術科学大学情報工学系
-
小林 隆志
名古屋大学
-
高田 広
東京大学理学部
-
高浜 盛雄
名古屋大学
-
高田 広章
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
高田 広章
東大・理
-
高田 広章
Nagoya University
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,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フレームワーク
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- リンク自動付与機能を持つ技術文書サーバの開発手法
- ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合
- 動作履歴をグラフで表現するハードウェアの機能動作モデルについて
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- マルチタスク環境におけるスクラッチパッドメモリ領域活用法(組込システム,組込技術とネットワークに関するワークショップETNET2008)
- 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
- 割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング
- 車載ECU統合向け異種OS間通信ミドルウェア
- 10MbpsCANプロトコルの設計と評価
- AUTOSAR通信ミドルウェアのマルチコア拡張
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- バリエーション並行開発のための版管理ツールと統合開発環境
- アナ/ディジ混載IC用の故障モデルと故障シミュレ-ション
- 組込みシステムが拓く未来の産業 (特集 Japanese Ability--日本で育てた世界技術)
- 情報科学研究科附属組込システム研究センターの紹介
- 名古屋大学大学院情報科学研究科附属組込みシステム研究センターの紹介(組込みシステム特集号)
- 組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発
- ECU組込み機器向けソフトウェア自動合成手法の開発
- 故障集合を伝搬の単位とする故障シミュレ-ション高速化手法