ガイオでは、組込み開発ツール・サービスの提供を通じて培った経験とノウハウをベースにして、自動車関連モデルベース開発、UMLなどのモデル駆動開発の広範なモデルを対象とした開発ツール、サービス、コンサルテーションを提供しています。
現在、自動車制御を中心に、MATLAB/Simulink(MathWorks社)のモデルを使用した制御ソフト開発が盛んになっており、これを一般には「モデルベース開発(MBD)」と呼んでいます。一方で、UML(Unified Modeling Language)やADL(Architecture Description Language)を使用した上位設計により、アプリケーションソフトウエアの実装や検証・テストとの連携を可能にする設計手法についても検討が始まっており、これを一般には「モデル駆動開発(MDD)」と呼んでいます。
ガイオは、組込み開発ツール・サービスの提供を通じて培った経験とノウハウをベースにして、これらMBD/MDDの広範なモデルを対象とした開発サービス、コンサルテーションを開始致しました。これを、モデル中核開発(MCD= Model Centered Development)と呼んでいます。
ソフトウエアレベルでの規格「ISO-26262-6」の中では、組込みソフトウエアの単体レベルでのカバレッジや、機能を設計したモデルと実装する組込みコードの間の比較に関する項目があります。
ガイオでは、他社にはないコンセプトで、ソースコードに全く手を加えず、ターゲット実コードを使用した単体テストが可能な「カバレッジマスターwinAMS」や、「モデルベース開発」における単体レベルでの検証項目の1つとして、設計した機能モデルと、実装する組込みコードの間の比較検証を行う「MC-Checker」、故障/障害を再現してソフト検証を行う「ソフト検証向けFault Injection シミュレータ」を提供しています。
自動車分野「機能安全」 ISO26262 向けソリューション
★「機能安全に向けたツール導入」「仮想ECU検証環境」に関する無料定期セミナーを開催しています。
詳細はセミナーページをご覧下さい。
機能安全に精通したヴィッツと、テストに精通したガイオテクノロジのコラボソリューションです。両社で得意分野を分担することで、従来の単独支援よりも優れたサポートを実現しました。ヴィッツとガイオは、豊富な認証支援経験を活かし、短期間・低コストで認証を取得できるよう、全面的なサポートを提供します。
自動車ECUソフト検証では、必須事項となっている「単体テスト」に対するソリューションです。機能安全ISO26262、IEC61508で要求されるソフトウエア構造カバレッジに関する検証に適したツール&サービスです。
単体テスト自動化ツール C0/C1/MCDCカバレッジ: 「カバレッジマスターwinAMS」
単体テスト業務の代行検証サービスを提供
モデルベース開発をスタートするために必要な、モデル資産の作成をお手伝いします。
モデルベース開発リバースモデリングサービス
自動車ECU動作検証に使用されるHILSと共存し、検証内容を補完するハードウエアを使用しない検証環境提案です。
No.1システムシミュレータの適用例を紹介するページを設けています。
●自動車インパネ制御ECUモデル
●CarSim連携 ABSモデル システムシミュレータ
●MATLAB/Simulink連携 自動車エンジンモデル
●カーエアコンモデル システムシミュレータ
●FlexRay ステアリング制御 通信モデルモデル システムシミュレータ
複雑な自動車制御ソフトを短期開発する「モデルベース開発」とソフト検証工程でのマイコンシミュレータ活用手法について
(GAIO CLUB 2006/1月号より抜粋)
車両運動をリアルに再現するシミュレータ「CarSim」と連携 マイコンシミュレータ& MATLAB/Simulink を使用したSIL-S 環境
(GAIO CLUB 2006/6月号より抜粋)
マルチECUシミュレーションによる車両システム検証 複数のECUによるFlexRay検証システムの構築例
(GAIO CLUB 2006/6月号より抜粋)