次世代マイクロカーネルをベースとする安全認証取得済みの基盤ソフトウェア（関連情報）：組み込み開発ニュース