ESEC2011 プレビュー製品紹介
tag:
2011年4月18日
Simulink/Statefl ow用モデルチェックツール：mint
Simulinkモデル用 FMEA分析ツール ：AutoFMEA
【西1-1】
製品概要
・mint
mintはMAABデザインガイドに対する準拠度をチェックするSimulink/Statefl ow用モデルチェックツールです．mintを使用することで，不具合の発見に加え，モデル構造とプログラミングにおいて一貫性を保つことができます．
・AutoFMEA
AutoFMEAはSimulinkモデル用 安全性解析，テスト，FMEAレポート作成ツールです．AutoFMEAを使用することで，潜在的な故障のメカニズムの分析に集中することができます．
連絡先
（株）東陽テクニカ http//www.toyo.co.jp/ss/
ソフトウェア・ソリューション
〒103-8284 東京都中央区八重洲1-1-6
TEL：03-3245-1248 FAX：03-3246-0645
E-mail：ss_sales@toyo.co.jp
tag: Android, CPU, ESEC, Linux, OS, オーディオ, クラウド, ストレージ, セキュリティ, センサ, テスト, ネットワーク, パッケージ, ビデオ, ボード, ミドルウェア, メモリ, モジュール, リアルタイム, 制御, 画像処理, 計測, 通信, 開発環境, 電源
