研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
DC, CPSY (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2024-03-21 09:50 |
長崎 |
壱岐の島ホール (ハイブリッド開催,主:現地開催,副:オンライン開催) |
MTJベースの不揮発性デバイスを用いたノンストッププロセッサ ○中別府将太・山﨑信行(慶大) CPSY2023-39 DC2023-105 |
今日では,自動車,家電,ロボット,宇宙機,センサネットワーク等の様々な組込みシステムが私達の生活を支えている.
組込み... [more] |
CPSY2023-39 DC2023-105 pp.7-11 |
DC, CPSY (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2024-03-22 09:25 |
長崎 |
壱岐の島ホール (ハイブリッド開催,主:現地開催,副:オンライン開催) |
リアルタイムシステム向けRISC-V SMTプロセッサの設計 ○野尻悠太・山﨑信行(慶大) CPSY2023-42 DC2023-108 |
組込みシステムは家電から自動車まで幅広い分野に使用されている。特に、時間制約が存在するものを組込みリアルタイムシステムと... [more] |
CPSY2023-42 DC2023-108 pp.24-28 |
RECONF, VLD (共催) |
2024-01-30 10:55 |
神奈川 |
新川崎 創造のもり AIRBIC 会議室1~4 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
組込みリアルタイムシステム向けGPUのプロトタイプ設計 ○樽井貴郁・山﨑信行(慶大) VLD2023-93 RECONF2023-96 |
近年,タスクの時間制約を守る必要があるリアルタイムシステムにおいて画像処理によって制御を行うビジュアルフィードバックのよ... [more] |
VLD2023-93 RECONF2023-96 pp.76-80 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2022-03-10 11:25 |
ONLINE |
オンライン開催 |
RMT Processor用Hypervisor RMTvisorの設計 ○牧野真成・山﨑信行(慶大) CPSY2021-45 DC2021-79 |
近年, 組込みシステムに対して Hypervisor による仮想化を用いることが注目されてきている. 組込み仮想化 は,... [more] |
CPSY2021-45 DC2021-79 pp.1-6 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2022-03-11 14:30 |
ONLINE |
オンライン開催 |
Fluidスケジューリングを用いた高効率なMixed Criticalityシステム ○八島幸祐・山﨑信行(慶大) CPSY2021-64 DC2021-98 |
近年のリアルタイムシステムでは,実行時間が状況に応じて変化するタスクを扱う必要がある.
Mixed Criticali... [more] |
CPSY2021-64 DC2021-98 pp.115-119 |
SS, MSS (共催) |
2022-01-12 10:05 |
長崎 |
長崎県建設総合会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
メモリ使用量の動的変化に対する適応的制御によりデッドラインを充足し総メモリ使用量を削減するマルチタスクスケジューリング手法の提案 ○新井諒介・中田明夫(広島市大) MSS2021-48 SS2021-35 |
筆者らは従来,メモリ使用量と実時間制約の両方を考慮した優先度を設定することにより実時間制約を守りながらシステム全体の総メ... [more] |
MSS2021-48 SS2021-35 pp.95-99 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2021-03-25 11:40 |
ONLINE |
オンライン開催 |
マルチプロセッサにおけるスポラディックタスクと周期タスクのスケジューリング手法 ○森 祐樹・山﨑信行(慶大) CPSY2020-54 DC2020-84 |
機器に組み込まれ,特定の機能を実現する組込みシステムの中でも特に,デッドラインや周期などの時間制約を守る必要があるシステ... [more] |
CPSY2020-54 DC2020-84 pp.25-30 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2021-03-26 14:40 |
ONLINE |
オンライン開催 |
不揮発性素子を用いたノンストッププロセッサ ○中別府将太・杉山尚央・山﨑信行(慶大)・鈴木健太・平賀啓三・神田泰夫(ソニーセミコンダクタソリューションズ) CPSY2020-66 DC2020-96 |
特定の機能を満たすために機器に組み込まれるコンピュータシステムを組込みシステムという.組込みシ
ステムの例としてウェア... [more] |
CPSY2020-66 DC2020-96 pp.97-102 |
RECONF |
2020-05-28 17:00 |
ONLINE |
オンライン開催 |
[招待講演]ドローンによる空中マニピュレーション ○下ノ村和弘(立命館大) RECONF2020-10 |
ドローンによる高所作業の実現を目指した研究を行っている.飛行しながら物体に物理的に接触する空中マニピュレーションでは,対... [more] |
RECONF2020-10 pp.55-58 |
SP, EA, SIP (共催) |
2020-03-03 09:00 |
沖縄 |
沖縄産業支援センター (開催中止,技報発行あり) |
組み込み向けHMM音声合成における大規模音声コーパスの利用に関する検討 ○西澤信行・小原朋広・石先広海(KDDI総合研究所) EA2019-141 SIP2019-143 SP2019-90 |
組み込み機器向けのHMM音声合成技術に基づく音声合成システムで,59.3時間の大規模音声コーパスから学習したサイズの大き... [more] |
EA2019-141 SIP2019-143 SP2019-90 pp.231-236 |
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 |
KBSE, SC (共催) |
2019-11-08 15:40 |
長野 |
信州大学 |
ある組込みシステムの開発と検証のケーススタディ ○岡野浩三・小形真平・夏目実希(信州大) KBSE2019-30 SC2019-27 |
組込みシステムの作成と設計検証を通じてとりわけ,未知の技術を初学者の技術者が取り組むときの課題点,作業について報告する.... [more] |
KBSE2019-30 SC2019-27 pp.41-46 |
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 |
SS |
2019-03-04 10:40 |
沖縄 |
沖縄産業支援センター |
余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング ○町頭優輝・中田明夫(広島市大) SS2018-55 |
リアルタイム組込みシステムは,複数の入力に対する応答性を向上させるためにマルチタスクシステムで設計され,また低消費電力化... [more] |
SS2018-55 pp.19-24 |
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, MSS (共催) |
2018-01-18 15:05 |
広島 |
広島市立大学サテライトキャンパス |
EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 ○松岡伶音・中田明夫(広島市大) MSS2017-56 SS2017-43 |
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
SIP, CAS, MSS, VLD (共催) |
2017-06-20 09:30 |
新潟 |
新潟大学五十嵐キャンパス 中央図書館ライブラリーホール |
組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~ ○山根 智(金沢大) CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] |
CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
MSS |
2017-03-16 11:20 |
島根 |
島根大学総合理工学部1号館情報棟1階情報科学講義室 |
組込みアセンブリプログラムのリアルタイム性の検証手法 ~ 組込みプログラムのためのモデル検査と演繹的検証 ~ ○山根 智(金沢大) MSS2016-83 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証... [more] |
MSS2016-83 pp.11-16 |
SIS |
2017-03-03 10:10 |
神奈川 |
神奈川工大横浜サテライト |
Min-Maxバイラテラルフィルタに基づくDehazing処理の組込みシステムにおける高速化 ○安田彩香(徳山高専)・古川翔大・末竹規哲(山口大)・古賀崇了(徳山高専) SIS2016-56 |
現在,画像に含まれる霧などのヘイズを除去するdehazing 処理のための研究が盛んに行われている.
dehazing... [more] |
SIS2016-56 pp.83-86 |