車載組込みシステム向けアスペクト指向モデリング・分析方法論(組み込み・Web(学生セッション))
スポンサーリンク
概要
- 論文の詳細を見る
車載組込みソフトウェアが自動車の運転や衝突予防などの中枢を担うようになっていることから,その安全性が極めて重要となっている.さらに,車載組込みソフトウェアがネットワークを介して相互に連携するようになり,相互連携する組込みソフトウェアシステム全体の一貫した安全性の設計が求められている.本論文では,車載組込みソフトウェアの安全性の特性と課題をアスペクト指向モデルとしてモデル化し,ISO61508のSIL(Safety Integrity Level)の基準を考慮した安全性と性能,コストなどの多元的な非機能要求を満たすシステム設計を支援するアスペクト指向組込みソフトウェア開発方法論を提案する.提案方法を車載組込みソフトウェアの例に適用し,非機能要求に応じた3段階のプロダクトラインを導出し,その有効性を示す.
- 2006-03-23
著者
関連論文
- SOAに基づく自動車組込みソフトウェアアーキテクチャの提案
- 6M-5 サービス指向に基づ
- ソフトウェア工学科の誕生
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- ソフトウェア工学科の設計
- 車載組込みシステム向けアスペクト指向モデリング・分析方法論(組み込み・Web(学生セッション))
- 第25回ソフトウェア工学国際会議(ICSE2003)の話題
- 4M-7 自動車組込みソフトウェアヘのサービス指向アーキテクチャの提案(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 4M-6 軽量サービス指向アーキテクチャ設計方法の提案と評価(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案(ホームネットワーク)
- 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
- ソフトウェア開発プロセスのサービスモデルとその実行環境の提案と評価
- 第32回ソフトウェア工学国際会議(ICSE2010)参加報告
- 要求工学知識体系(REBOK)の構想
- 非同期メッセージ交換のモデルとパターンに基づく非同期サービス指向アーキテクチャ設計方法(分析・設計技法,ソフトウェア工学の理論と実践)
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価
- 要求工学知識体系(REBOK)の開発
- 要求工学知識体系(REBOK)の開発
- 3P-4 車載ソフトウェアのためのイベント駆動サービス指向アーキテクチャの提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 3P-3 自動車ネットワークサービスのサービス連携アーキテクチャの提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 3P-2 サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- オブジェクト指向'95シンポジウム(OO '95)報告
- ソフトウェアパターン
- ○○'98シンポジウムモデリングワークショップ報告
- 「ソフトウェアアーキテクチャはどう役にたつのか」
- ウィンターワークショップ・イン・沖縄'95開催報告
- 第1回サービス指向コンピューティング国際会議(ICSOC2003)報告(会議報告)
- 連続的アンビエントサービスシステムとホームネットワーク環境による評価(学生セッション G_組み込み・Web)
- 形式概念分析に基づく複数ステークホルダのゴール整合方法とその評価
- 第31回ソフトウェア工学国際会議(ICSE2009)参加報告
- サービス指向に基づくソフトウェア開発モデル化方法論の提案(開発/設計手法,報告)
- 軽量メッセージ交換のモデルとパターンに基づく軽量サービス指向アーキテクチャ設計方法の提案(要求,アーキテクチャ(学生セッション))
- B-021 ソフトウェア開発におけるデザイン進化のモデルの評価(B分野:ソフトウェア)
- 10.イノベーションを生み出す鍵がここにある : ソフトウェアジャパン2007からのメッセージ(ITフォーラムへの誘い)
- 8.ITダイバーシティフォーラム(ITフォーラムへの誘い)
- コンカレント・コラボレーション技術論文小特集の発行にあたって (コンカレント・コラボレーション技術論文小特集)
- コンカレント・コラボレーション技術論文小特集の発行にあたって (コンカレント・コラボレーション技術論文小特集)
- コンカレント・コラボレーション技術論文小特集の発行にあたって
- 特集「アジア・太平洋のソフトウェア技術」の編集にあたって (アジア・太平洋のソフトウェア技術)
- 公共向けアプリケーションフレームワークのソフトウェアアーキテクチャの分析
- 国際会議RE'09への参加報告
- 1.ITフォーラムへの誘い(ITフォーラムへの誘い)
- 価値に基づくWebサービスの動的連携と評価(組み込み・Web(学生セッション))
- 価値に基づくWebサービスの動的連携ブローカとその評価(Web(学生セッション))
- 「ソフトウェアジャパン2004」の挑戦(会議レポート)
- システムリスクに挑む : 安全で安心できるe-社会を実現するソフトウェア開発・管理技術(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- 編集にあたって(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- ソフトウェア技術者は免許制度にすべきか?
- 情報技術と航空の共進化 : グローバルな航空ITネットワークの形成
- ソフトウェアサービス技術が開く新たな情報システム構築モデル
- ソフトウェアサービス技術へのいざない(e-ビジネスを実現するソフトウェアサービス技術)
- 編集にあたって(e-ビジネスを実現するソフトウェアサービス技術)
- ソフトウェアデザインにおける進化モデルの枠組み
- 要求工学国際会議(RE'02)参加報告
- IPSJ 2.0-フラット化する世界のコミュニティとしての学会像(これからの情報処理学会 第2回)
- SOAに基づくクラウド間連携アーキテクチャの提案
- FOAFを用いたSNSのソーシャルグラフの統一モデル化方法の提案
- GQMに基づくユーザエクスペリエンスの品質モデルの提案
- 概念コンテキストモデルに基づくコンテキストアウェアサービス開発手法の提案
- クラウドサービスにおける構成メタデータのバリエーションモデルの提案と評価
- OSGiを用いた自動車ネットワークサービスの連携アーキテクチャの提案と評価
- Webサービスの対話型トランザクションアーキテクチャの提案と評価(Web, 組込み(学生セッション))
- 要求工学の花子さん : 個人を中心とする組込みソフトウェア要求分析方法(要求分析)
- BPELを用いた複合Webサービスのモデルベース開発支援(高信頼ソフトウェア設計・解析)
- SOAに基づく情報家電サービス連携の自動生成
- Linked Dataを用いたサービス連携アーキテクチャの提案と評価
- 意図に応じたコンテキストアウェアサービス提供モデルの提案と評価
- 第19回アジア太平洋ソフトウェア工学国際会議(APSEC2012)参加報告
- OVMに基づくマルチテナント SaaS の可変性モデルの提案と評価
- 飛行制御情報通信システム技術の動向
- 航空における情報通信システム技術の体系
- [招待論文]Webサービス技術とWebサービスネットワーク
- [招待論文]Webサービス技術とWebサービスネットワーク
- [招待論文]Webサービス技術とWebサービスネットワーク
- 第21回要求工学国際会議(RE2013)参加報告
- 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜