5月 – 2011 – risk = nil;

Monthly Archives: 5月 2011

31/05/2011 – 11:51 AM

次のようなセーフティケースの定義があります． argument that the safety goals for an item are complete and satisfied by evidence compi […]

By nil | Posted in セーフティケース | Tagged セーフティケース | コメントを受け付けていません

23/05/2011 – 10:07 AM

埴谷雄高さんの初期の詩集（アフォリズム集）に，「不合理ゆえに我信ず」があります．大変美しい内容です．ここでは有名な「自同律の不快」ということが形を変えていろいろ展開されています．自同律というのは，一般には同一律とよばれる […]

By nil | Posted in セーフティケース, 立証・論証 | Tagged セーフティケース | コメントを受け付けていません

19/05/2011 – 2:43 AM

2011年5月13日から開かれたSODECでは，機能安全をテーマとしたセミナーを行いました． (1) ソフトウェアのハザード分析のためのdSPO (2) セーフティケースの記述及びツール（Nirvana） (3)記述した […]

By niladmin | Posted in 安全 | コメントを受け付けていません