| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2023-01-20 11:15 |
石川 | ITビジネスプラザ武蔵(金沢) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
機能共鳴分析のための保証ケースの試み ○山本修一郎（名古屋国際工科専門職大）  KBSE2022-50 |
複雑な社会技術的システムを分析する手法として，アスペクト関係による機能共鳴関係分析手法FRAMが知られている．また，シス... [more] | KBSE2022-50 pp.40-45 |
| KBSE | 2021-01-23 13:05 |
ONLINE | オンライン開催 | DevOpsアシュアランスケースによる自動運転システムの安全性保証 ○小池湧大（日大）・岡田 学（ティアフォー）・高井利憲（チェンジビジョン）・大熊拓海・松野 裕（日大） KBSE2020-29 |
AI技術の発展により、自動運転システムの実用化が視野に入ってきた。しかしAI技術の安全性の保証は、その従来にない帰納的な... [more] | KBSE2020-29 pp.1-6 |
| KBSE | 2020-01-25 13:55 |
東京 | 機械振興会館 | CC-Case: AI/IoTの複雑なシステムに対応する安全安心な開発方法論 ○金子朋子・吉岡信和（NII） KBSE2019-42 |
筆者らはセーフティやセキュリティの技術を工程ごとに統合的に使って，IoTやAIを含んだ複雑なシステムの要求に応じた保証の... [more] | KBSE2019-42 pp.25-30 |
| KBSE | 2018-03-01 16:30 |
沖縄 | 石垣市民会館 中ホール | D-Caseワークショップの試行及び評価 ○大沼祐人・松野 裕（日大） KBSE2017-61 |
近年、検査の偽装など日本の産業の信頼性を損なう事例が発生している。原因としては、開発するシステムの複雑化に伴い、開発者な... [more] | KBSE2017-61 pp.133-137 |
| KBSE | 2018-01-25 16:00 |
東京 | 機械振興会館 | ArchiMateによるモデルベースディペンダビリティの提案 ○山本修一郎（名大） KBSE2017-35 |
従来は，アーキテクチャと保証ケースを独立に作成する必要があった．本稿では，ArchiMateを用いてアーキテクチャと保証... [more] | KBSE2017-35 pp.19-24 |
| KBSE | 2017-01-24 10:00 |
東京 | 機械振興会館 | フィーチャモデルに対するGSN作成法の提案 ○宇都宮浩之・山本修一郎（名大） KBSE2016-34 |
類似する構成要素からなる組み込みシステムを再利用するためのモデルとして，フィーチャモデルが知られている．しかし，フィーチ... [more] | KBSE2016-34 pp.19-24 |
| KBSE | 2016-11-04 10:45 |
長野 | 信州大学 長野（工学）キャンパス | D-Case: ステークホルダーを明確化したGSNによる合意形成手法 ○石津流弥・松野 裕（日大） KBSE2016-24 |
近年、システム保証の手法としてアシュアランスケースが注目を集めている。その表記法としてGSN（Goal Structur... [more] | KBSE2016-24 pp.1-6 |
| KBSE | 2016-03-04 13:10 |
大分 | 由布市湯布院公民館 | 保証ケース導入準備能力評価指標の提案 ○山本修一郎（名大） KBSE2015-63 |
技術面・管理面で，保証ケースを導入できるだけの準備が整っている企業でないと，保証ケース手法や教材を適切に活用できないとい... [more] | KBSE2015-63 pp.85-90 |
| KBSE | 2016-03-04 14:30 |
大分 | 由布市湯布院公民館 | 消費者向け製品のための効果的なリスク共有手法の提案 ○八木英光・高井利憲・飯田 元（奈良先端大） KBSE2015-65 |
航空機や鉄道など安全に係わるシステムに対しては、そのリスクについて関係者間で共通の理解を得るための文書であるアシュアラン... [more] | KBSE2015-65 pp.97-102 |
| KBSE | 2015-10-30 10:45 |
東京 | 日本大学・理工学部・駿河台校舎 1号館 | 入力分析に基づくコード保証方法の提案 ○宮林凌太・渥美紀寿・森崎修司・山本修一郎（名大） KBSE2015-39 |
ソフトウェアのセキュリティに関する脆弱性は不正な入力に起因する場合が多 く，ソフトウェアを構成するモジュールの入力に対... [more] |
KBSE2015-39 pp.17-22 |
| KBSE | 2015-05-26 10:45 |
東京 | 機械振興会館 地下3階 B3-6会議室 | ソフトウェアプロダクトラインに対する保証ケースの研究課題 ○山本修一郎（名大） KBSE2015-8 |
プロダクトラインエンジニアリングに基づいて，フィーチャモデルと保証ケースを比較することにより，ソフトウェアプロダクトライ... [more] | KBSE2015-8 pp.39-44 |
| KBSE | 2015-03-05 16:40 |
東京 | 電通大(調布, 東3号館) | 属性付保証ケースを用いたアーキテクチャ評価手法の提案 ○山本修一郎（名大） KBSE2014-59 |
NFR Frameworkによる定量的なアーキテクチャ評価手法が提案されている．しかし，保証ケースを作成するためのGSN... [more] | KBSE2014-59 pp.43-48 |
| KBSE | 2014-11-06 15:30 |
京都 | 同志社大(京都/室町キャンパス，寒梅館3F) | アシュアランスケースによるArchiMateのビジネスアーキテクチャの妥当性確認手法の考案 ○村井謙太・山本修一郎（名大） KBSE2014-31 |
ArchiMate は,アーキテクチャをビジネス層,アプリケーション層,... [more] | KBSE2014-31 pp.19-24 |
| KBSE | 2013-09-13 15:00 |
東京 | 電気通信大学 | A classification method in identifying security patterns for a dependable Security Case
-- From Security Patterns to D-Case -- ○Vaise Patu・Nada Olayan・Shuichiro Yamamoto（Nagoya Univ.） KBSE2013-52 |
Today's software systems are facing new and complicated chal... [more] | KBSE2013-52 pp.91-96 |
| DC, CPSY (併催) |
2013-08-01 17:30 |
福岡 | 北九州国際会議場 | 実行環境との同期を含めたAssurance Casesの管理ツールの提案 ○志田駿介・内田篤史・倉光君郎（横浜国大） DC2013-19 |
本研究で我々はディペンダビリティ要求に関する議論を行うための技術文書であるAssurance Casesの表記法であるG... [more] | DC2013-19 pp.15-19 |
| KBSE | 2013-03-15 10:05 |
東京 | 芝浦工業大学 | ディペンダビリティケース分解パターンについての考察 ○山本修一郎・松野 裕（名大） KBSE2012-80 |
ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．このため，ディペンダビリティケー... [more] | KBSE2012-80 pp.67-72 |
| KBSE | 2013-01-28 16:05 |
東京 | 機械振興会館 | ユースケース分析に基づくディペンダビリティケース作成法の提案 松野 裕・○山本修一郎（名大） KBSE2012-61 |
ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．しかし，これまでのディペンダビリ... [more] | KBSE2012-61 pp.19-24 |
| KBSE | 2012-11-22 10:50 |
石川 | 金沢大学 (角間キャンパス) | アシュアランスケース構築法の提案 ○松野 裕（名大）・高井利憲（奈良先端大）・ヴァイセ パテゥー・山本修一郎（名大） KBSE2012-40 |
アシュアランスケースがシステムのディペンダビリティを保証する手法として注目を集めている。 しかし一般の技術者にわかりや... [more] |
KBSE2012-40 pp.13-17 |
| KBSE | 2012-11-22 12:00 |
石川 | 金沢大学 (角間キャンパス) | ディペンダビリティ・コンテクストの推定手法の提案 ○高間翔太・松野 裕・山本修一郎（名大） KBSE2012-42 |
近年、システムのディペンダビリティを保証するための研究が進められており、様々なシステムを対象にしたアシュアランスケースの... [more] | KBSE2012-42 pp.25-30 |
| KBSE | 2012-11-23 12:30 |
石川 | 金沢大学 (角間キャンパス) | ディペンダビリティケースへの責任属性の導入法の検討 ○山本修一郎・松野 裕（名大） KBSE2012-52 |
ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．しかし，これまでのディペンダビリ... [more] | KBSE2012-52 pp.85-90 |
[研究会発表申込システムのトップページに戻る]