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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2017037659) SYSTÈME ET PROCÉDÉ POUR ÉMULER DES SYSTÈMES HYBRIDES
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2017/037659    N° de la demande internationale :    PCT/IB2016/055257
Date de publication : 09.03.2017 Date de dépôt international : 02.09.2016
CIB :
G06N 7/00 (2006.01), G06N 7/06 (2006.01), G06F 9/455 (2006.01)
Déposants : AUCKLAND UNISERVICES LIMITED [NZ/NZ]; Level 10 70 Symonds Street Grafton Auckland, 1010 (NZ)
Inventeurs : MALIK, Avinash Satyadeo; (NZ).
ROOP, Parthasarathi; (NZ)
Mandataire : AJ PARK; Level 22, State Insurance Tower 1 Willis Street Wellington (NZ)
Données relatives à la priorité :
711839 03.09.2015 NZ
Titre (EN) SYSTEM AND METHOD FOR EMULATING HYBRID SYSTEMS
(FR) SYSTÈME ET PROCÉDÉ POUR ÉMULER DES SYSTÈMES HYBRIDES
Abrégé : front page image
(EN)A method of generating code for deploying on a target emulation platform for the emulation of at least an aspect of a hybrid system. The method includes receiving, retrieving or generating input hybrid automata (HA) data indicative of one or more hybrid automata models representing at least an aspect of the hybrid system. The input hybrid automata (HA) data are processed to statically determine whether each hybrid automata model satisfies one or more predefined well-formedness criteria to qualify as well-formed hybrid automata (WHA) models. The method transforms the well-formed hybrid automata (WHA) models into corresponding respective synchronous hybrid automata (SHA) models, and generates emulation code for deployment onto a target emulation platform based on the synchronous hybrid automata (SHA) models so an aspect or aspects of the hybrid system can be emulated on the target emulation platform in a semantic preserving manner.
(FR)L’invention concerne un procédé pour générer un code à déployer sur une plate-forme d’émulation cible pour l’émulation d’au moins un aspect d’un système hybride. Le procédé consiste à recevoir, à extraire ou à générer des données d’automate hybride (HA) d’entrée indiquant un ou plusieurs modèles d’automate hybride représentant au moins un aspect du système hybride. Les données d’automate hybride (HA) d’entrée sont traitées pour déterminer de manière statistique si chaque modèle d’automate hybride satisfait ou non un ou plusieurs critères de caractère bien formé prédéfinis pour le qualifier de modèle d’automate hybride bien formé (WHA). Le procédé transforme les modèles d’automate hybride bien formé (WHA) en modèles d’automate hybride synchrone (SHA) respectifs, correspondants, et génère un code d’émulation pour un déploiement sur une plate-forme d’émulation cible en fonction des modèles d’automate hybride synchrone (SHA), ainsi un ou plusieurs aspects du système hybride peuvent être émulés sur la plate-forme d’émulation cible de manière à conserver la sémantique.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, 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, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, 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.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)