お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2015-05-11 16:30
マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証
中村貴史中田明夫広島市大SS2015-7
抄録 (和) 性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満たすか否かの検証(以下,性能検証)を行うことが有用である.従来我々は,マルチタスクシステムの動作仕様を固定優先度やプリエンプションを記述可能な拡張時間ペトリネットに変換し,最悪時にスループット要求を満たすか否かを検証する手法を提案している.この手法ではタスクのスケジューリング方式として固定優先度及び到着順スケジューリングのみに対応しており,特に近年利用が増加しているマルチプロセッサ環境に適したLeast Laxity Firstなどの動的優先度スケジューリング手法に対応していなかった.そこで,本発表では拡張時間ペトリネットによるマルチプロセッサ環境に適した組込みソフトウェアのモデル化手法に関するこれまでの研究について報告する. 
(英) In the development of embedded software which requires high reliability satisfaction of hard requirements for both computing resource and performance, it is useful to model the system’s behavior under specific computing resources and verify whether the system meet the performance requirements in the design phase of development. So far, we have proposed a method of verifying whether they meet the throughput requirements in the worst case by converting the behavioral specification of multi-tasking embedded system into an extended Time Petri Nets that can describe fixed priority scheduling and preemption. However, the method only supports fixed static priority and first-come-first-served schedulings. In recent years, the use of multiprocessing has increased in order to cope with requirements of both high performance and low power. It is known that in the multiprocessor environment, dynamic priority scheduling such as Least Laxity First scheduling is generally more effective. In this paper, we report on the current studies on the modeling method of embedded software that is suitable for multiprocessor environment by extended Time Petri Nets.
キーワード (和) 組込みソフトウェア / マルチプロセッサ / 時間ペトリネット / 性能検証 / Least Laxity First / / /  
(英) Embedded Software / Multiprocessor / Time Petri Nets / Performance Verification / Least Laxity First / / /  
文献情報 信学技報, vol. 115, no. 20, SS2015-7, pp. 33-37, 2015年5月.
資料番号 SS2015-7 
発行日 2015-05-04 (SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード SS2015-7

研究会情報
研究会 SS  
開催期間 2015-05-11 - 2015-05-12 
開催地(和) 熊本大学 
開催地(英) Kumamoto University 
テーマ(和) 一般,研究スタートアップ 
テーマ(英)  
講演論文情報の詳細
申込み研究会 SS 
会議コード 2015-05-SS 
本文の言語 日本語 
タイトル(和) マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証 
サブタイトル(和)  
タイトル(英) Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets 
サブタイトル(英)  
キーワード(1)(和/英) 組込みソフトウェア / Embedded Software  
キーワード(2)(和/英) マルチプロセッサ / Multiprocessor  
キーワード(3)(和/英) 時間ペトリネット / Time Petri Nets  
キーワード(4)(和/英) 性能検証 / Performance Verification  
キーワード(5)(和/英) Least Laxity First / Least Laxity First  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 中村 貴史 / Takafumi Nakamura / ナカムラ タカフミ
第1著者 所属(和/英) 広島市立大学 (略称: 広島市大)
Hiroshima City University (略称: Hiroshima City Univ.)
第2著者 氏名(和/英/ヨミ) 中田 明夫 / Akio Nakata / ナカタ アキオ
第2著者 所属(和/英) 広島市立大学 (略称: 広島市大)
Hiroshima City University (略称: Hiroshima City Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2015-05-11 16:30:00 
発表時間 20分 
申込先研究会 SS 
資料番号 SS2015-7 
巻番号(vol) vol.115 
号番号(no) no.20 
ページ範囲 pp.33-37 
ページ数
発行日 2015-05-04 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会