「system specification verification」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

In this verification device 20, a domain specialization model (a verification target) generation part 24 generates the domain specialization model (the verification target) wherein a specification of a specific system is described according to a domain specialization model grammar from a UML (Unified Modeling Language) model 13 (the verification target) wherein the specification of the system is described in UML based on a "UML model To domain specialization model mapping rule".例文帳に追加

検証装置２０において、ドメイン特化モデル（検証対象）生成部２４は、「ＵＭＬモデルＴｏドメイン特化モデルマッピングルール」に基づいて、特定のシステムの仕様をＵＭＬで記述したＵＭＬモデル１３（検証対象）から、当該システムの仕様をドメイン特化モデル文法に従って記述したドメイン特化モデル（検証対象）を生成する。 - 特許庁

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

To reduce restrictions on network media to which a device to be verified is connected and distance and numerical restrictions between a verification side and the device to be verified, in a communication protocol specification compliance verification system.例文帳に追加

通信プロトコル仕様適合検証システムにおいて、被検証機器が接続されるネットワークメディアに対する制約、および、検証側と被検証機器との距離的、数的な制約を低減する。 - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

To provide a certification research agency verification system and a certification research agency verification program, allowing specification of an improper research agency by verifying whether or not a certification research result by a research agency is proper.例文帳に追加

調査機関による認定調査結果が適切であるかを検証することにより、不適切な調査機関を特定できる認定調査機関検証システム及び認定調査機関検証プログラムを提供する。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁

The design quality inspection support system includes a database storing logical system definition information about specifications for an information processing system and design verification parameters for verifying the specifications, a specification read processing part, a design information extraction processing part, and a design verification processing part.例文帳に追加

情報処理システムの設計書の論理体系定義情報及び設計書を検証するための設計検証パラメータを記憶したデータベースと、設計書読込処理部と、設計情報抽出処理部と、設計検証処理部とを備えた設計品質検査の支援システム。 - 特許庁

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result.例文帳に追加

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。 - 特許庁

A property showing the specification of the logic system 11 is verified based on a property for verification, and input/output constraints 14 contradictory to a counter example 16 of the verified property are added to an updating property 17 for verification to update the property.例文帳に追加

そして、論理システム１１の仕様を表すプロパティを検証用のプロパティに基づいて検証を行い、検証したプロパティの反例１６と矛盾する入出力制約条件１４を検証用の更新プロパティ１７に追加して更新する。 - 特許庁

When both the systems 3, 13 recognize the ID verification establishment, a priority setting section 28 sets a driving position to a specification based on the short range wireless communication system 13.例文帳に追加

両システム３，１３がともにＩＤ照合成立を認識しているとき、優先設定部２８は近距離無線通信システム１３に準じた仕様にドライビングポジションを設定する。 - 特許庁

To provide a specification defect verification system for operating a state transition model describing product specifications with all parameters, and for easily verifying a defect to be prevented for security.例文帳に追加

製品仕様を記述した状態遷移モデルを、全パラメータにより動作させ、セキュリティ上の起こるべきではない欠陥を、簡易に検証する仕様欠陥検証システムを提供する。 - 特許庁

This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamic simulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamic simulation and the static verification.例文帳に追加

ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁

To provide an apparatus and method for assisting a development of a vehicular anti-lock brake system in which studying of a specification of an anti-lock brake system and evaluation for its verification are carried out without waiting for a completion of a vehicle, the development can be shortened and an efficient development can be carried out.例文帳に追加

アンチロックブレーキシステムの仕様検討及び検証評価が、車両の完成を待たずに実施され、開発の短縮及び効率化を図ることができる車両用アンチロックブレーキシステムの開発支援装置及び方法の提供。 - 特許庁

To provide a chemical substance management system for efficiently performing the selection of a part with a high containing risk, which is the target of confirmation by analysis, and the specification of a part to be analyzed in the verification of a restriction chemical substance contained in a product.例文帳に追加

製品に含有する規制化学物質の検証において、分析による確認の対象とする含有リスクが高い部品の選定や分析を行う部位の特定を効率良く行える化学物質管理システムを提供する。 - 特許庁

To provide a device and a method for supporting development of a VDC (Vehicle Dynamics Control) system for vehicles in which the specification and the verification of the VDC system can be efficiently and reliably evaluated before a vehicle is completed, and the development process of a VDC system mounted vehicle can be shortened and promoted in efficiency.例文帳に追加

ビークルダイナミクスコントロールシステム（ＶＤＣシステム）の仕様検討及び検証評価が、車両の完成を待つことなく効率的かつ確実に実施され、ＶＤＣシステム搭載車両の開発プロセスの短縮及び効率化を図ることができる車両用ＶＤＣステムの開発支援装置及び開発支援方法を提供する。 - 特許庁

To provide a simulation analysis system, an accelerator device and an emulator device, allowing easy comparison of verification results of a verified circuit by a programmable device and a CAD simulator, and capable of reducing a time required for cause specification of an operation fault.例文帳に追加

プログラマブルデバイス及びＣＡＤシミュレータによる被検証回路の検証結果の比較が容易であり、動作不良の原因特定に要する時間を短縮することができるシミュレーション解析システム、アクセラレータ装置及びエミュレータ装置を提供する。 - 特許庁