(toppers-users 4118) Re: リアルタイム OS 高信頼化ハンドブック

["Ni 西田啓一 (テクマトリックス)"]

高田先生

ご教示ありがとうございます。
ひとまず、JAXAの広報に聞いてみます。



(2013/07/10 14:00), Hiroaki TAKADA wrote:
> 西田様
> Cc: 皆様
> 
> 私が知っている限りは、「リアルタイムOS高信頼化ハンドブック」
> が公表されたという話しは聞いておりません。私の手元にもあり
> ません。
> 
> JAXAにお問い合わせいただくのが良いかと思います。
> 
> 高田広章
> TOPPERSプロジェクト／名古屋大学
> 
> (13/07/10 13:49), "Ni 西田啓一　(テクマトリックス)" wrote:
>> テクマトリックス　西田と申します。
>>
>> 昨年度になるかと思いますが、JAXAでのTOPPERS/HRPの成果として「リアルタイ
>> ム OS 高信頼化ハンドブック」が作成されたかと思いますが、これ、どこから入
>> 手可能なのでしょうか。
>>
>> どなたかご存じであれば、ご教示お願いします。
>>
>