![]() MathWorks、Simulinkモデルの自動エラー検出のための機能を提供![]() 掲載日:2011/07/11 ![]() |
![]() |
MathWorksは、Simulinkモデルで自動エラー検出を可能にするために、Polyspace解析技術を搭載した「Simulink Design Verifier 2.0」の提供を開始した。価格は、120万円から。
「Simulink Design Verifier 2.0」では、Polyspaceエラー検出機能が既存のプロパティ検証やテスト生成機能と統合されるため、設計エラーの根本的原因の発見や修正にかかる時間を短縮できる上、検証と妥当性確認にかかる全体的なコスト削減を図れる。
これにより、航空宇宙、自動車、医療、産業オートメーション、産業機械の各分野で、形式的解析手法を使用してモデルベースデザインを適用でき、詳細なテストやシミュレーション不要で、SimulinkモデルやStateflowモデルの設計上の欠陥を特定できる。
また、デッド ロジック、整数や固定小数点のオーバーフロー、ゼロ除算、アサーション違反などを検出できるほか、機能的な要求仕様やセキュリティに関する要求仕様をモデリングするためのブロックや関数を備えている。機能的な要求仕様とモデル カバレッジの目標から、ベクトル生成をテストできるほか、解析とデバッグを行なうために違反の例を生成し、プロパティを検証できる。固定小数点と浮動小数点のモデルをサポートしている。
出荷日・発売日 | −−− |
---|---|
価格 | 120万円〜 |
「MathWorks」関連の情報を、チョイスしてお届けします
「その他開発関連」関連の情報を、チョイスしてお届けします
※キーマンズネット内の「その他開発関連」関連情報をランダムに表示しています。
「その他開発関連」関連の特集
脱Excel事例、NTTデータ先端技術の道のり 【実録!システム導入の軌跡】
「Ajax」ってなんだ?! 【5分でわかる最新キーワード解説】
電子ペーパーで会議室を見える化、社内資産を有効活用する手法 【イベントレポート・アーカイブ】
日本ロボット産業の巻き返しなるか!?新たに登場「ISO13482」 【5分でわかる最新キーワード解説】
「開発」関連 製品レポート一覧
![]() |
|
掲載されておりますサービス内容・料金などは掲載日時点のものです。変更となる場合がございますのでご了承下さい。
20035199
ようこそゲストさん
製品レポートが読めて、
ポイントが貯まるのは会員だけ!
導入事例 ダウンロードランキング 2018.4.27更新
![]() |
その他開発関連 関連情報 |
|
![]() |
![]() |
Webアプリ作成ツール Forguncy ![]() グレープシティ |
|
![]() |
![]() |
メインフレームマイグレーションサービス ![]() NDIソリューションズ |
|
![]() |
![]() |
マイグレーションサービス ![]() 日立公共システム |
|
![]() |
![]() |
マニュアル・eラーニングコンテンツ自動作成ソフト「Dojo」 ![]() テンダ |
ITキャパチャージ
最新の問題
4月27日(金)の問題
当日の解答でポイントゲット!