| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 14:10 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
倫理的判断へのモデル検査適用の試み ○青木善貴・中山陽太郎（BIPROGY）  KBSE2023-73 |
自律的システムは，今後システムの安全を確保するとともに，倫理的な判断を行う必要がでてくると考えられる．形式手法の一つであ... [more] | KBSE2023-73 pp.49-54 |
| 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 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2022-07-29 13:00 |
北海道 | 北海道自治労会館（札幌） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
充足可能性判定を利用した実現可能な時間オートマトンの検証 ○城 聖一郎・結縁祥治（名大） SS2022-9 KBSE2022-19 |
クロックのずれやサンプリングを考慮した実現可能な時間オートマトンの到達可能性検証の手法として，SMTソルバを用いた有界検... [more] | SS2022-9 KBSE2022-19 pp.49-54 |
| MSS, NLP (共催) |
2022-03-28 10:05 |
ONLINE | オンライン開催 | 統計的モデル検査を用いたエレベータ制御則の設計検証の検討 ○北原祐希・中村正樹・榊原一紀（富山県立大） MSS2021-57 NLP2021-128 |
エレベータシステムを設計する際，乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる． UPPAAL... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
| 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 |
| SS | 2021-03-04 13:25 |
ONLINE | オンライン開催 | Software Analysis WorkbenchとSymbolicPathFindreを使用した網羅的な反例とパス制約の生成 ○辛島 凜・小形真平・岡野浩三（信州大） SS2020-41 |
Software Analysis Workbench (SAW)はJVMバイトコードをシンボリック実行によってモデル化... [more] | SS2020-41 pp.78-83 |
| DC, SS (共催) |
2020-10-19 13:25 |
ONLINE | オンライン開催 | LTL Model Checking for Register Pushdown Systems ○Ryoma Senda（Nagoya Univ.）・Yoshiaki Takata（KUT）・Hiroyuki Seki（Nagoya Univ.） SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of rec... [more] | SS2020-6 DC2020-23 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 |
| NLP, MSS (併催) |
2019-03-15 15:55 |
福井 | 福井大学 文京キャンパス | Simulinkモデルに対するシミュレーションによる重み付き記号的状態遷移系の導出 ○大脇亮太・結縁祥治（名大） MSS2018-95 |
本研究では離散的な振舞いを含むSimulinkモデルの振る舞いを抽象化し記号的 重み付き状態遷移系を導出する手法を提案... [more] |
MSS2018-95 pp.75-80 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| SS | 2019-03-05 15:25 |
沖縄 | 沖縄産業支援センター | 関数型プログラムの条件式のための反例を用いた自動修正 ○松井 健・佐藤亮介・鵜林尚靖・亀井靖高（九大） SS2018-80 |
ソフトウェア開発において，手動によるバグ修正には多くの手間と時間がかかる．開発者の負担を減らすため自動バグ修正の研究が行... [more] | SS2018-80 pp.169-174 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 14:50 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 ○上原健嗣・平石邦彦（北陸先端大） CAS2018-75 MSS2018-51 |
離散事象シミュレーションは，事象の振る舞いを計算機上で再現し，その仕組みを解明するために有用な手法であり，最適な制御方法... [more] | CAS2018-75 MSS2018-51 pp.121-126 |
[研究会発表申込システムのトップページに戻る]