@techreport{oai:ipsj.ixsq.nii.ac.jp:00090658,
 author = {清水尚彦},
 issue = {4},
 month = {Mar},
 note = {本報告は、RTOSのLinuxへのマイグレーションや、RTOS教育を目的として、POSIXレイヤー上にタスクスイッチャーを構築したRTOS on POSIXの開発について述べる。RTOSレイヤーには、ToppersプロジェクトのToppersATK1を採用し、i386用のタスクスイッチコードおよびPOSIXレイヤーとの接続コードを新たに開発した。OSEKにおいて必須となっているにもかかわらず、ATK1に不足するメッセージ通信については、新たにCOM/CCCAコードを作成し、提供した。POSIXレイヤーとしてLinuxおよびCygwinを用いて実働を確認した。},
 title = {RTOSからLinuxへのマイグレーションおよびRTOS教育のためのRTOS on POSIXの開発},
 year = {2013}
}