【横浜】図研はプリント基板CAD「CR―8000 Design Force」による設計過程で基板をつなぐ配線や筐体(きょうたい)などの条件を設定し、電磁環境適...

【前橋】両毛システムズは、モデリングツール「MATLAB/Simulink」で作製したモデルの品質を検証するツール「Model Dr.MDiA」で、JMAAB制御モデリングガ...

日立システムズはクラウド基盤やコンテナを活用したシステムの堅ろう性を検証するツール「グレムリン」を提供する米グレムリン(カリフォルニア州)と、日本企業で2社目となる販売店契約を結んだ。

【横浜】早稲田大学の戸川望教授と東芝情報システム(川崎市川崎区、渡辺一正社長、044・200・5111)は共同で、情報機器などのハードウエアに仕込まれた悪意ある機能「ハードウエアトロイ...

14年に子会社化したガイオ・テクノロジー(東京都品川区)の自動車向け組み込みソフト検証ツールも好調だ。

ガンマは静的検証ツールで、人工知能(AI)のディープラーニング(深層学習)により検証精度を高めることができる。... 同社は用途によって検証ツールを使い分け、コードの解...

AI半導体の設計ツールや検証ツールの開発、超低消費電力技術などの確立を目指し、AIやIoTの分野でリードする考えだ。

機能安全システムと、機能安全に関わる情報をやりとりする工場自動化(FA)通信ネットワークの両方を開発、検証できる。これにより開発・検証期間を3分の1程度に短縮できる。 ...

NECは台湾の大手ファブレスIC企業であるファラデー・テクノロジーに対し、設計ツール「サイバーワークベンチ」を提供した。 ... サイバーワークベンチは、高位合成・動作検証ツール群で...

自社製・他社製に限らず、ニーズのあるものを提供できるようにする」 ―近年、画像処理のレグラスや組み込みソフト検証ツールのガイオ・テクノロジーなどを子会社化しました。 ...

日立製作所は自動車制御システムの安全性を自動検証する手法を開発した。... このため安全要件の検証はシステム開発には不可欠だ。 自動検証ツールは、安全要件の概略を示した「上位要件」と...

医薬品探索や生体内細胞の機能を発現させる検証ツールとして用いる。

丸紅情報システムズは英国IT企業のテストプラント(ロンドン)のソフト品質検証ツールの取り扱いを開始する。... 従来のテスト自動化ツールは、扱いに専門的な技術が必要だった。... また...

自動検証ツールでプロトコルを評価し、全プロトコルの結果を精査し、問題点を洗い出した。... 一般に、自動検証ツールによる評価結果の解釈は専門家以外では不可能であり、一つの暗号プロトコルの評価は学術論文...

竹中工務店は医師や看護師をはじめ病院内で働く医療従事者がコミュニケーションしやすい施設設計を実現するシミュレーションツールを開発・実用化した。職種ごとの行動実態などから“自然なコミュニケーション”が生...

NECはネットワークが円滑に動作しているかどうかを検証するソフトウエア技術を開発し、検証作業を従来より10倍高速化した。... 今回、それまで重複して検証していたネットワークの同一状態を把握して重複す...

ガイオはこれを通じて開発や検証ツールなどの販売を拡大する狙い。 ... ガイオは計画作成に協力しながら、計画遂行に必要なソフト開発・検証ツールやエンジニアリングサ...

ツールベンダーのガイオ・テクノロジー(横浜市神奈川区)は6月に同じくテュフズードからソフトウエア開発・検証ツール分野で取得。 富士通ソフトウェアテクノロジーズ(...

アプリケーションの負荷・性能検証ツールの最新版「ロードランナー11・5」を9月1日に発売。

ガイオ・テクノロジー(横浜市神奈川区、馬場民準社長、045・440・1507)は、ソフトウエア開発・検証ツール分野で、自動車の機能安全規格「ISO26262」(用語参照)...