| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-17 13:50 |
石川 | 金沢商工会議所会館（石川県金沢市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案 ○柿本和希・高井利憲・飯田 元（奈良先端大）  MSS2023-54 SS2023-33 |
STPAの解析結果の妥当性をレビューすることを目的として，解析結果に含まれる導出の過程が明らかではない情報の解析過程を明... [more] | MSS2023-54 SS2023-33 pp.13-18 |
| KBSE | 2023-01-20 10:30 |
石川 | ITビジネスプラザ武蔵(金沢) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ゴール構造化表記法を用いた車両システム構想設計における新規アイデアの要求獲得と合意形成手法 ○渡邉将弘（マツダ）・松野 裕（日大）・高井利憲（奈良先端大） KBSE2022-49 |
[more] | KBSE2022-49 pp.34-39 |
| KBSE | 2021-01-23 13:05 |
ONLINE | オンライン開催 | DevOpsアシュアランスケースによる自動運転システムの安全性保証 ○小池湧大（日大）・岡田 学（ティアフォー）・高井利憲（チェンジビジョン）・大熊拓海・松野 裕（日大） KBSE2020-29 |
AI技術の発展により、自動運転システムの実用化が視野に入ってきた。しかしAI技術の安全性の保証は、その従来にない帰納的な... [more] | KBSE2020-29 pp.1-6 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| MSS, SS (共催) |
2019-01-15 15:20 |
沖縄 | 沖縄県青年会館 | 計算論的融和の枠組みに向けて ○高井利憲（奈良先端大） MSS2018-63 SS2018-34 |
[more] | MSS2018-63 SS2018-34 pp.49-54 |
| KBSE | 2016-03-04 14:30 |
大分 | 由布市湯布院公民館 | 消費者向け製品のための効果的なリスク共有手法の提案 ○八木英光・高井利憲・飯田 元（奈良先端大） KBSE2015-65 |
航空機や鉄道など安全に係わるシステムに対しては、そのリスクについて関係者間で共通の理解を得るための文書であるアシュアラン... [more] | KBSE2015-65 pp.97-102 |
| KBSE | 2015-03-06 13:00 |
東京 | 電通大(調布, 東3号館) | ペルソナに基づく撤回可能付きGSN構築手法の提案 ～ システムアシュアランス導入に関するリスクケースを題材として ～ ○泉川大樹・高井利憲（奈良先端大） KBSE2014-61 |
本論文では撤回可能付き GSN を構築する際，GSN の記述主体に関するペルソナを定義すること，また否定的なトップゴール... [more] | KBSE2014-61 pp.55-58 |
| KBSE | 2015-03-06 13:45 |
東京 | 電通大(調布, 東3号館) | アシュアランスケース構築のための議論合成法 ○高井利憲（奈良先端大）・木藤浩之（東大）・松野 裕（電通大） KBSE2014-62 |
近年，安全性に関係するシステムやソフトウェアにおいては，リスクに関する議論を記 述したアシュアランスケースを求めら... [more] |
KBSE2014-62 pp.59-64 |
| KBSE | 2015-01-26 11:20 |
東京 | 機械振興会館 B3F-2 | システムアシュアランス演習の実践報告 ○高井利憲（奈良先端大）・松野 裕（電通大） KBSE2014-40 |
システムアシュアランスとは，システムやソフトウェアのリスクに関する性質について， 証拠に裏付けされた信用を与える活... [more] |
KBSE2014-40 pp.7-11 |
| KBSE | 2012-11-22 10:50 |
石川 | 金沢大学 (角間キャンパス) | アシュアランスケース構築法の提案 ○松野 裕（名大）・高井利憲（奈良先端大）・ヴァイセ パテゥー・山本修一郎（名大） KBSE2012-40 |
アシュアランスケースがシステムのディペンダビリティを保証する手法として注目を集めている。 しかし一般の技術者にわかりや... [more] |
KBSE2012-40 pp.13-17 |
| KBSE | 2011-09-21 13:45 |
海外 | オーシャングランドホテル済州 | d*フレームワークの提案: 複数のアクタ間のディペンダビリティ・ケース ○松野 裕（東大）・高井利憲（産総研）・山本修一郎（名大） |
[more] | |
[研究会発表申込システムのトップページに戻る]