AdaCore社(代理店:アイティアクセス株式会社)は 11月5日(木)~6日(金)オンラインで開催される「RISC-V Day Tokyo」に出展します。

「RISC-V Day Tokyo」出展のご案内

AdaCore社(代理店:アイティアクセス株式会社)は、11月5日(木)から6日(金)オンラインで開催されます 「RISC-V Day Tokyo」に出展することになりましたので、ここにご案内申し上げます。
今回は下記にご案内させて頂く製品群の仮想展示ならびに11月6日(金)14:00(時間は変更される場合があります)から「AdaCore社 RISC-V Ada/C言語ソフトウエア開発ツール、モデルベース、形式検証、各種安全規格対応」と題して製品紹介を予定しております。是非ともオンラインでご参加くださいますようお待ち申し上げております。

開催概要

■名称 「RISC-V Day Tokyo」
■会期 11月5日(木)~6日(金)
■会場 オンライン開催
■開催時間 9:00-17:00
■入場料 無料(事前申し込み RISC-V Day Tokyoのページから)
■主催 RISC-V協会

 

見どころ

■プレゼンテーション 11月6日(金)14:00
「AdaCore社 RISC-V Ada/C言語ソフトウエア開発ツール、
モデルベース、形式検証、各種安全規格対応」

 

■「GNATPro」開発スイート RISC-V対応

GNATproは、コンパイラ(Ada,C,C++)、静的解析、動的解析ツールが統合化された
開発環境で、RISC-Vにも対応しています。
多くのDO-178B/C ,IEC-61508等の安全認証を取得した実績があり、認証取得用に
サーティフィケーション、クオリフィケーションキットが提供されます。

主なツール
・CodePeer静的解析ツール
・GNATstack スタックチェッカ
・GNATcoverageコードカバレッジツール
・GNATemulator コードシミュレータ

認証取得サポート
・認証取得用ドキュメント DO-178C、IEC61508他
・オンサイトトレーニング

概要英語 https://www.adacore.com/gnatpro
概要日本語 http://www.itaccess.co.jp/service/adv/adacore/

製品紹介 AdaCore社

以下の製品を動画で紹介致します。

■「SPARK Pro」 状態爆発知らずの形式検証

SPARK Proは、信頼性の高いソフトウエアを開発する際にFormal Method(形式手法)
を応用して検証が可能で静的解析ツールが統合された開発環境です。
実装部と仕様部が分かれており、仕様部では条件Contract(Pre/Post)を記述してソフトウエアの安全性を検証することができます。欧米では多くの実績があり、日本でも採用が徐々に始まっています。

*特徴
SPARK2014(Ada)言語対応
Contractベースプログラミング
静的解析ツール(非初期化変数の検出・ランタイムエラー検出)

■「QGen モデル・ベリファイヤ&コードジエネレータ」

QGenはモデル・ベリファイヤとコード生成を標準装備したモデルベース開発に使用できる画期的なコードジェネレータです。モデルで、静的解析を行い、ゼロ除算等の従来実行時に解析可能であったエラーを検出、開発時間を大幅短縮します。

SimulinkモデルならびにStateflowからSPARK(Ada)およびCコードを生成します。
Simulinkシミュレーション結果を記録し、モデルとコードの一致性検証を行うことができます。
また、QGenデバッガを併用すればモデル-C-アセンブラを同一画面で表示して実HW上でモデルデバッグが可能です。

*特徴
モジュラコード生成(アップデイトされたモジュールのみコード生成)
時間の効率化
QGenデバッガによるモデル、C、アセンブラデバッグ
モデル、Cコード一致性検証対応
モデルベリファイヤ静的解析ツール装備
生成コードを任意に変更可能
SPARK,Cコード生成
高可読性、トレーサビリティ
SPARKProと併用して形式手法開発へ応用可能
認証取得用ISO26262、DO178C向けツールクオリフィケーション・キット提供

 

お問い合わせ先

アイティアクセス株式会社   事務局担当
【新横浜本社】
〒222-0033 横浜市港北区新横浜3-17-6
TEL :045-474-9095

【大阪オフィス】
〒541-0054 阪府大阪市中央区南本町2-6-12 サンマリオンNBFタワー 16階
TEL : 06-6121-8005
E-mail :info@itaccess.co.jp
URL :http://www.itaccess.co.jp/

(商標等について)
※Simulink and Stateflow are trademarks or registered trademarks of The MathWorks, Inc.
※本文中の会社名、商標、製品名等は各社の商標または登録商標です。

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