研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
IA |
2019-11-29 11:30 |
青森 |
津軽伝承工芸館 |
路線バスを活用した広域センシングシステムの開発と評価 ○木村友哉・山本 寛(立命館大) IA2019-44 |
2012年におきた中央自動車道笹子トンネルの天井板落下事件をきっかけに、道路を管理する自治体などはトンネルや橋梁の点検を... [more] |
IA2019-44 pp.7-12 |
VLD, DC, IPSJ-SLDM, IPSJ-EMB (連催) CPSY, IPSJ-ARC (連催) ICD, IE (共催) RECONF (併催) [詳細] |
2019-11-14 10:45 |
愛媛 |
愛媛県男女共同参画センター |
[基調講演]エッジディープラーニングアクセラレータによる画像認識 ○大渕栄作(ディジタルメディアプロフェッショナル) VLD2019-38 ICD2019-28 IE2019-34 CPSY2019-41 DC2019-62 RECONF2019-39 |
近年注目されているAI技術動向、ディープラーニングの概要を紹介しながら、どのようにAIハードウェアやSoCの研究開発・シ... [more] |
VLD2019-38 ICD2019-28 IE2019-34 CPSY2019-41 DC2019-62 RECONF2019-39 pp.93-94(VLD), pp.3-4(ICD), pp.3-4(IE), pp.3-4(CPSY), pp.93-94(DC), pp.21-22(RECONF) |
VLD, DC, IPSJ-SLDM, IPSJ-EMB (連催) CPSY, IPSJ-ARC (連催) ICD, IE (共催) RECONF (併催) [詳細] |
2019-11-15 16:10 |
愛媛 |
愛媛県男女共同参画センター |
割込み起床機構を用いた低遅延割込み処理機構 ○和田 涼・山﨑信行(慶大) CPSY2019-50 |
近年,組込みリアルタイムシステムは複雑さを増し,非周期タスクと周期タスクの両方を処理できることが求められる.I/O等の機... [more] |
CPSY2019-50 pp.71-76 |
VLD, DC, IPSJ-SLDM, IPSJ-EMB (連催) CPSY, IPSJ-ARC (連催) ICD, IE (共催) RECONF (併催) [詳細] |
2019-11-15 16:35 |
愛媛 |
愛媛県男女共同参画センター |
Trace Bufferを用いたNon-stop embedded OS ○宍戸 開・山﨑信行(慶大) CPSY2019-51 |
ある特定の機器を動作させることを目的に機器などに組み込まれるシステムのことを組込みシステムという。一般的なコンピュータと... [more] |
CPSY2019-51 pp.77-82 |
KBSE, SC (共催) |
2019-11-08 15:40 |
長野 |
信州大学 |
ある組込みシステムの開発と検証のケーススタディ ○岡野浩三・小形真平・夏目実希(信州大) KBSE2019-30 SC2019-27 |
組込みシステムの作成と設計検証を通じてとりわけ,未知の技術を初学者の技術者が取り組むときの課題点,作業について報告する.... [more] |
KBSE2019-30 SC2019-27 pp.41-46 |
SSS |
2019-03-26 13:20 |
東京 |
東京都議会 |
組込みシステムへのAI適用時の高信頼性および安全保障手法 ○大森康宏・樋口昭彦・川上大介(三菱電機) SSS2018-32 |
本報告では,機械学習の結果を利用する組込みシステムにおいて,高い信頼性を持たせ,かつ低いコストに実装可能な安全アーキテク... [more] |
SSS2018-32 pp.3-6 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2019-03-17 15:50 |
鹿児島 |
西之表市民会館(種子島) |
IPC制御を用いたSMTプロセッサ向けRT-VFS手法 ○鈴木宏海・井出陽介・塚原悠太・山﨑信行(慶大) CPSY2018-106 DC2018-88 |
組込みリアルタイムシステムはリアルタイム性の維持のみならず,消費電力を削減することが要求されている.本研究ではSimul... [more] |
CPSY2018-106 DC2018-88 pp.161-166 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2019-03-17 16:10 |
鹿児島 |
西之表市民会館(種子島) |
組込みプロセッサ用AI処理向けベクトルユニットの設計 ○井出陽介・鈴木宏海・森 祐樹・山﨑信行(慶大) CPSY2018-107 DC2018-89 |
近年, AI アプリケーションが幅広い分野で用いられるようになり,その学習や認識に用いられるニューラルネットワーク (N... [more] |
CPSY2018-107 DC2018-89 pp.167-172 |
SS |
2019-03-04 10:40 |
沖縄 |
沖縄産業支援センター |
余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング ○町頭優輝・中田明夫(広島市大) SS2018-55 |
リアルタイム組込みシステムは,複数の入力に対する応答性を向上させるためにマルチタスクシステムで設計され,また低消費電力化... [more] |
SS2018-55 pp.19-24 |
ASN |
2019-01-28 15:40 |
鹿児島 |
休暇村 指宿 |
環境発電による環境発電素子の発電量計測システム ○菅田唯仁・荒川 豊・安本慶一(奈良先端大) ASN2018-82 |
我々は,スマートフォンを使わずに,低消費電力で部屋単位の場所を認識するシステムを提案している.このシステムでは,環境発電... [more] |
ASN2018-82 pp.23-26 |
DC, SS (共催) |
2018-10-05 10:00 |
愛知 |
犬山国際観光センター「フロイデ」 |
組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 ○中村 成・山本椋太・吉田則裕・高田広章(名大) SS2018-22 DC2018-23 |
要求仕様書は多くの場合,自然言語で記述される.そのため,目視による確認では発見できない記述漏れや不整合が存在しうる.
... [more] |
SS2018-22 DC2018-23 pp.25-30 |
SDM, ICD (共催) ITE-IST (連催) [詳細] |
2018-08-07 16:45 |
北海道 |
北海道大学大学院情報科学研究科 M棟M151 |
FPGA搭載プロセッサのダイ温度からの消費電力推定 ○金子博昭・金杉昭徳(東京電機大) SDM2018-35 ICD2018-22 |
組込みシステム応用向けで1Wを下回る消費電力のプロセッサについて熱管理を支える温度感知の重要性が増している.本稿ではFP... [more] |
SDM2018-35 ICD2018-22 pp.53-58 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 14:25 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
組み込みシステムに対する安全な機能追加手法の考察 ○土田真也・中川博之・土屋達弘(阪大) SS2018-8 KBSE2018-18 |
特定の機能を実現する組み込みシステムに対して, 運用後の機能追加が必要な場合がある. しかし, 組み込みシステムが持つ特... [more] |
SS2018-8 KBSE2018-18 pp.43-48 |
MSS, NLP (併催) |
2018-03-13 14:55 |
大阪 |
大阪大学豊中キャンパス |
定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ○小田島直樹(金沢大)・福田岳飛(金沢錦丘高校)・山根 智(金沢大) MSS2017-84 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] |
MSS2017-84 pp.35-40 |
SIS |
2018-03-08 15:50 |
愛知 |
名城大学天白キャンパス |
組込みシステムに適したリアルタイムdehazing処理の高性能化 ○安田彩香(徳山高専)・古川翔大(鹿児島高専)・末竹規哲(山口大)・古賀崇了(徳山高専) SIS2017-61 |
デジタル画像に重畳された霧や靄などの霞みを除去するための処理をdehazing処理という.Dehazing処理を監視カメ... [more] |
SIS2017-61 pp.23-28 |
SS |
2018-03-07 15:00 |
沖縄 |
南大東島 |
システムテストに対するユーザの利用形態に基づく優先度付きテストケース生成手法の提案 ○斎藤英美・利國 愛・中川雄一郎(日立) SS2017-76 |
組込みシステムでは,重大な不具合は早期に検出したいという要求がある.ユーザの実際の利用形態に類似するテストケースで発生す... [more] |
SS2017-76 pp.69-74 |
KBSE |
2018-03-02 14:20 |
沖縄 |
石垣市民会館 中ホール |
時間制約を考慮可能な自己適応システム実装フレームワークの検討 津田宏軌・○中川博之・土屋達弘(阪大) KBSE2017-59 |
自己適応システムは環境の変化などに適応し,自ら振る舞いを変化させることができるシステムである.その特徴から振る舞い変更の... [more] |
KBSE2017-59 pp.121-126 |
KBSE |
2018-01-25 13:35 |
東京 |
機械振興会館 |
MAPEループ構造に基づいた機能更新フレームワークに関する考察 ○土田真也・中川博之・土屋達弘(阪大) KBSE2017-32 |
特定の機能を実現する組み込みシステムは, 運用後の変更を考慮することが少なく, 一般的に外部からの機能変更は難しい. し... [more] |
KBSE2017-32 pp.1-6 |
SS, MSS (共催) |
2018-01-18 15:05 |
広島 |
広島市立大学サテライトキャンパス |
EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 ○松岡伶音・中田明夫(広島市大) MSS2017-56 SS2017-43 |
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
IPSJ-ARC, IPSJ-SLDM (共催) VLD, CPSY, RECONF (共催) (連催) [詳細] |
2018-01-18 17:00 |
神奈川 |
慶應義塾大学 日吉キャンパス 来往舎 |
Erlangからの高位合成のためのメモリ分散アーキテクチャ ○東 香実・浜名将輝・若林秀和・石浦菜岐佐(関西学院大)・吉田信明・神原弘之(京都高度技研) VLD2017-75 CPSY2017-119 RECONF2017-63 |
本稿では, Erlang からの高位合成のためのメモリ分散アーキテクチャを提案する. 竹林らが提案した Erlang サ... [more] |
VLD2017-75 CPSY2017-119 RECONF2017-63 pp.77-82 |