WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2013114570) PERFORMANCE MODEL INSPECTION DEVICE, METHOD AND PROGRAM
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2013/114570    International Application No.:    PCT/JP2012/052152
Publication Date: 08.08.2013 International Filing Date: 31.01.2012
IPC:
G06F 17/50 (2006.01)
Applicants: HITACHI, LTD. [JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280 (JP) (For All Designated States Except US).
SHIGEOKA Tomohiko [JP/JP]; (JP) (For US Only).
NAGANO Takehiko [JP/JP]; (JP) (For US Only).
NAKAO Sanae [JP/JP]; (JP) (For US Only).
OBAYASHI Hiroki [JP/JP]; (JP) (For US Only)
Inventors: SHIGEOKA Tomohiko; (JP).
NAGANO Takehiko; (JP).
NAKAO Sanae; (JP).
OBAYASHI Hiroki; (JP)
Agent: POLAIRE I.P.C.; 7-1, Hatchobori 2-chome, Chuo-ku, Tokyo 1040032 (JP)
Priority Data:
Title (EN) PERFORMANCE MODEL INSPECTION DEVICE, METHOD AND PROGRAM
(FR) DISPOSITIF, PROCÉDÉ ET PROGRAMME D'EXAMEN DE MODÈLE DE PERFORMANCES
(JA) 性能モデル検査装置、方法およびプログラム
Abstract: front page image
(EN)The purpose of the invention is to provide a method that enables use as a performance simulation in which an attainable performance value set is found efficiently without restricting a particular value as a verification formula, said method being provided when performance attributes such as model response time are verified during model inspection. A performance model inspection device that carries out a performance simulation based on model inspection of a system is provided with a model conversion processing unit, a model inspection execution unit and a performance information statistical processing unit. Said model conversion processing unit converts to a simulation-use model having a response time calculation formula added to a particular process of the model. Said model inspection execution unit executes a model inspection tool using: the simulation-use model converted by the model conversion processing unit; and a process completion condition formula. Said performance information statistical processing unit carries out and outputs a statistical process on response time information output when model inspection is executed on the simulation-use model.
(FR)La présente invention a pour objectif un procédé qui permet l'utilisation en tant que simulation de performances selon laquelle un ensemble de valeurs de performances réalisables est trouvé efficacement sans limitation d'une valeur particulière en tant que formule de vérification. Ledit procédé est employé lorsque des attributs de performances, tels qu'un temps de réponse d'un modèle, sont vérifiés durant l'examen du modèle. Un dispositif d'examen de modèle de performances, qui exécute une simulation des performances sur la base d'un examen du modèle d'un système, est équipé d'une unité de traitement de conversion de modèle, d'une unité d'exécution d'examen de modèle et d'une unité de traitement statistique d'informations de performances. Ladite unité de traitement de conversion de modèle convertit en un modèle d'utilisation de simulation ayant une formule de calcul de temps de réponse ajoutée à un processus particulier du modèle. Ladite d'exécution d'examen de modèle exécute un utilitaire d'examen de modèle utilisant : le modèle d'utilisation de simulation converti par l'unité de traitement de conversion de modèle; et une formule de condition de fin de processus. Ladite unité de traitement statistique d'informations de performances exécute et délivre en sortie un processus statistique sur les informations de temps de réponse sorties lorsque l'examen du modèle est exécuté sur le modèle d'utilisation de simulation.
(JA) 本発明の目的は、モデル検査において、モデル応答時間などの性能を検証するときに、検証式として特定の値の制約を与えずに、とりうる性能の値の集合を効率よく求められる性能シミュレーションとして利用可能な方法を提供する。対象システムのモデル検査に基づく性能シミュレーションを行う性能モデル検査装置は、対象モデルの特定処理に応答時間計算式を追加したシミュレーション用モデルに変換するモデル変換処理部と、モデル変換処理部で変換されたシミュレーション用モデルと処理完了条件式を用いてモデル検査ツールを実行するモデル検査実行部と、シミュレーション用モデルのモデル検査実行時に出力される応答時間情報の統計処理を行い、出力する性能情報統計処理部を備える。
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)