アイティアクセス株式会社

2022年1月吉日

「オートモーティブ・ソフトウェア・フロンティア 2022 オンライン」出展のご案内

アイティアクセス株式会社は、2022年2月24日(木)～25日(金)に開催されます

記

開催概要

「見どころ」        

Vプロセスの仕様記述からコード生成までをカバーするソフトウエア開発を支援する各種ソリューション(AdaCore社、ニルソフトウェア社製品)を紹介しています。

展示ソリューションの紹介

「MBSE,MBDモデルベースツール」

＊SysML-Simulink® 変換ツール
＊Simulink® -SysMLリバース変換ツール
SysMLで記述した仕様、実装をSimulink®モデルへ変換、さらにコード生成(QGen)し、一貫した開発プロセスを提供します。
＊Simulink® 対応コードジェネレータ QGen Simulink® Stateflow®モデル対応コードジェネレータ/モデルベリファイヤで、MISRA-C/SPARKコードを生成します。DO-178C TQL-1認証に対応しドキュメントキットを提供するため、認証にかかる時間、経費を削減します。

「ソフトウエア品質改善形式手法」

＊SPARK Pro形式検証手法
形式検証と静的検証が統合されたツールで、定理証明を用いてプログラムエラーを最小化します。

「認証取得＆ツール資格認定」

AdaCore社ソフトウエア開発ツールは、 DO-178B/C （航空機ソフトウェア）、 EN50128 （鉄道システム）、ECSS-EST-40C/ECSS-Q-ST-80C （宇宙システム）、ISO26262 などの安全規格の下で認証された多くのプロジェクトで使用されており、認定済のツールとランタイムライブラリを提供します。

ニルソフトウェア

「日本語要求仕様書検査ツール」

＊Cyclo.Req （シクロ・レック）
自然言語で記述された仕様書などの日本語記述を検査、ソフトウエア記述に適しているかを状態遷移図表示、シミュレーションを通して仕様漏れ、矛盾などをプログラム記述前に検証するツールです。シミュレーションにはAdaCore社SPARK Pro / GNAT Pro を使用しています。