de-science.icts.nagoya-u.ac.jp

is.nagoya-u.ac.jp

名古屋大学 大学院情報科学研究科 情報システム学専攻

http://www.is.nagoya-u.ac.jp/i

2010 Dept. of Information Engineering, Graduate School of Information Science, Nagoya University.

dcase.jp

D-CASE: 10月 2013

http://www.dcase.jp/2013_10_01_archive.html

第2回 D-Case講習会（名古屋大学院生向け） / 2nd D-Case Short Course（For Nagoya Uni Graduate Students）. 13:30 – 13:40 はじめに(松野). 13:30 – 14:00 アシュアランスケースについて(松野). 14:00 – 14:40 D-Case作成法１(松野). 14:40 – 14:50 休憩. 14:50 – 16:00 D-Case演習１–文法、文章、分解パターン　(松野). 16:00 – 16:40 D-Case作成法２ (松野). 16:40 – 16:50 休憩. 16:50 – 18:00 D-Case演習２–D-Case作成　(松野). Date and Time : 2013/10/26. Place : Nagoya University Information Technology Center 4th Floor Seminar Room. 13:30 – 13:40 Opening Remarks (Matsuno). 14:40 – 14:50 Interval. 65288;奈良先端大&#...

dcase.jp

D-CASE: 7月 2015

http://www.dcase.jp/2015_07_01_archive.html

12300;システムアシュアランスを導入する企業のアシュアランスケース（経営層向け）」. 12300;システムアシュアランスを導入する企業のアシュアランスケース（プロジェクトマネージャー向け）」. ７月１７日午後、文京区のIPAで「SEC高信頼化技術適用事例セミナー D-Caseの適用事例に学ぶ、合意形成と説明責任」が開催されます！ ７月１７日午後、文京区のIPAで「 SEC高信頼化技術適用事例セミナー D-Caseの適用事例に学ぶ、合意形成と説明責任. 7月17日午前、千代田区日本教育会館で信頼性・保全性シンポジウムで「IoT時代のシステム保証と規格認証」セッションを開催します！ 7月17日9時30分-11時30分、千代田区日本教育会館で信頼性・保全性シンポジウムで「 IoT時代のシステム保証と規格認証. ７月１７日午後、文京区のIPAで「SEC高信頼化技術適用事例セミナー D-Caseの適用事例に学ぶ、. 7月17日午前、千代田区日本教育会館で信頼性・保全性シンポジウムで「IoT時代のシステム保証と規格認.

dcase.jp

D-CASE: 3月 2014

http://www.dcase.jp/2014_03_01_archive.html

場所：国立情報学研究所　12F会議室（1208）. 13:30 - 13:55　 D-Caseのこれから. 13:55 - 14:20　 D-CaseとSysMLによるISO26262準拠デザイン実験. 豊田学（日本IBM）、屋代眞（DEOSセンター）. 14:20 - 14:45　 DEOS要求マネジメント. 14:45 - 15:10　 Astah GSNについて. 平鍋健児、岩永寿来（チェンジビジョン）. 15:20 - 15:45　 Mobile Payment System を対象としたD-Case記述演習. Mehnaz Seraj, Babatunde Ojetunde、. 15:45 - 16:10　 D-Case駆動ソフト開発(DCDD)、およびD-Case実例紹介. 16:10 - 16:35　 D-Case in Agda. 16:35 - 17:00　 DEOSコンソーシアムの効果. 所眞理雄（Sony CSL）. D-CASE Web. シンプル テンプレート. Powered by Blogger.

dcase.jp

D-CASE: 「eラーニングプラットフォームMoodleの開発者議論例」を公開しました

http://www.dcase.jp/2015/03/emoodle.html

オープンソースソフトウェアの開発における開発者間の議論は、重要な意思決定に関する背景や決定に至る経緯、証拠、結果などが含まれうるため、D-Caseを記述するのに必要な情報が含まれていると考えられる。そこで、オープンソースソフトウェアであるeラーニングシステムプラットフォームMoodleの開発者間の議論の一つを例に取り、D-Caseにより記述した。 65288;Known Usage）. A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases. 12300;システムアシュアランスを導入する企業のアシュアランスケース（経営層向け）」を公開しました. 12300;システムアシュアランスを導入する企業のアシュアランスケース（プロジェクトマネージャー向け）」を公開. 12300;仕様変更に関するアシュアランスケース（デンソークリエイト）」を公開しました. 12300;ソフトウエアシステムテストのアシュアランスケース（モデルベース組込みシステム開発事例）」を公開しま.

dcase.jp

D-CASE: 4月 2013

http://www.dcase.jp/2013_04_01_archive.html

第3回 D-Case実証評価研究会のご案内 / 3rd D-Case Study Information. 開催概要 / Date and place. Date and Time：2013/4/19. Place：Keio University, Hiyoshi Campus来往舎 2nd Floor Conference Room. １：５５　 開会. ２：００　 D-Case、DEOSへの期待. ２：３０　 D-CaseとSysML/UML連携の実証実験. ３：００　D-Caseの超小型人工衛星への適用　田中康平(NESTRA). ３：３０　D-Caseを使ったETロボコンモデリング部門優勝　上野肇(FX). ４：２０　 D-Caseを使ったロボットのディペンダビリティの保証. ４：５０　 最近の話題と今後の予定:D-Case Serverのご案内など. ５：１０　 最近の話題と今後の予定:IT-Tridiacプログラム. 2:00 D-Case、DEOS Expectations. 2:30 D-Case,SysML/UML Operation Tests.

dcase.jp

D-CASE: 3月 2015

http://www.dcase.jp/2015_03_01_archive.html

アドホックネットワークとは、各ノード間の通信により、ネットワークを構成する通信である。 車々間アドホックネットワークとは、主に安全運転支援を目的とした「車両‐車両」や「車両‐歩行者」間通信システムであり、今後普及が期待されている。ネットワークインフラを必要としないなどの利点があるが、セキュリティ上のリスクが懸念される。本D-Caseでは、利用者の不安点に対し、どのような対策が考えられるのかを納得できる形で説明することを目指した。 本D-Caseは奈良先端科学技術大学院大学のシステムアシュアランス演習で記述された。参加学生の研究テーマが車々間アドホックネットワークであり、社会の中でリスクを含めて受容される可能性を考察することを目的とした。 上記社会的な議論の場の結果について、公開される報告書などの形で、広く市民に説明したり、またパブリックコメントなどの形で意見を求めたりする際に使用することを想定する。 65288;Known Usage）. Http:/ www.dimensions-japan.org/dcase/pdf/takai1022.pdf. 65288;Known Usage）. D-Case...

dcase.jp

D-CASE: 5月 2015

http://www.dcase.jp/2015_05_01_archive.html

NTTデータ金子さんのセキュリティケース「CC-Case」を公開しました！ ITセキュリティ評価の国際標準であるコモンクライテリア（CC：Common Criteria. ISO/IEC15408と同義）とアシュアランスケース（ISO/IEC15026）を用い，セキュリティ仕様を顧客と合意の上で決定する手法としてCC-Caseを提案。 セキュリティコンセプトの定義，対策立案，要約仕様の手順を定めST（セキュリティターゲット）に必要な成果物を作成する．この手順をアシュアランスケースとして定義し，証跡を残す．こうして作成したセキュリティ仕様アシュアランスケースは，CC準拠と顧客と合意による保証の根拠となる．この一連の作業を行う手法がCC-Caseである． 65288;Known Usage）. CC-Case～コモンクライテリア準拠のアシュアランスケースによるセキュリティ要求分析・保証の統合手法，情報処理学会論文誌（ジャーナル）セキュリティ特集号2014（ 研究会バージョンへのリンク. D-Case Syntax Definition has been published. D-Case Editor is...

dcase.jp

D-CASE: 6月 2015

http://www.dcase.jp/2015_06_01_archive.html

総研大の田中さんの、超小型人工衛星のD-Caseを公開しました！！ プロジェクトの進行と共にアップデートできるよう、システムから機能、物理状態へとI/Fを分解するようにした。 まずはシステムとして目標とするゴールを設定する。そして、そのゴールの定義を5W 1Hメソッドを利用し、コンテキストとして付加する。 そして、上位のゴールの情報をシステムの観点、機能の観点、物理的な観点へと分解を進める。すべてのゴールには制約条件があるはずであり、その制約条件はコンテキストとしてすべてのゴールに付加する。 65288;Known Usage）. 総研大の田中さんの、超小型人工衛星のD-Caseを公開しました！！ D-CASE Web. シンプル テンプレート. Powered by Blogger.

dcase.jp

D-CASE: D-Case構文定義書を公開しました！

http://www.dcase.jp/2015/05/d-case.html

しました！この定義書は、D-Caseの構文定義であるだけでなく、アシュアランスケース、GSNに対する、世界初の（準）形式的な定義です。 D-Case Syntax Definition has been published. This definition is the world first (semi) formal definition of assurance cases and GSN (sorry only in Japanese :-). 様々な利害関係者間のディペンダビリティ合意形成により、統合システムの安全安心に貢献します。 / D-Case project intend for people involved with a system of systems to mutually comprehend the 'dependability of a system' and to inform the public about the aforementioned dependability in a responsible manner.