研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
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-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 |
IPSJ-SLDM, IPSJ-ARC (共催) RECONF, VLD, CPSY (共催) (連催) [詳細] |
2020-01-22 11:50 |
神奈川 |
慶応義塾大学 日吉キャンパス 来往舎 |
リアルタイム処理用DDR4 SDRAMコントローラ ○原村 颯・山﨑信行(慶大) VLD2019-56 CPSY2019-54 RECONF2019-46 |
組込みシステムにおいて,家電や輸送機器,ロボットなどの高機能化にともない,プログラムやデータの大 規模化が進み,主記憶の... [more] |
VLD2019-56 CPSY2019-54 RECONF2019-46 pp.13-17 |
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 |
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 |
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 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2015-12-03 12:05 |
長崎 |
長崎県勤労福祉会館 |
Dependable Responsive Multithreaded Processor IIにおける低遅延リアルタイム実行 ○羽鳥雄介・大沢幸平(慶大)・溝谷圭悟(任天堂)・千代浩之・山崎信行(慶大) CPSY2015-75 |
近年の組込みシステムでは,リアルタイム性だけでなく高スループットを実現するために,マルチプロ
セッサが要求される.さら... [more] |
CPSY2015-75 pp.81-86 |
SS |
2015-05-11 13:00 |
熊本 |
熊本大学 |
小規模組み込みシステムにおけるFRPの応用に向けて ○澤田賢祐・鈴木康平・渡部卓雄(東工大) SS2015-1 |
関数リアクティブプログラミング(FRP)は,入力に対する出力を宣言的に記述したモジュールを高階関数等を用いて組み合わせる... [more] |
SS2015-1 pp.1-5 |
CPSY, DC (共催) IPSJ-EMB, IPSJ-SLDM (共催) (連催) [詳細] |
2015-03-06 15:40 |
鹿児島 |
奄美市社会福祉協議会 会議室(2F・4F) |
機器への組込み容易なソフトマクロプロセッサの開発 ○杉山智之・佐々木敬泰・近藤利夫(三重大) CPSY2014-168 DC2014-94 |
近年,組込みシステムでは高性能化に伴う消費電力の増加が問題となっている.組込み分野では,性能や電力だけでなく耐故障性や小... [more] |
CPSY2014-168 DC2014-94 pp.37-42 |
CPSY, DC (共催) IPSJ-EMB, IPSJ-SLDM (共催) (連催) [詳細] |
2015-03-07 10:45 |
鹿児島 |
奄美市社会福祉協議会 会議室(2F・4F) |
RMT ProcessorにおけるIPC制御を用いたリアルタイム静的電圧周波数制御 ○山田賢治・羽鳥雄介・萩原秀磨・溝谷圭悟・高須雅義・山﨑信行(慶大) CPSY2014-179 DC2014-105 |
近年の組込みリアルタイムシステムでは高い演算能力だけでなく,低消費電力が求められる.これらの要求を満たすために設計された... [more] |
CPSY2014-179 DC2014-105 pp.101-106 |