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

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

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

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

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

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

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

AdaCore

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

形式検証ツール『SPARK Pro』

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

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

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