組み込みソフトウェアモデリング・フォーラム2010 まとめ
自動車制御ソフトの安全性について延々と語っていますが、やはりプリウスのリコール問題がダグラス氏の念頭にあるのでしょうか? #emf
2010-07-08 15:22:18信頼性(Reliability)を稼働率やMTBFの数式で説明していきます。日本で信頼を語り始めると相撲協会みたいに精神論になってしまいますけどね・・・・^_^; #emf
2010-07-08 15:26:02セキュリティーの理解(reasoning)。セキュリティーとは何かいちいち分類して定義していきます。なんとなく安全と言わないところが欧米的。たとえ日本仕様でもなんとなく安全に身を預けたくはありませんが。。。^_^; #emf
2010-07-08 15:29:39Information Assurance(情報保証)。CIAモデルというものが登場しました。CIAって、スパイ映画に出てくるCIA?^_^; #emf
2010-07-08 15:32:24すごい助かります! RT @chihayafuru: いちいち、こうして分類して定義することがモデリングの基礎なのでしょうね。「いちいち」とネガティブにつぶやいている時点で私は場当たり主義の権化なのでしょうが。。。 #emf
2010-07-08 15:41:31FTA(Fault Tree Analysis)は次のETロボコンで使えるかな?便利そうなツールも紹介されていることだし。 #emf
2010-07-08 15:46:53Harmony Process : 安全性への8つのプロセス。そろそろ資料のタイトルをそのままなぞるだけのつぶやき・・・ #emf
2010-07-08 15:59:52細かいユースケース図が表示されていますが、配布資料も英語のままです。翻訳担当者も疲れてきた??? #emf
2010-07-08 16:03:30で、いろいろやって、ハザードテーブルが生成されるそうです。こんなに機械的に重みづけ(係数)がでてくると心情的には・・・・ #emf
2010-07-08 16:06:21ツールの支援による追跡可能な設計というのが肝なのでしょうね。おそらく見る人が見れば過程をすべて追跡出るのでしょう。見る人が見れば・・・ #emf
2010-07-08 16:10:53後工程になってから時間制約はどうなんだ!どっかーん、と手戻りになることは開発現場ではときおり出くわす。 #emf
2010-07-08 16:42:49経験と勘も重要。自動車のブレーキの制御ではドメインの知識を動員して、シビアなところはMATLAB/Simlinkでシミュレーション。 #emf
2010-07-08 16:47:03「(プリンターの)カバーが開いた」などのイベントをRapsody に与えて、さまざまなシーケンスをシミュレーションする。シミュレーション結果は記録に残せる。 #emf
2010-07-08 16:54:13