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

2023年5月吉日

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

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

記

開催概要

「出展の見どころ」

■Rust言語対応 　（※開発中）

Rustは、約10年前、プログラム手法を改善するために、新しいプログラミング言語として登場しました。その技術は進化を遂げ自動車などの高い信頼性が要求される組込市場にも訴求しています。

AdaCoreは、自動車、航空電子、宇宙、鉄道などのソフトウェア認証に対応するために安全認証を取得したRustツールチェーン「Ferrocene」をFerrous Systemとともに共同開発を進めています。

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

■形式検証　SPARK Pro　ISO26262対応

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

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

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

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

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

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

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

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