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

2023年6月吉日

「人とくるまのテクノロジー展 2023 NAGOYA」出展のご案内

アイティアクセス株式会社は、2023年7月5日(水)～7月7日(金)の3日間
「人とくるまのテクノロジー展 2023 NAGOYA」
　(オンライン展示期間は：2023年6月28日～7月19日)
に出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の展示を予定しております。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。

記

開催概要

「出展の見どころ」

■Rust言語対応 　（※2023年内にリリース予定）

AdaCoreは、Rust FoundationのシルバーメンバとしてRust言語のメンテナンスに貢献し、ASIL-Dレベルで利用できる様に開発環境の整備を進めています。従来、自動車、航空、宇宙、鉄道などの安全性が求められる分野の長期的なニーズ向けにAda、C、C++ならびに形式検証SPARK言語を、GNAT Proツールスィートとして提供しておりました。この取組みの最初の成果として、Rust言語仕様書を公開しました。

※記事の内容はこちらでご覧ください。

■ソフトウエア開発環境　GNAT Pro （Ada、C/C＋＋　ISO26262準拠）

🔹GNAT Pro Assurance　
認証取得ならびに長期に渡るプロジェクト対応開発環境 GNAT Pro Assuranceは、高信頼性、長期保守、ならびに認証取得が必要なプロジェクト向け、Ada、C、C ++開発ソリューションです。問題点を修正するためにサステインド・ブランチ（バージョン固定）が提供され、同一バージョンの使用を継続できます。認証取得開発と検証作業を簡素化できるオプションとして、ランタイムライブラリ認証資料、ツールの認定資料などが用意されています。

🔹GNAT Pro Enterprise　
産業機器ソフトウェア開発向け GNAT Pro Enterpriseは、信頼性、効率、保守性が要求されるシステム向け開発環境で、Ada、C、C ++に対応します。大規模でミッションクリティカルなアプリケーション開発に必要なツールとライブラリを提供します。同製品は世界中の多くの企業でソフトウェアの開発、検証、保守に利用されています。

■形式検証　SPARK Pro　（ISO26262対応）

SPARK Proは、ソフトウェア形式仕様記述、コード実装、静的検証、ならびに証明（Proof）による検証を実行する統合化検証フレームワークです。手動でのレビューを自動化し、新規の開発でも、C/C ++言語での既存プロジェクトでも段階的に応用できます。
以下の解析がSPARK　Proに組み込まれ、静的に検証できます。

🔹データフロー解析
データフロー解析は、非初期化変数（グローバル変数）の参照など、不正な動作の原因となるプログラミングエラーを検出します。

🔹インフォメーションフロー解析
依存関係を指定して、プログラムで許容されるフローを解析します。

🔹実行時例外の解析
プログラムにゼロ除算、数値オーバーフロー、バッファオーバーフロー、配列の範囲外インデックスなどの実行時例外がないかを解析します。

🔹プロパティチェック
プログラムのセーフティ/セキュリティ記述のために、事前条件/事後条件(contract)を使用してプロパティチェックを解析できます。
数学的な検証手法を用いたSPARK Proは、プログラムが取りうる入出力と実行パスが、仕様を満足しているかを自動検証します。