| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 13:45 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ユーザの性格特性に基づくシステム安全性検証に関する一考察 ○成澤瑠佳・小形真平（信州大）・青木善貴（BIPROGY）・中川博之（阪大）・小林一樹・岡野浩三（信州大）  KBSE2023-72 |
人に危害を及ぼさないシステムを開発するためには，設計段階から安全性を考慮することが重要である．近年では，利用者の性格特性... [more] | KBSE2023-72 pp.43-48 |
| KBSE | 2024-03-14 14:10 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
倫理的判断へのモデル検査適用の試み ○青木善貴・中山陽太郎（BIPROGY） KBSE2023-73 |
自律的システムは，今後システムの安全を確保するとともに，倫理的な判断を行う必要がでてくると考えられる．形式手法の一つであ... [more] | KBSE2023-73 pp.49-54 |
| DC | 2024-02-28 11:20 |
東京 | 機械振興会館 | PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証 ○小野蒼生・土屋達弘（阪大） DC2023-96 |
コンセンサスアルゴリズムは分散アルゴリズムの一種である. 本研究ではいくつかのコンセンサスアルゴリズムを故障時の動作も... [more] |
DC2023-96 pp.11-16 |
| SS, DC (共催) |
2023-10-11 16:00 |
長野 | 信州大学工学部（長野市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
相互排除アルゴリズムを対象とした形式検証技術の適用 ○西口尚輝・土屋達弘（阪大） SS2023-24 DC2023-30 |
並行アルゴリズムを正しく設計するのは難しい．本研究では，相互排除に注目し，並行アルゴリズムを仕様化し検証する形式手法の利... [more] | SS2023-24 DC2023-30 pp.19-21 |
| SWIM, KBSE (共催) |
2023-05-20 14:25 |
静岡 | HAMAMATSU ACT CITY(浜松) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討 ○成澤瑠佳・小形真平（信州大）・青木善貴（BIPROGY）・中川博之（阪大）・小林一樹・岡野浩三（信州大） KBSE2023-10 SWIM2023-10 |
物品のやり取りを伴う対話型システムの設計を行う際には，物品取り忘れが発生し得る状況への対策を施さなければならない．既存の... [more] | KBSE2023-10 SWIM2023-10 pp.59-64 |
| KBSE | 2023-03-17 10:40 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み ○青木善貴（BIPROGY）・久住憲嗣（芝浦工大） KBSE2022-62 |
FRAM(Functional Resonance Analysis Method：機能共鳴分析手法) は，システムの機... [more] | KBSE2022-62 pp.49-54 |
| KBSE | 2023-03-17 12:50 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
確率的モデル検査器を用いたファミリーベースモデル検査についての考察 ○岸 知二（早大） KBSE2022-64 |
ファミリーベースモデル検査は可変性を持つシステム定義を対象にモデル検査を行い、複数の製品バリエーションの性質を一度に検証... [more] | KBSE2022-64 pp.61-66 |
| SS | 2023-03-15 09:55 |
沖縄 | 名護市産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
データ木書換え系の正則保存性 ～ 単項標準形に分解可能なクラス ～ ○坂尾優斗・関 浩之（名大） SS2022-62 |
言語クラス$mathcal{L}$上の変換$T$が正則保存性を持つとは，任意の正則な言語$L in mathcal{L}... [more] | SS2022-62 pp.91-96 |
| KBSE | 2023-01-19 15:10 |
石川 | ITビジネスプラザ武蔵(金沢) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察 ○藤本昌也・中川博之・土屋達弘（阪大） KBSE2022-47 |
本研究では，自己適応システムにおける動的検証を高速化する手法を提案する．動的検証を高速化する既存手法として，設計時に予め... [more] | KBSE2022-47 pp.25-30 |
| KBSE, SC (共催) |
2022-11-05 09:30 |
長野 | 野沢温泉 桐屋旅館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
確率的モデル検査ツールによるパロンドのパラドックスの分析 ○西口尚輝・中川博之・土屋達弘（阪大） KBSE2022-38 SC2022-33 |
本論文では，ソフトウェアのふるまいを形式的に検査する確率的モデル検査ツールの，他分野への応用方法を考える．具体的には，ゲ... [more] | KBSE2022-38 SC2022-33 pp.43-47 |
| MSS, NLP (共催) |
2022-03-28 10:05 |
ONLINE | オンライン開催 | 統計的モデル検査を用いたエレベータ制御則の設計検証の検討 ○北原祐希・中村正樹・榊原一紀（富山県立大） MSS2021-57 NLP2021-128 |
エレベータシステムを設計する際，乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる． UPPAAL... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
| MSS, NLP (共催) |
2022-03-29 14:55 |
ONLINE | オンライン開催 | Little-JILを用いた宇宙機システム運用シナリオのモデル検証 ○染谷一徳（JAXA）・平石邦彦（北陸先端大） MSS2021-78 NLP2021-149 |
X線天文衛星「ひとみ」の異常事象のように、運用シナリオに不備がある場合、衛星損失につながる可能性がある。そこで、Mode... [more] | MSS2021-78 NLP2021-149 pp.121-126 |
| SS, DC (共催) |
2021-10-19 15:25 |
ONLINE | オンライン開催 | レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス ○大西 晃・仙田涼摩（名大）・高田喜朗（高知工科大）・関 浩之（名大） SS2021-17 DC2021-22 |
有限オートマトンに，データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は，所属問題や空問題が判定可... [more] | SS2021-17 DC2021-22 pp.23-28 |
| ITS, IEE-ITS (連催) |
2021-03-15 15:05 |
ONLINE | オンライン開催 | モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証 ○土屋達弘（阪大）・大塚敏史（日立） ITS2020-43 |
本研究では，形式検証手法であるモデル検査を用いて，ラウンドアバウト型の交差点における車両の交通を制御する方法の検証を行っ... [more] | ITS2020-43 pp.41-44 |
| SS | 2021-03-03 10:25 |
ONLINE | オンライン開催 | レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス ○大西 晃・仙田涼摩（名大）・高田喜朗（高知工科大）・関 浩之（名大） SS2020-29 |
有限オートマトンに，データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は，所属問題や空問題が判定可... [more] | SS2020-29 pp.7-12 |
| 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 |
| ICSS, IPSJ-SPT (連催) |
2020-03-03 11:00 |
沖縄 | 沖縄県青年会館 （開催中止，技報発行あり） |
様相μ計算によるRNNのモデル検査 ○青島達大・碓井利宣（NTT） ICSS2019-88 |
機械学習モデルは，自動運転やロボティクス，工場の作業自動化など，様々なサイバーフィジカルシステムへ適用されている．しかし... [more] | ICSS2019-88 pp.119-124 |
| KBSE, SC (共催) |
2019-11-08 11:30 |
長野 | 信州大学 | 不具合原因分析支援のためのNuSMV反例解析手法の試案 ○大池勇太郎・小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹・岡野浩三（信州大） KBSE2019-24 SC2019-21 |
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] | KBSE2019-24 SC2019-21 pp.7-12 |
| SWIM, KBSE (共催) |
2019-05-25 09:45 |
東京 | 機械振興会館 | 確率的モデル検査器を用いたFRAM支援手法の試案 ○青木善貴（日本ユニシス）・小形真平（信州大） KBSE2019-8 SWIM2019-8 |
FRAM (Functional Resonance Analysis Method)は複雑な技術システムを分析しモデル... [more] | KBSE2019-8 SWIM2019-8 pp.49-56 |
[研究会発表申込システムのトップページに戻る]