ソフトウェアのカタログ一覧
ソフトウェア(組込みシステム・ミドルウェアなど)のカタログ検索・一覧ページです。本ページではロボットに関連するソフトウェア(組込みシステム・ミドルウェア)の製品カタログをご覧いただけます。各製品カタログの詳細ページでは、概要や仕様の確認、お問い合わせやお見積り依頼も可能です。Robot-techではロボットに特化したカタログデータベースを提供することで、検索性を高め、目的の製品カタログをいち早くお探しすることを可能にしております。
カタログ検索結果:
-
- システムソフトウェア統合開発環境 SCADE
-
システム設計(Ansys SCADE ArchitectR)、組込みソフトウェア開発(Ansys SCADE SuiteR)、組込みディスプレイ開発(Ansys SCADE DisplayR)、ライフサイクル管理(Ansys SCADE LifeCycleR)に至るプロセスを支援する統合開発環境です。組込ソフトウェアの詳細モデルを設計・検証し、モデルの正しさが確認できれば、認証可能な自動コード生成によって、正しく安全なコードを生成します。
- 企業名:株式会社IDAJ
-
- 安全性・信頼性エンジニアリングのための統合ソリューション
-
電機・電子システム(E/Eシステム)を対象に、ISO26262、IEC61508、ARP4754Aなどの機能安全規格で求められる安全性や信頼性を分析するための統合ソリューションです。システムのアーキテクチャモデルに、従来は別々のツールで実施されることが多かった安全性分析手法を関連付けるモデルベースアプローチにより、効率的に安全性・信頼性分析を実施することができます。また、単一のツール上で情報を統合することで、設計情報と安全性分析結果の一貫性とトレーサビリティを確保します。
- 企業名:株式会社IDAJ
-
- 多目的ロバスト設計最適化支援ツール
-
modeFRONTIERは、イタリアの最適化技術の専門企業ESTECO S.p.Aにより開発された汎用の設計者支援ツールです。商用としては世界で初めて多目的最適化に対応し、2001年の販売開始以来、各大学との連携を中心に、最新の手法・アルゴリズム・結果処理機能を搭載しつづけています。CAEソフトウェアと連成することで、トレードオフする複数の最適解候補(パレート最適解)を自動算出。画期的なデータマイニング機能も搭載され、変数間の相関関係の分析など多岐にわたる用途で利用できます。
- 企業名:株式会社IDAJ
-
- SMBモジュール YNQ
-
YNQは、Visuality Systemsの組込み向けSMB実装である。非Windows系組込みシステムにWindowsマシンとの相互接続性をもたせることが可能な、SMBのサーバ・クライアントソリューション。ファイル共有機能により、複数の組込みデバイス間で、共有フォルダをリモートでブラウズが可能。MicrosoftのSMB/SMB2/SMB3の仕様に完全準拠し、最新のSMBバージョンに対応。GPLフリーのSMBスタックは、オープンソースのSambaとは対照的に、フットプリントが小さく、また現在の市場環境や要求を満たすよう常にアップデートされている。
- 企業名:アイティアクセス株式会社
-
- モデル検証ツール QGen Code Generator
-
『QGen Code Generator』は、Simulink®およびStateflow®モデルの安全なサブセット用の、認証対応のコード生成およびモデル検証ツールスイートです。形式検証言語SPARK、MISRA-C生成。実ハードウェアでモデルを検証デバッグできるモデル・レベル・デバッガに対応可能です。
- 企業名:アイティアクセス株式会社
-
- モデル検証ツール Qgen Verifierr
-
『QGen モデルベリファイヤ』は、Simulink®で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。MISRA Simulink®のルールに違反していないかをチェック。モデルから生成されたコードにエラーが含まれていないかを検証します。
- 企業名:アイティアクセス株式会社
-
- モデル検証ツール QGen Model Debugger
-
『QGen Model Debugger』は、Simulink®モデルから生成されたコードの実行を、ホスト"Software in the Loop"(SIL)上、または組込ターゲット"Processor in the Loop"(PIL)上でモニタおよび制御することができます。シグナル値の変更、プログラムの実行制御でモデルの状態を変更可能。シグナル値を記録し、Simulink®ブロックに結びつけることができるため、問題解決に役立ちます。
- 企業名:アイティアクセス株式会社
-
- 形式検証ツール SPARK Pro
-
『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語で、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。
- 企業名:アイティアクセス株式会社
-
- 組み込みデータベースEntier
-
Entierはカーナビゲーション、デジタル家電、スマートデバイスなどの組み込みデバイスに適したリレーショナルデータベースです。小さくて軽量でありながら高速検索を実現する豊富な検索機能を持ち、独自の暗号化によりセキュアなデータ処理を支援します。
- 企業名:株式会社日立ソリューションズ
-
- モデルベース開発ソリューション
-
お客様のモデルベース開発(MBD)での課題をコンサルティングにて明確化し、解決策をご提案、当社独自技術を活用したSILS環境の構築、設計、開発、テストまでワンストップのソリューションをご提供します。
- 企業名:株式会社日立ソリューションズ
-
- 産業機器/組込み向けUSBメモリ「JF280T」
-
業務用/産業用に専用設計した「3D NANDを搭載したUSBメモリ JF280T」USB 3.1 Gen 1インターフェースでUSB 2.0にも対応動作温度: 0℃~70℃、保存温度:-40℃~85℃RoHS2.0指令対応製品専用のWindowsソフトウェアをご提供させていただく事で、USBメモリにライトプロテクトをかけるが可能。データ配布時等、USBメモリ内のデータ書き換えを防ぐこともできます。
- 企業名:トランセンドジャパン株式会社