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

情報処理学会

書誌事項

タイトル別名
  • The Tests for Real-time OS Based on AUTOSAR Specification with Memory Protection Function

この論文をさがす

抄録

車載ソフトウェアでは，安全性確保のために，メモリ保護機能が重要となっている．車載分野向けのソフトウェアプラットフォーム仕様であるAUTOSARのリアルタイムOSには，メモリ保護機能が規定されており，我々はAUTOSAR仕様をベースとしたTOPPERS/ATK2を開発，公開している．しかし，メモリ保護機能を有するリアルタイムOSに対するテストの事例はなく，メモリ保護機能に対するテスト手法やテストの規模は明らかになっていない．本研究では，我々が過去に実施したμITRONベースのリアルタイムOSに対するテストの研究成果を活用し，TOPPERS/ATK2を対象として実施した，メモリ保護機能を有するリアルタイムOSに対するテストについて述べる．我々は，メモリ保護機能に対するテスト手法を確立し，組合せツールやテストプログラム生成ツールを活用することで，テスト実施効率を向上させた．結果，TOPPERS/ATK2の不具合を19件検出し，メモリ保護機能を有するリアルタイムOSに対するテストの有用性を確認した．

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050282812883885696
  • NII論文ID
    170000131019
  • NII書誌ID
    AN00116647
  • ISSN
    18827764
  • Web Site
    http://id.nii.ac.jp/1001/00174213/
  • 本文言語コード
    ja
  • 資料種別
    journal article
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ