お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 7件中 1~7件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
ICM 2024-03-22
15:05
沖縄 沖縄県立博物館・美術館
(ハイブリッド開催,主:現地開催,副:オンライン開催)
複数無線通信サービスにおける基地局割り当てシステムのセーフティ・セキュリティ統合分析
村田 陸篠宮紀彦創価大ICM2023-61
モバイル端末の普及とデータトラヒック量の増加により,都心の駅などの人が集中する場所では,ユーザが繋がりにくいと感じてしま... [more] ICM2023-61
pp.83-88
SS, MSS
(共催)
2024-01-17
13:50
石川 金沢商工会議所会館(石川県金沢市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案
柿本和希高井利憲飯田 元奈良先端大MSS2023-54 SS2023-33
STPAの解析結果の妥当性をレビューすることを目的として,解析結果に含まれる導出の過程が明らかではない情報の解析過程を明... [more] MSS2023-54 SS2023-33
pp.13-18
KBSE 2020-03-06
13:30
沖縄 てんぶす那覇
(開催中止,技報発行あり)
安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案
鈴木悠介・○小形真平大池勇太郎信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (... [more] KBSE2019-47
pp.7-12
SS 2020-03-05
12:05
沖縄 てんぶす那覇
(開催中止,技報発行あり)
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法
楊 盼岡野浩三小形真平信州大)・岡本圭史仙台高専SS2019-56
システム理論に基づくアクシデントモデルとして,Systems Theoretic Accident Model and ... [more] SS2019-56
pp.93-98
SSS 2019-06-25
15:50
東京 日本大学理工学部駿河台キャンパス タワー・スコラ6階 S620会議室 列車接近警報システムのSTAMP/STPA分析とSafety 2.0
北村 知杉浦弘人川野 卓JR東日本SSS2019-11
MITのLeveson教授により提唱され、ソフトウェア集約型の複雑システムの安全分析や安全設計に有効と言われているSTA... [more] SSS2019-11
pp.17-20
SS 2019-03-04
17:10
沖縄 沖縄産業支援センター ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案
辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大SS2018-67
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] SS2018-67
pp.91-96
SS 2018-03-06
11:30
沖縄 南大東島 STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
岡野浩三小形真平楊 盼信州大)・岡本圭史仙台高専SS2017-64
近年情報システムの大規模化複雑化にともない,情報システムの事故原因解明や
事故そのものの事前防止策に注目があつまってい... [more]
SS2017-64
pp.1-6
 7件中 1~7件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会