接続数

COUNTER190763FROM 2012/1/12

TOPPERS diary最小セットカーネル(smallest setprofile kernel)

TOPPERS/SSP日誌 >> 記事詳細

2012/05/15

OSC Nagoya 2012セミナ最小セットの機能安全対応状況とHAZOPによる安全分析

Tweet ThisSend to Facebook | by kaizen

セミナ「最小セットの機能安全対応状況とHAZOPによる安全分析」資料

資料
作業表

質問をいただきました。
Q: Androidで同様のことをするのにどうしたらいいか。
A: MISRA-Cのような言語の部分集合を定義したり、静的空間利用に限定しないと、
安全性を確保することが難しい。ソースが膨大なので、目的に応じて,機能を絞り込まないといけない。目的によって絞り込む機能が違う為,目的を明確にすることが大切。

簡単な作業の実演をしました。
HAZOPの表は半分くらいしか埋まりませんでしたが,
立場の違う3人が個々に作業し、持ち寄れば,役に立つものができることを説明しました。

なお、ブースに関する情報ブースで実施したアンケートも記載しています。

関連行事
1. 2012/6/1 ヴィッツプライベートセミナ
2. 2012/8/30-31 SWEST
3. 2012/9/27-28 JAXA/IPA クリティカルソフトウェアワークショップ
4. TOPPERS開発者会議 2012/10/21-22
11:11 | 投票する | 投票数(0) | コメント(0)