組込みリアルタイムシステム開発におけるタスク協調の検証手法とその評価

カテゴリ: 論文誌(論文単位)

グループ名: 【C】電子・情報・システム部門

発行日: 2012/07/01

タイトル(英語): A Verification Method of Inter-Task Cooperation in Embedded Real-time Systems and its Evaluation

著者名: 吉田　利夫（豊橋技術科学大学）

著者名(英語): Toshio Yoshida (Intelligent Sensing System Reserach Center)

キーワード: 組込みソフトウェア，リアルタイムカーネル，タスク協調，プロトタイピング，デッドライン　　Embedded Software，Real-time Kernel，Task Cooperation，Prototyping，Dead-line

要約(英語): In software development process of embedded real-time systems, the design of the task cooperation process is very important. The cooperating process of such tasks is specified by task cooperation patterns. Adoption of unsuitable task cooperation patterns has fatal influence on system performance, quality, and extendibility. In order to prevent repetitive work caused by the shortage of task cooperation performance, it is necessary to verify task cooperation patterns in an early software development stage. However, it is very difficult to verify task cooperation patterns in an early software developing stage where task program codes are not completed yet. Therefore, we propose a verification method using task skeleton program codes and a real-time kernel that has a function of recording all events during software execution such as system calls issued by task program codes, external interrupts, and timer interrupt. In order to evaluate the proposed verification method, we applied it to the software development process of a mechatronics control system.

本誌: 電気学会論文誌C（電子・情報・システム部門誌） Vol.132 No.7 （2012） 特集：平成23年電気学会電子・情報・システム部門大会

本誌掲載ページ: 1150-1159 p

原稿種別: 論文／日本語

電子版へのリンク: https://www.jstage.jst.go.jp/article/ieejeiss/132/7/132_1150/_article/-char/ja/