| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| VLD, HWS, ICD (共催) |
2024-03-02 12:05 |
沖縄 | 沖縄県男女共同参画センター【てぃるる】会議室１・２・３ （ハイブリッド開催，主：現地開催，副：オンライン開催） |
GF(2^m)上の算術演算順序回路の計算機代数に基づく形式検証に関する検討 ○迫田一歩（SCU/神戸大）・植村泰佳（SCU）・本間尚文（東北大）  VLD2023-140 HWS2023-100 ICD2023-129 |
本稿では，計算機代数に基づく算術演算回路の形式的検証手法について述べる．これまで，ガロア体GF(2^m)上の算術演算回路... [more] | VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
| KBSE | 2023-03-17 14:35 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SimulinkとSMTソルバの連携による協調解析支援ツールの開発 ○エンジリスタ アナック ノルマン・上田賀一（茨城大） KBSE2022-67 |
協調解析で多様なモデルを対象とするには，演算や型の特性に応じてSMT ソルバを選択できる必要がある．そのため，本研究では... [more] | KBSE2022-67 pp.79-84 |
| ITS, IEE-ITS (連催) |
2021-03-15 15:05 |
ONLINE | オンライン開催 | モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証 ○土屋達弘（阪大）・大塚敏史（日立） ITS2020-43 |
本研究では，形式検証手法であるモデル検査を用いて，ラウンドアバウト型の交差点における車両の交通を制御する方法の検証を行っ... [more] | ITS2020-43 pp.41-44 |
| NS, ICM, CQ, NV (併催) |
2020-11-27 11:45 |
ONLINE | オンライン開催 | システムの性質を検証可能な認証システム用フレームワークの提案 ○堀井基史・清水智弘（富士通研）・今井悟史（富士通） CQ2020-58 |
様々な手続きのデジタル化に伴い，様々な認証に関するインシデントが多発している．インシデントの発生を防止する技術として，多... [more] | CQ2020-58 pp.62-65 |
| ISEC, SITE, ICSS, EMM, HWS, BioX (共催) IPSJ-CSEC, IPSJ-SPT (共催) (連催) [詳細] |
2019-07-23 13:10 |
高知 | 高知工科大学 | ガロア体算術に基づく暗号ハードウェアの形式的トロイフリー性検証 ○伊東 燦・上野 嶺・本間尚文（東北大） ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 |
本稿では，暗号ハードウェアにハードウェアトロイ (HT: Hardware Trojan)が含まれないことを論理的に保証... [more] | ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 pp.133-138 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| ICSS, IA (共催) |
2018-06-26 10:45 |
愛媛 | 愛媛大学 南加記念ホール | ［招待講演］安全性解析技術に関する近年の動向 ○矢内直人（阪大） IA2018-12 ICSS2018-12 |
各研究における提案技術の安全性について, 数理的技法を通じて解析する手法が近年高い注目を受けている. 本稿ではこの数理的... [more] | IA2018-12 ICSS2018-12 pp.73-75 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 09:00 |
北海道 | 札幌市教育文化会館 | Atelier-Bによる形式検証手法の試行評価 ○山本椋太・山本修一郎（名大） SS2015-29 KBSE2015-22 |
本論文では，Bメソッドの開発ツールであるAtelier-B(CLEARSY社)を用いて実施した形式的検証手法の評価につい... [more] | SS2015-29 KBSE2015-22 pp.143-148 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2014-11-26 10:45 |
大分 | ビーコンプラザ（別府国際コンベンションセンター） | タイミング制約を含んだ回路記述方式とその意味論 ○西村俊二・尼崎太樹・末吉敏則（熊本大） VLD2014-82 DC2014-36 |
数学的な理論に基づく厳密な検証が可能となることから，各種の形式検証手法が広がりつつあるが，その検証対象は同期回路に限られ... [more] | VLD2014-82 DC2014-36 pp.81-86 |
| RECONF | 2014-09-19 14:40 |
広島 | 杜の宿 | 様相論理によるマルチクロック同期回路の形式検証体系 ○西村俊二・尼崎太樹・末吉敏則（熊本大） RECONF2014-33 |
数学的な理論に基づく厳密な検証が可能となることから，各種の形式検証手法が広がりつつあるが，多くの場合検証対象は単一クロッ... [more] | RECONF2014-33 pp.93-98 |
| SS | 2014-03-11 10:30 |
沖縄 | てんぷす那覇：第１・２会議室 | SATソルバを活用した決定表作成・検証方式 ○伊藤信治・佐藤直人・金藤栄孝・宮崎邦彦・森 浩起・木村 誠・山口 潔（日立） SS2013-73 |
条件の組合せパターンの考慮漏れを防止する方法の１つとして、決定表の活用が有効である。しかし、決定表は、条件項目の数が多く... [more] | SS2013-73 pp.7-11 |
| VLD | 2014-03-05 15:45 |
沖縄 | 沖縄県青年会館 | VerilogHDLによるハードウェア設計への記号モデル検査の適用事例 ○横川智教・東山大地（岡山県立大）・近藤真史（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大） VLD2013-166 |
従来のランダムテストによるIP検証では，検証の網羅性を保証することが極めて困難であることから，モデル検査による形式的検証... [more] | VLD2013-166 pp.177-182 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| KBSE | 2012-11-22 11:25 |
石川 | 金沢大学 (角間キャンパス) | アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 ○小橋潤平・竹下 淳・山根 智（金沢大） KBSE2012-41 |
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] | KBSE2012-41 pp.19-24 |
| MSS | 2012-03-09 13:00 |
東京 | JAIST東京サテライト | コンシェルジュサーバを持つ電話システムの形式的検証 黒野恵人・前田 彩・○河辺義信（愛知工大） MSS2011-84 |
電話による詐欺から身を守るには，発信者が詐欺師でないことを確認することが重要である． 山本らは，この確認作業を(半)自... [more] |
MSS2011-84 pp.61-66 |
| KBSE | 2011-11-11 13:20 |
長野 | 信州大学工学部 | UMLモデルからの変換によるWebアプリケーションの形式検証 ○大須賀隆彦（早大）・小野康一（日本IBM）・深澤良彰（早大） KBSE2011-49 |
モデル検査法がアプリケーションソフトウェアの形式検証のために適用されつつある．ソフトウェア開発の上流工程ではモデルを開発... [more] | KBSE2011-49 pp.79-84 |
| SS | 2011-10-28 11:45 |
石川 | 北陸先端科学技術大学院大学 | 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証 ○中島 崇・結縁祥治（名大） SS2011-37 |
本研究では，TOPPERS/ASPの割込み処理におけるARMアセンブリ言語コードの振舞を分離論理を用いて検証する．ARM... [more] | SS2011-37 pp.61-66 |
| SIP, ICD, IE, IPSJ-SLDM (共催) |
2005-10-21 15:30 |
宮城 | 作並温泉一の坊 | モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法 ○垣内洋介（阪大）・北嶋 暁（阪電通大）・浜口清治・柏原敏伸（阪大） |
本論文では，ハードウェアインターフェース仕様全体をより包括的に検証することを目指し，正規表現ベースの仕様記述言語からモニ... [more] | SIP2005-127 ICD2005-146 IE2005-91 pp.73-78 |
[研究会発表申込システムのトップページに戻る]