メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト

• Item type: Journal(1)
• 公開日: 2016-08-15
• タイトル: メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト
• タイトル / 言語: en
• タイトル: The Tests for Real-time OS Based on AUTOSAR Specification with Memory Protection Function
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：組込みシステム工学] 組込みシステム，リアルタイムOS，AUTOSAR，メモリ保護，MPU，テスト，TOPPERS
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 名古屋大学
• 著者所属: 名古屋大学
• 著者所属: 名古屋大学
• 著者所属: 名古屋大学
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者名: 鴫原, 一人; 石川, 拓也; 本田, 晋也; 高田, 広章
• 著者名(英): Kazuto, Shigihara; Takuya, Ishikawa; Shinya, Honda; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 車載ソフトウェアでは，安全性確保のために，メモリ保護機能が重要となっている．車載分野向けのソフトウェアプラットフォーム仕様であるAUTOSARのリアルタイムOSには，メモリ保護機能が規定されており，我々はAUTOSAR仕様をベースとしたTOPPERS/ATK2を開発，公開している．しかし，メモリ保護機能を有するリアルタイムOSに対するテストの事例はなく，メモリ保護機能に対するテスト手法やテストの規模は明らかになっていない．本研究では，我々が過去に実施したμITRONベースのリアルタイムOSに対するテストの研究成果を活用し，TOPPERS/ATK2を対象として実施した，メモリ保護機能を有するリアルタイムOSに対するテストについて述べる．我々は，メモリ保護機能に対するテスト手法を確立し，組合せツールやテストプログラム生成ツールを活用することで，テスト実施効率を向上させた．結果，TOPPERS/ATK2の不具合を19件検出し，メモリ保護機能を有するリアルタイムOSに対するテストの有用性を確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Memory protection function plays a crucial role in guaranteeing automotive software safety. AUTOSAR specification prescribes memory protection function for automotive Real-Time OS. We have developed and published a Real-Time OS “TOPPERS/ATK2” based on AUTOSAR specification in our earlier research. However, past research has not clarified test methods and scales for Real-Time OS with memory protection function. The present study aimed to utilize our previous findings on test methods for μIRON based Real-Time OS, and to describe test methods for TOPPERS/ATK2, an AUTOSAR based Real-Time OS with memory protection function. The authors established new test methods for memory protection function by utilizing a combination tool as well as a test program generator to streamline the test execution. The present test methods detected 19 defects in TOPPERS/ATK2, and the usability of our test methods for Real-Time OS with memory protection function was confirmed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 57, 号 8, p. 1737-1751, 発行日 2016-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764