| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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 |
| KBSE | 2019-03-02 11:30 |
京都 | 同志社大学寒梅館 | 自己適応システムの動的検証法の高速化に関する研究 ○妙見侑祐・中川博之・土屋達弘（阪大） KBSE2018-66 |
ソフトウェアシステムの実行環境は刻一刻と変化するものとなっており，不確かなものとなっている．その不確かな環境でソフトウェ... [more] | KBSE2018-66 pp.75-80 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 15:50 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 ○青木善貴（日本ユニシス）・小形真平・小林一樹（信州大）・中川博之（阪大） SS2018-11 KBSE2018-21 |
IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる．その構成... [more] | SS2018-11 KBSE2018-21 pp.61-66 |
| SS | 2018-03-06 11:30 |
沖縄 | 南大東島 | STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 ○岡野浩三・小形真平・楊 盼（信州大）・岡本圭史（仙台高専） SS2017-64 |
近年情報システムの大規模化複雑化にともない，情報システムの事故原因解明や 事故そのものの事前防止策に注目があつまってい... [more] |
SS2017-64 pp.1-6 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 10:45 |
北海道 | 函館コミュニティプラザ | 端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法 ○辻 光顕・長谷部浩二・加藤和彦（筑波大） SS2017-2 KBSE2017-2 |
著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている．このシステムの特長は，隊列を再編成する... [more] | SS2017-2 KBSE2017-2 pp.7-12 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 13:10 |
北海道 | 函館コミュニティプラザ | IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 ○小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹（信州大）・福島祐子（日本ユニシス） SS2017-5 KBSE2017-5 |
IoTシステムのアーキテクチャでは，ユーザ，Webサービス，エッジ，デバイス，電力系統，自然環境などの様々なオブジェクト... [more] | SS2017-5 KBSE2017-5 pp.25-30 |
| MSS | 2017-03-16 11:20 |
島根 | 島根大学総合理工学部1号館情報棟1階情報科学講義室 | 組込みアセンブリプログラムのリアルタイム性の検証手法 ～ 組込みプログラムのためのモデル検査と演繹的検証 ～ ○山根 智（金沢大） MSS2016-83 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証... [more] | MSS2016-83 pp.11-16 |
| SS | 2017-03-10 09:15 |
沖縄 | てんぶす那覇 | Androidアプリケーションの並行実行における予期しない消費電力増加の検出 ○稲垣貴大・結縁祥治（名大） SS2016-74 |
本研究では，Androidアプリケーションの並行実行をすることで発生する電力消費問題について，有界モデル検査による解法を... [more] | SS2016-74 pp.85-90 |
| KBSE | 2017-03-03 12:50 |
石川 | 石川県金沢市 ITビジネスプラザ武蔵 研修室1 | キャッシュの効率利用による自己適応システムの動的モデル検査法改善 ○外山大夢・中川博之・小島英春・土屋達弘（阪大） KBSE2016-40 |
近年，システム自身の振る舞いを変化させる自己適応システムに注目が集まっているが，振る舞い変更時に変更後の振る舞いの正しさ... [more] | KBSE2016-40 pp.7-12 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 | 神戸情報大学院大学 | ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己（信州大） CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った．HiPSは筆... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| MBE | 2016-07-30 14:30 |
岡山 | 岡山大学 | 人工呼吸器の使用状況電子管理システムの構築 ○鳥越貴之・宮崎 仁（川崎医療福祉大）・檀上紗弥（洛和会ヘルスケアシステム音羽病院）・茅野 功（川崎医療福祉大）・小笠原康夫（川崎医科大/川崎医療福祉大） MBE2016-18 |
人工呼吸器は，病院内で集中管理される生命維持管理装置であり，厚労省によって，保守点検が義務付けられている．現状では，その... [more] | MBE2016-18 pp.17-20 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-13 10:20 |
北海道 | 北海道立道民活動センター | シーケンス図のメーセージ順序の適正な修正手法 ○岡野浩三（信州大）・原内 聡（三菱電機）・田島洋介・小形真平（信州大） SS2016-2 KBSE2016-8 |
ソフトウェア開発において，品質を保証するための手法として設計の欠陥の検出，修正に関する多くの提案がされている．仕様設計の... [more] | SS2016-2 KBSE2016-8 pp.7-12 |
| MBE | 2016-06-17 13:25 |
北海道 | 北海道大学 | モデル検査を用いた人工呼吸器貸出管理システムの検証 ○宮崎 仁・鳥越貴之・茅野 功（川崎医療福祉大）・小笠原康夫（川崎医科大/川崎医療福祉大） MBE2016-14 |
病院では，業務の効率化や改善を目的として，医療従事者が開発したシステムを稼働することがある．しかしながら，メーカーが開発... [more] | MBE2016-14 pp.27-30 |
| KBSE | 2016-05-27 10:45 |
東京 | 同志社大学 東京オフィス | デザインパターンに基づくソースコードのモデル検証の手法の提案 ○青木善貴（NUL） KBSE2016-6 |
今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた．この検証手法は制御フローをベースにし... [more] | KBSE2016-6 pp.31-36 |
| SS | 2016-03-11 14:15 |
沖縄 | 沖縄県立宮古青少年の家 | 一次元系における自己位置推定の振舞い検証に向けて ○関澤俊弦（日大）・岡野浩三（信州大） SS2015-100 |
組込みシステムが社会に広く普及するに伴い，その信頼性は重要となっている．モデル検査は信頼性保証技術の一つであり，様々なシ... [more] | SS2015-100 pp.145-150 |
| KBSE | 2016-03-03 15:20 |
大分 | 由布市湯布院公民館 | ［招待講演］不確かさを抱擁するモデル駆動開発 ○鵜林尚靖（九大） KBSE2015-56 |
ソフトウェア工学において，不確かさを抱擁したソフトウェア開発は重要な研究課題の一つである．Garlanは，伝統的なソフト... [more] | KBSE2015-56 p.49 |
| MSS | 2016-03-03 10:30 |
山口 | 海峡メッセ下関 | エージェント指向ペトリネットPN^2による有界活性の解析法とIoT応用サービスへの適用 ○津川捷暉・中堀和哉・山口真悟（山口大） MSS2015-67 |
本稿では，IoT 応用サービスにおけるオーバーフローやデッドロックの発生を解析することを目的とする．まずIoT 応用サー... [more] | MSS2015-67 pp.1-4 |
| VLD | 2016-02-29 13:30 |
沖縄 | 沖縄県青年会館 | Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発 ○森光勇太・横川智教（岡山県立大）・近藤真史・宮崎 仁（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大）・吉田則裕（名大） VLD2015-111 |
本稿では，Verilog-HDLで記述された大規模ハードウェア設計の検証支援ツールについて報告する． 検証には，フォー... [more] |
VLD2015-111 pp.1-6 |
[研究会発表申込システムのトップページに戻る]