ATK1 on {Win32,Linux}、誰か作っているのだろうなと思って検索かけたら見つかった。東海大の清水先生のところか。

ATK1 on {Win32,Linux}、誰か作っているのだろうなと思って検索かけたら見つかった。東海大の清水先生のところか。

会場の質問であった「職業的な組み込みソフト開発現場での証明器の活用は?」という点については、この論文が一つの軸にはなるのではと。 答えから言うと、証明器を使った活動は、極めて限定的。宇宙機に載せるような

ざっくり探した見た感じだと、この辺かな。 中国まで飛ばなくても OSEK/VDX の model checking なら、JAISTの青木先生がいろいろやってた気がするけど。(脇で眺めていただけで、よくは知らん)

ざっくり探した見た感じだと、この辺かな。 中国まで飛ばなくても OSEK/VDX の model checking なら、JAISTの青木先生がいろいろやってた気がするけど。(脇で眺めていただけで、よくは知らん)

"この検証要求を，TOPPERS/HRP カーネルの検証作業で繰り返し適用し，必要な解説を追加するなどの改良を重ね，「リアルタイム OS 高信頼化ハンドブック」 として編集したので紹介する．" ///

"この検証要求を，TOPPERS/HRP カーネルの検証作業で繰り返し適用し，必要な解説を追加するなどの改良を重ね，「リアルタイム OS 高信頼化ハンドブック」 として編集したので紹介する．" ///

エゴ・サーチしたら，国内雑誌に書いた日本語の連載記事に，筆者も出版社も付けたはずのない英語タイトルがついていてビビった．

@ichimiyar 情報処理学会のページからPDFをダウンロードできます．「Google Person Finder 最初の一週間－非常時におけるサービス開発の一記録および考察－」

@ichimiyar 情報処理学会のページからPDFをダウンロードできます．「Google Person Finder 最初の一週間－非常時におけるサービス開発の一記録および考察－」

こういうことですか?