人とくるまのテクノロジー展 2024 YOKOHAMA – 5/22-5/24 出展のご案内
アイティアクセス株式会社は、2024/5/22(水)-5/24(金)の3日間
(オンラインステージ:5/15–6/5)
人とくるまのテクノロジー展 2024 YOKOHAMA
に出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の展示を予定しております。
是非とも弊社ブースにお立ち寄りくださいますようお待ち申し上げております。
記
開催概要
■名称 | 人とくるまのテクノロジー展 2024 YOKOHAMA
Automotive Engineering Exposition 2024 YOKOHAMA |
■会期 | 2024年5月22日(水)~ 5月24日(金) 3日間
22日(水)・23日(木) 10:00 ~ 18:00 24日(金) 09:00 ~ 16:00 人とくるまのテクノロジー展 2024 ONLINE STAGE 1 2024年5月15日(水) 10:00 開幕 2024年6月5日(水) 17:00 閉幕 ※オンライン展示会サイトは上記期間中Webにて公開します。 |
■会場 | パシフィコ横浜 展示ホール・ノース
※小間番号132 |
■入場料 | 無料[事前来場登録制] |
■主催 | 公益社団法人自動車技術会 |
「出展の見どころ」
- 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の発展をサポートしています。
AdaCoreについて
1994年に設立されたAdaCoreは、ミッション・クリティカル、セーフティ・クリティカル、かつセキュリティ・クリティカルなシステム向けにソフトウェア開発・検証ツールを提供しています。
長年にわたり、AdaCore製品を利用されているお客様は、セーフティ・クリティカルなアプリケーションを開発し、保守を継続されています。その分野は、商用航空機、自動車、鉄道、宇宙、軍事、航空交通管制、医療機器、財務サービスなどです。AdaCore社の顧客は、世界的に幅広い分野で増え続けています。
AdaCore製品はオープンソースで、開発エンジニア自身が専門的なオンラインサポートを提供しています。同社の拠点は、ニューヨークならびにパリにあります。詳細については、こちら(英語)をご覧ください。