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

USB版メディアレスストレージ™

 保存用ストレージとしてのメディアを持たないストレージの新しい形。

■特長
メディアレスストレージはストレージシリコン＝メディアではないという常識から脱却し、ストレージの新たな形を提供します。
スケーラビリティ・セイフティ・サステナビリティを備えた新しいストレージを提供することで、お客様がストレージに関するお悩みから解放できるようお手伝いしています。

■拡張性
メディアレスストレージはそのデータを、NASやクラウドにプロジェクションしており、いつでもそのストレージ容量やその中身を変更することも可能です。
このため容量不足に纏わるお悩みからお客様を解放します。

■安全性
メディアレスストレージはオンプレミスもしくはクラウド上のWebUIから、デバイスのアクセス権やプロジェクションされるメディアの内容を変更できます。
このため紛失や盗難からのデータ漏洩のリスクを軽減します。

■継続性
メディアレスストレージはデータ保存領域としてシリコンメディアを持っておりません。
このため書き込み過多による破壊や不良など、従来のシリコンメディアが持っていた寿命問題や故障とは無縁です。

Visuality Systems

Visuality Systemsは、組込み製品、Javaアプリケーション、ストレージシステム等を提供しておりSMB (Server Message Block) プロトコルスタックの開発・提供における世界的リーダーです。

YNQ

YNQ™は、Visuality Systemsの組込み向けSMB実装です。非Windows系組込みシステムにWindowsマシンとの相互接続性をもたせることが可能な、SMBのサーバ・クライアントソリューションです。YNQ™のファイル共有機能により、複数の組込みデバイス間で、共有フォルダをリモートでブラウズできるようになります。また、読み込み、書き込み、編集、コピー、削除といったファイル操作により、相互にファイルをアップデートすることができます。全てのファイル操作で、ファイルをデバイスのローカルディスクやメモリーに移動する必要はありません。

ネイティブでSMBでの通信が可能なWindowsやMacintoshといったPCやサーバは、SMBによる接続性からの恩恵を受けている一方、組込み業界の事情はより複雑です。YNQ™があれば、Linux/Unix、またはVxWorks、ThreadX、IntegrityやQNXといった様々なリアルタイムOS（RTOS）や、iOS、Windows CEなどのオペレーティングシステム上で開発された組込みデバイスでも、Windowsネットワークに接続されると可視化され、ユーザーはSMBでのファイル共有が可能になります。

AdaCore

Vプロセスの仕様記述からコード生成までをカバーするソフトウエア開発を支援する各
種製品を取り扱っております

形式検証ツール『SPARK Pro』

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

実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。

【機能】
■データフロー解析
■インフォメーションフロー解析
■実行時例外の検出
■プロパティチェック
■レベル別検証