お知らせ

News

ご挨拶

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

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

2023年6月吉日

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

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

開催概要

■名称 人とくるまのテクノロジー展 2023 NAGOYA
■会期 2023年7月5日(水) ~ 7月7日(金) 3日間
5日(水)・6日(木) 10:00 ~ 18:00
7日(金)      10:00 ~ 17:00

※ONLINE STAGE 2: 2023年6月28日(水) ~ 7月19日(水)

オンライン展示会
(人とくるまのテクノロジー展 2023 ONLINE STAGE 2は6月28日(水)10:00〜公開されます)
■会場 Aichi Sky Expo  (小間番号:201)
■入場料 【無料】入場登録
※ご来場前に必ず事前登録をお済ませください。当日登録の受付はございません。

  1. 事前来場登録後、マイページにログイン
  2. 事前に「来場証」をA4サイズでカラー印刷
  3. 当日、会場の来場受付にて「来場証」提示、検温・消毒
  4. 「来場証」を四つ折りにして、会場設置の専用フォルダへ
■主催 公益社団法人自動車技術会

「出展の見どころ」

■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は、プログラムが取りうる入出力と実行パスが、仕様を満足しているかを自動検証します。

お問合せ先

アイティアクセス株式会社 事務局担当
【新横浜本社】
〒222-0033 横浜市港北区新横浜3-17-6
TEL : 045-474-9095 / FAX : 045-474-8823
【大阪オフィス】
〒541-0058 大阪府大阪市中央区南久宝寺町3-1-8 MPR本町ビル3F
E-mail : info@itaccess.co.jp
URL : https://www.itaccess.co.jp

(商標等について)
※本文中の会社名、商標、製品名等は各社の商標または登録商標です。
©2012 Rust Foundation Rust ロゴはCC BY 4.0 にて許諾されています。

(発行人・著作者)
アイティアクセス株式会社

PAGE TOP