@techreport{oai:ipsj.ixsq.nii.ac.jp:02000808,
 author = {高野,祐輝 and 今井,航一},
 issue = {2},
 month = {Feb},
 note = {自動運転などのCyber Physical Systemsでは、大量のセンサデータをリアルタイムに処理する必要があり、高い安全性も求められる。そこで、本研究では、非協調的なAsync/await機構を備えたマイクロカーネルスタイルの単一メモリアドレス空間OSであるAwkernelを提案する。Async/awaitは、非同期プログラミングを容易に記述可能な機構であり、本OSは、Async/await機構をカーネルスケジューラの中核に組み込んだOSである。従来のAsync/await機構は、協調的にコンテキストスイッチを行い、OSのスケジューラとは異なるスケジューリング層で処理される。そのため、リアルタイムスケジューリングアルゴリズムを適用することは難しかったが、本OSではこの問題を解決する。また、単一メモリアドレス空間で動作するため、オーバヘッドを最小限に抑えることができる。単一メモリアドレス空間OSの安全性に関する問題は、Rust言語の機能を活用してマイクロカーネルスタイルの隔離を行い解決する。本論文では、Awkernelの設計と実装について説明し、性能評価を行う。また、今後の課題と展望についても述べる。},
 title = {Cyber Physical Systemsに適したリアルタイムOSの提案},
 year = {2025}
}