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

2024年5月吉日

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

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

記

開催概要

「出展の見どころ」

• Rust言語、Ada言語、C/C ++開発ツールスイート　GNAT Pro 

GNAT Pro Assuranceは、Rust言語、Ada言語、C/C ++言語に対応し、高信頼性システム用に構成変更可能なランタイムライブラリを含んだツールスイートです。長期プロジェクト向けにバージョン固定サービスが提供され、同一バージョンを継続して使用できます。認証取得時の開発と検証作業を簡素化できるランタイムライブラリ認証資料や、ツールの認定資料なども用意されています。 

• サイバーセキュリティ、脆弱性対策形式検証ツールスイート　SPARK Pro 

SPARK Proは、仕様書をもとに検証コードを記述してコードのエラーゼロを実現する形式検証ツールで、定理証明を用いて高信頼性ソフトウェアを記述できます。検証は、静的検証と形式検証が組み合わされ、3つの段階（コーディング規約の確認、フローチェックで依存性等の確認、コントラクトを使用した形式検証）で行われます。そのため、SPARK Proはサイバーセキュリティ、脆弱性対応に利用することができます。 

• 安全なプロトコル開発ツール RecordFlux 

RecordFlux は、バイナリ通信プロトコルの開発とセキュリティを強化するテクノロジーで、複雑なバイナリデータ形式と通信プロトコルを記述するドメイン固有言語 (DSL) と、仕様を形式検証し、ターゲット CPU で実行できる証明可能な SPARK コードを生成するツールで構成されています。通信プロトコルを実装する際にRecordFlux を使用することで、迅速に、信頼性を向上できます。 

Rustについて

Rustは、高性能かつ安全にソフトウェアを構築するための言語です。CやC++ユーザーにも親しみやすく、安全な並行処理やメモリ管理に注力しています。

AdaCoreは25年以上セーフティ・クリティカルな業界に貢献。当初はAda言語に焦点を当てていましたが、SPARK、C、C++と進化し、現在はRustにも対応。Rust Foundationのメンバーとして、Rustの発展をサポートしています。