文献

J-GLOBAL ID：200902270138224022   整理番号：09A0113999

モデル検査によるリアルタイムオペレーティングシステムの設計検証

Toward Model Checking Design Models of Real-time Operating System

著者 (2件)： 青木利晃 (北陸先端科学技術大学院大) ,  山崎真吾 (北陸先端科学技術大学院大)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2008  号： 9  ページ： 159-166  発行年： 2008年10月22日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 組込みソフトウェアで用いられるリアルタイムオペレーティングシステム(RTOS)には,μITRONやOSEK/VDXなどいくらかの標準が提案されており,それらに準拠するRTOSの実装が複数提供されている。一方で,標準に準拠していない実装をしてしまうことがあり,RTOSを含めた組込みソフトウェアの信頼性低下の原因の1つとなっている。そこで,我々は,OSEK/VDXを対象として,RTOSの設計が標準に準拠していることを検証する実験を行い,設計検証手法として整理した。本諭文では,その設計検証手法と,実験により獲得された知見について述べる。(著者抄録)

シソーラス用語： *オペレーティングシステム ,  *実時間処理 ,  *ソフトウェア ,  標準 ,  実装設計 ,  信頼性 ,  *プログラム検証
準シソーラス用語： RTOS ,  *リアルタイムオペレーティングシステム ,  設計検証 ,  *組込みソフトウェア

分類 (2件)： オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： モデル検査 ,  リアルタイムオペレーティングシステム ,  設計検証