文献

J-GLOBAL ID：200902287012164520   整理番号：08A0512595

リアルタイムオペレーティングシステムの検証について

Towards Verification of Real-time Operating Systems

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

抄録/ポイント： 現在,μITRON仕様のリアルタイムオペレーティングシステムをモデル検査手法により検証する実験を行っている。このポジションペーパーでは,実験の紹介とそれらから得られた知見について紹介する。(著者抄録)

シソーラス用語： *実時間処理 ,  *オペレーティングシステム ,  *モデル検査 ,  TRON ,  形式的仕様記述言語 ,  モデリング ,  プログラムの正しさ ,  Z言語 ,  μITRON ,  *リアルタイムOS
準シソーラス用語： *RTOS ,  セマフォ ,  検証モデル ,  有界モデル検査

分類 (2件)： オペレーティングシステム  (JD03020J) ,  計算理論  (JB02000A)

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