SEC高信頼化技術セミナー モデルベースシステムズエンジニアリング入門 ～システムを考えるハンズオンワークショップ～ 情報処理推進機構：ソフトウェア高信頼化
開催情報 複雑化する統合システム（SoS=System of Systems）開発において今後有力な技術としてモデルベースシステムズエンジニアリング(MBSE)が注目されています。IPA/SECでは2013年8月に「モデルベースシステムズエンジニアリング導入の手引き」を公開し、普及展開活動を行っています。本セミナーでは、午前の部でシステムズエンジニアリングとMBSEの概要を学び、午後には実際にチームで演習問題を解きながらハンズオンでシステムズエンジニアリングを体感し、モデルベースで考えることへの理解を深めていただきます。 講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。 セミナー動画を公開しました。プログラム概要欄より視聴いただけます。 主催
検出漏れのない割込み干渉検出システムの開発
8th Workshop on Critical Software (WOCS) 18-19 January 2011 検出漏れのない割込み干渉検出システムの開発 (株)豊田中央研究所 安全･情報システム研究部 稲森 豊 アイシン精機(株) ソフトウェアセンター 山田信幸 8th Workshop on Critical Software (WOCS) 18-19 January 2011 概要 テストでは発見困難な不具合要因である割込み干渉について Cソースコード作成段階で自動検出するシステムを開発した 目次 1. 割込み干渉とは 2. システム開発の目的 3. 割込み干渉検出手法の概要 4. 割込み干渉検出手法の詳細 5. システム開発と評価 6. おわりに 検出漏れのない割込み干渉検出システムの開発 車載ソフトウェアにおける割込み処理 3／28 サスペンション制御 ブレーキ制御 エン
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://sofdela.info/
ISO 26262における ソフトウェア安全解析の検討
状態遷移の種類と形式検証の使いどころ
宇宙機における不具合分析手法CAST の適用
Modeling and Hazard Analysis using STPA
第10回クリティカルソフトウェアワークショップ：IPA 独立行政法人 情報処理推進機構
【共催】第11回クリティカルソフトウェアワークショップ （WOCS<sup>2</sup>）：IPA 独立行政法人 情報処理推進機構