お知らせ

News

ご挨拶

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

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

2023年5月吉日

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

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

開催概要

■名称 人とくるまのテクノロジー展 2023 YOKOHAMA
■会期 2023年5月24日(水)~ 5月26日(金) 

24日(水)・25日(木)10:00 ~ 18:00
26日(金)       10:00 ~ 17:00

※ONLINE STAGE 1: 2023年5月17日(水)~6月7日(水)

オンライン展示会

■会場 パシフィコ横浜  (小間番号:317
■入場料 【無料】入場登録
※ご来場前に必ず事前登録をお済ませください。当日登録の受付はございません。

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

「出展の見どころ」

■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 ++に対応します。大規模でミッションクリティカルなアプリケーション開発に必要なツールとライブラリを提供します。同製品は世界中の多くの企業でソフトウェアの開発、検証、保守に利用されています。

 

お問合せ先

アイティアクセス株式会社 事務局担当
【新横浜本社】
〒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