エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展(ESEC)レポート(2)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展(ESEC)レポート(2)
モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展(ESEC)レポート... モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展(ESEC)レポート(2) 組み込みネット編集部 2008年5月14日~16日,東京ビッグサイト(東京都江東区)にて,組み込みシステムに関する展示会「第11回 組込みシステム開発技術展(ESEC)」が開催された(写真1).モデル検査やAUTOSARなどに関連した開発ツールが注目を集めていた. [写真1] 受付の様子 東京ビッグサイト(東京都江東区)にて開催された. ●モデル検査をシーケンス図や状態図に適用 イーソルは,UMLのシーケンス図や状態図に対して,容易にモデル検査を適用できる検証環境を展示した(写真2).この検証環境は,UMLモデリング・ツール「Enterprise Architect」からモデル検査ツール「LTSA」用のファイルを出力するものである.モデル検査とは,形式手法(Formal