| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-18 10:25 |
石川 | 金沢商工会議所会館（石川県金沢市） (石川県, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 ○中西優元・中田明夫（広島市大）  MSS2023-62 SS2023-41 |
本研究では，実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する．実時間制約を持つソフトウェアの異な... [more] | MSS2023-62 SS2023-41 pp.58-63 |
| SS, MSS (共催) |
2022-01-12 10:05 |
長崎 | 長崎県建設総合会館 (長崎県, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
メモリ使用量の動的変化に対する適応的制御によりデッドラインを充足し総メモリ使用量を削減するマルチタスクスケジューリング手法の提案 ○新井諒介・中田明夫（広島市大） MSS2021-48 SS2021-35 |
筆者らは従来,メモリ使用量と実時間制約の両方を考慮した優先度を設定することにより実時間制約を守りながらシステム全体の総メ... [more] | MSS2021-48 SS2021-35 pp.95-99 |
| SS | 2020-03-04 14:45 |
沖縄 | てんぶす那覇 (沖縄県) （開催中止，技報発行あり） |
ヒープメモリ確保・解放量と実時間制約を共に考慮しマルチプロセッサシステムのメモリ消費量を削減するリアルタイムスケジューリング ○町頭優輝・中田明夫（広島市大） SS2019-45 |
[more] | SS2019-45 pp.25-30 |
| SS | 2019-03-04 10:40 |
沖縄 | 沖縄産業支援センター (沖縄県) | 余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング ○町頭優輝・中田明夫（広島市大） SS2018-55 |
リアルタイム組込みシステムは，複数の入力に対する応答性を向上させるためにマルチタスクシステムで設計され，また低消費電力化... [more] | SS2018-55 pp.19-24 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-19 16:55 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 (北海道) | Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model ○Nagisa Kojima・Kazuyuki Shima・Akio Nakata（Hiroshima City Univ.） SS2018-14 KBSE2018-24 |
[more] | SS2018-14 KBSE2018-24 pp.161-166 |
| SS, MSS (共催) |
2018-01-18 15:05 |
広島 | 広島市立大学サテライトキャンパス (広島県) | EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 ○松岡伶音・中田明夫（広島市大） MSS2017-56 SS2017-43 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | MSS2017-56 SS2017-43 pp.53-58 |
| SS | 2017-03-10 09:40 |
沖縄 | てんぶす那覇 (沖縄県) | 応答時間の均一化を目的としたReal-Time Calculusによるシステム同定手法 ○岡本怜也・中田明夫（広島市大） SS2016-75 |
リアルタイムシステムでは多くの場合応答時間の均一化が求められる．しかしリアルタイムシステムにおいて短時間内に多数の入力イ... [more] | SS2016-75 pp.91-96 |
| SS | 2017-03-10 10:05 |
沖縄 | てんぶす那覇 (沖縄県) | デッドライン制約を考慮しヒープメモリ削減を行うマルチタスクスケジューリング手法の提案 ○鈴木悠斗・中田明夫（広島市大） SS2016-76 |
組込みソフトウェアでも多く使用されるマルチタスクシステムは，一般にシングルタスクシステムよりもメモリ使用量が大きい．その... [more] | SS2016-76 pp.97-102 |
| SS | 2017-03-10 11:35 |
沖縄 | てんぶす那覇 (沖縄県) | マルチタスクシステム仕様に対する性能検証のタスク併合による効率化 ○橋本和磨・中田明夫（広島市大） SS2016-79 |
リソース制約が厳しく，高い性能と信頼性が要求される組込みソフトウェア開発において，最悪時に性能要求を満たすか否かの検証(... [more] | SS2016-79 pp.115-120 |
| MSS, SS (共催) |
2017-01-26 11:30 |
京都 | 京都工芸繊維大学 60周年記念館 2階大セミナー室 (京都府) | ヒープメモリ使用状況の予測によりメモリ使用量削減を行うマルチタスクスケジューリング手法の提案 ○中山敬基・中田明夫（広島市大） MSS2016-60 SS2016-39 |
各タスクの次の処理のメモリ使用量の増分を比較し，最もメモリ使用量の増分が小さいタスクをスケジュールすることにより，システ... [more] | MSS2016-60 SS2016-39 pp.19-24 |
| SS, MSS (共催) |
2016-01-26 11:55 |
石川 | しいのき迎賓館 セミナールームB (石川県) | Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫（広島市大） MSS2015-59 SS2015-68 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | MSS2015-59 SS2015-68 pp.135-140 |
| SS | 2015-05-11 16:30 |
熊本 | 熊本大学 (熊本県) | マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫（広島市大） SS2015-7 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | SS2015-7 pp.33-37 |
| SS, MSS (共催) |
2014-01-30 14:25 |
愛知 | 豊田中央研究所 (愛知県) | 近似によるパラメトリック実行時間解析の効率化手法およびその評価 ○杉原圭佑・中田明夫（広島市大） MSS2013-54 SS2013-51 |
実時間制約を持つソフトウェアを異なる実行環境で再利用するためには，プロセッサの各命令の実行時間やプログラムのループ回数な... [more] | MSS2013-54 SS2013-51 pp.17-22 |
| SS, MSS (共催) |
2014-01-30 14:50 |
愛知 | 豊田中央研究所 (愛知県) | 拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案 ○元家裕介・中田明夫（広島市大） MSS2013-55 SS2013-52 |
組込みシステム開発においては，厳しいリソース制約下での性能要求の達成は重要な設計目標の一つであり，設計段階で性能要求を満... [more] | MSS2013-55 SS2013-52 pp.23-28 |
| SS | 2012-05-10 14:40 |
愛媛 | 愛媛大学 (愛媛県) | 変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討 ○船瀬広岐・中田明夫（広島市大） SS2012-2 |
マルチタスクシステムにおいて，他のタスクへの処理の切り替え（コンテキストスイッチ）が発生すると，実行中のタスクは作業用に... [more] | SS2012-2 pp.7-12 |
| SS | 2012-05-10 16:25 |
愛媛 | 愛媛大学 (愛媛県) | 飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価 ○嘉戸 彰・中田明夫（広島市大） SS2012-5 |
組込みシステム開発において，設計段階で厳しいリソース制約の下で性能要求を満たすか否かを判別するのは一般に困難である．この... [more] | SS2012-5 pp.25-30 |
| SS | 2011-10-28 09:30 |
石川 | 北陸先端科学技術大学院大学 (石川県) | 再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作 ○椛島和宏・中田明夫（広島市大） SS2011-33 |
実時間性を持つソフトウェア部品に関しては，実行時間がプロセッサなどの実行環境に依存するため，異なる環境への再利用は一般に... [more] | SS2011-33 pp.37-42 |
| SS | 2011-10-28 10:00 |
石川 | 北陸先端科学技術大学院大学 (石川県) | リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法 ○倉田和哉・百々太市・中田明夫（広島市大） SS2011-34 |
[more] | SS2011-34 pp.43-48 |
| SS | 2009-03-02 17:00 |
佐賀 | 佐賀大学本庄キャンパス (佐賀県) | ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） SS2008-53 |
実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず... [more] | SS2008-53 pp.29-34 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2008-03-28 14:45 |
鹿児島 | 屋久島 離島総合開発センター (鹿児島県) | 再構成オーバヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案 ○西 圭祐（阪大）・木谷友哉（奈良先端大）・中田明夫（広島市大）・東野輝夫（阪大） DC2007-114 CPSY2007-110 |
ネットワークのユビキタス化に伴い，多種多様な組み込みシステムの開発・生産が行われている．そのような組み込みシステムは製造... [more] | DC2007-114 CPSY2007-110 pp.179-184 |
[研究会発表申込システムのトップページに戻る]