システムリスクに挑む : 安全で安心できるe-社会を実現するソフトウェア開発・管理技術(<特集>安全で安心できるe-社会を実現するソフトウェアとシステム技術)
スポンサーリンク
概要
- 論文の詳細を見る
現代社会は情報通信システム,とりわけ,ソフトウェアに依存している.ソフトウェア開発・運用のリスクは社会全体に及ぶ可能性がある.金融,航空などの社会基盤をなすビジネスにおける近年の相次ぐシステム障害の発生は,このリスクの巨大さを広く知らしめるとともに,予防の難しさも露呈した.さらに,コンピュータウイルスのグローバルな拡散は,リスクもグローバルな広がりを持つことを意味する.本稿は,このような背景のもと,ソフトウェアシステムを安全性の視点から捉え,安全性の確保がソフトウェア設計の課題であることを示し,安全で安心できるソフトウェアシステムを提供するための開発・管理技術を紹介する.
- 一般社団法人情報処理学会の論文
- 2004-04-15
著者
関連論文
- 2.情報化時代の幕開け : みんながコンピュータに熱中した時代からのメッセージ(「あの時代」に想いをはせて 証言者達からのメッセージ)
- 第12回 インターネット時代のソフトウェア開発戦略 : Netscapeのクロスプラットフォーム開発に学ぶ (ソフトウェア新時代)
- SOAに基づく自動車組込みソフトウェアアーキテクチャの提案
- 6M-5 サービス指向に基づ
- ソフトウェア工学科の誕生
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- ソフトウェア工学科の設計
- 車載組込みシステム向けアスペクト指向モデリング・分析方法論(組み込み・Web(学生セッション))
- 第25回ソフトウェア工学国際会議(ICSE2003)の話題
- 4M-7 自動車組込みソフトウェアヘのサービス指向アーキテクチャの提案(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 4M-6 軽量サービス指向アーキテクチャ設計方法の提案と評価(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案(ホームネットワーク)
- 要求工学知識体系(REBOK)の開発
- 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
- ソフトウェア開発プロセスのサービスモデルとその実行環境の提案と評価
- 第32回ソフトウェア工学国際会議(ICSE2010)参加報告
- 要求工学知識体系(REBOK)の構想
- 非同期メッセージ交換のモデルとパターンに基づく非同期サービス指向アーキテクチャ設計方法(分析・設計技法,ソフトウェア工学の理論と実践)
- 要求工学知識体系(REBOK)の開発
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価
- 要求工学知識体系(REBOK)の開発
- 3P-4 車載ソフトウェアのためのイベント駆動サービス指向アーキテクチャの提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 3P-3 自動車ネットワークサービスのサービス連携アーキテクチャの提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 3P-2 サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- オブジェクト指向'95シンポジウム(OO '95)報告
- ソフトウェアパターン
- OO'98シンポジウムモデリングワークショップ報告
- ○○'98シンポジウムモデリングワークショップ報告
- 「ソフトウェアアーキテクチャはどう役にたつのか」
- ウィンターワークショップ・イン・沖縄'95開催報告
- 第1回サービス指向コンピューティング国際会議(ICSOC2003)報告(会議報告)
- 連続的アンビエントサービスシステムとホームネットワーク環境による評価(学生セッション G_組み込み・Web)
- 形式概念分析に基づく複数ステークホルダのゴール整合方法とその評価
- 第31回ソフトウェア工学国際会議(ICSE2009)参加報告
- サービス指向に基づくソフトウェア開発モデル化方法論の提案(開発/設計手法,報告)
- 軽量メッセージ交換のモデルとパターンに基づく軽量サービス指向アーキテクチャ設計方法の提案(要求,アーキテクチャ(学生セッション))
- 6Y-6 プレミアムユーザインタフェースのモデル化方法(感性,学生セッション,インタフェース)
- 2N-3 マッシュアップ型リッチクライアントサービス開発モデルの提案(Web応用,学生セッション,データベースとメディア)
- 4M-2 形式概念分析による複数ステークホルダのゴール整合方法と評価(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 車載ソフトウェアのサービスプラットフォームのモデルとアーキテクチャ
- B-021 ソフトウェア開発におけるデザイン進化のモデルの評価(B分野:ソフトウェア)
- 10.イノベーションを生み出す鍵がここにある : ソフトウェアジャパン2007からのメッセージ(ITフォーラムへの誘い)
- 8.ITダイバーシティフォーラム(ITフォーラムへの誘い)
- 分散開発環境におけるコミュニケーション分析
- コンカレント・コラボレーション技術論文小特集の発行にあたって (コンカレント・コラボレーション技術論文小特集)
- コンカレント・コラボレーション技術論文小特集の発行にあたって (コンカレント・コラボレーション技術論文小特集)
- コンカレント・コラボレーション技術論文小特集の発行にあたって
- 特集「アジア・太平洋のソフトウェア技術」の編集にあたって (アジア・太平洋のソフトウェア技術)
- 1N-6 非同期サービス指向アーキテクチャのサービスプログレス可視化アーキテクチャの提案と評価(システム評価,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1ZC-4 SaaS/クラウドサービス間のメッセージ連携方法の提案と評価(クラウドコンピューティング,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1ZC-1 SOAに基づくSaaS統合アーキテクチャの提案(クラウドコンピューティング,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 国際会議RE'09への参加報告
- 1.ITフォーラムへの誘い(ITフォーラムへの誘い)
- IFIP近況報告 : 情報処理国際連合(委員会から)
- 価値に基づくWebサービスの動的連携と評価(組み込み・Web(学生セッション))
- 「ソフトウェアジャパン2004」の挑戦(会議レポート)
- システムリスクに挑む : 安全で安心できるe-社会を実現するソフトウェア開発・管理技術(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- 編集にあたって(安全で安心できるe-社会を実現するソフトウェアとシステム技術)
- ソフトウェア技術者は免許制度にすべきか?
- 情報技術と航空の共進化 : グローバルな航空ITネットワークの形成
- ソフトウェアサービス技術が開く新たな情報システム構築モデル
- ソフトウェアサービス技術へのいざない(e-ビジネスを実現するソフトウェアサービス技術)
- 編集にあたって(e-ビジネスを実現するソフトウェアサービス技術)
- 4ZJ-3 内部統制制度を満たすビジネスモデルの提案(社会情報システム,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 3ZG-6 モデル駆動に基づく多重インタラクション設計方法(知的活動支援,学生セッション,インタフェース,情報処理学会創立50周年記念)
- 1P-1 実行可能サービス指向ソフトウェアプロセスの提案と評価(ソフトウェアプロセス・開発管理,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- ソフトウェアデザインにおける進化モデルの枠組み
- 特集「分散開発環境」の編集にあたって
- IPSJ 2.0-フラット化する世界のコミュニティとしての学会像(これからの情報処理学会 第2回)
- 計算科学の終焉?
- 5. 分散処理システムの開発とネット理論 ( ネット指向パラダイムを求めて)
- 分散環境開発 1.分散開発環境: 新しい開発環境像を求めて (<特集>分散開発環境)
- プロパティに基づく自動車組込みソフトウェアの協調制御アーキテクチャ設計方法の提案
- ソフトウェア開発管理サービスのモデルと実行環境の提案
- SOAに基づくクラウド間連携アーキテクチャの提案
- FOAFを用いたSNSのソーシャルグラフの統一モデル化方法の提案
- GQMに基づくユーザエクスペリエンスの品質モデルの提案
- 概念コンテキストモデルに基づくコンテキストアウェアサービス開発手法の提案
- クラウドサービスにおける構成メタデータのバリエーションモデルの提案と評価
- OSGiを用いた自動車ネットワークサービスの連携アーキテクチャの提案と評価
- SNSの統一ソーシャルグラフモデルの提案(SNS・一般)
- 要求工学のモデル論
- 振舞いプロパティに基づく自動車組込みソフトウェアの協調制御アーキテクチャ設計方法の提案と評価
- BPELを用いた複合Webサービスのモデルベース開発支援(高信頼ソフトウェア設計・解析)
- OVMに基づくマルチテナントSaaSの可変性モデルの提案と評価(「Webサービス・クラウド」及び一般)
- SOAに基づく情報家電サービス連携の自動生成
- Linked Dataを用いたサービス連携アーキテクチャの提案と評価
- 意図に応じたコンテキストアウェアサービス提供モデルの提案と評価
- 第19回アジア太平洋ソフトウェア工学国際会議(APSEC2012)参加報告
- ユーザ要求ベースのテスト方法
- ビジネスモデルジェネレーションを応用したビジネスモデル開発方法論の考察
- 第21回要求工学国際会議(RE2013)参加報告
- 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜