アイティアクセス株式会社のカタログ一覧

商用SMB実装製品市場において、シェア90％以上！クライアント/サーバーファイル共有...

『YNQ』は、組込用途向けにデザインされた、高い移植性を誇るVisuality SystemsのSMBモジュールです。 SMBクライアント・サーバーの両方の機能をサポート。プラットフォームに依存しない、マルチOS対応設計です。スキャナ、プリ...

形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小化

『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。実行時エラーを削減し...

ルールに違反していないかをチェック！モデル全体におけるエラーの状況を把握する手助けと...

『QGen モデルベリファイヤ』は、Simulink(R)で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。 MISRA Simulink(R)のルールに違反していないかをチェック。モデルから生成され...

モデルの動作をコードレベルでデバッグ！制御エンジニアとソフトウェアエンジニアの橋渡し

『QGenデバッガ』は、Simulink(R)モデルから生成されたコードの実行を、ホスト"Software in the Loop"(SIL)上、または組込ターゲット"Processor in the Loop"(PIL)上でモニタおよび制御することがで...

DO-178C TQL-1認定取得済！信頼性の高いコードジェネレータです

◆Simulink およびStateflow で記述されたモデル対応コードジェネレータ ◆形式検証言語SPARK、MISRA-C生成 ◆上位の認証を取得するシステム向けコードジェネレータ ◆実ハードウェアでモデルを検証デバッグできるモデル・レベル・...