BRPI0501607A - Método e sistema de controle da robustez de uma modelização de um sistema fìsico - Google Patents
Método e sistema de controle da robustez de uma modelização de um sistema fìsicoInfo
- Publication number
- BRPI0501607A BRPI0501607A BR0501607-0A BRPI0501607A BRPI0501607A BR PI0501607 A BRPI0501607 A BR PI0501607A BR PI0501607 A BRPI0501607 A BR PI0501607A BR PI0501607 A BRPI0501607 A BR PI0501607A
- Authority
- BR
- Brazil
- Prior art keywords
- modeling
- model
- robustness
- physical system
- physical
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Geometry (AREA)
- Evolutionary Computation (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
- Combined Controls Of Internal Combustion Engines (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
"MéTODO E SISTEMA DE CONTROLE DA ROBUSTEZ DE UMA MODELIZAçãO DE UM SISTEMA FìSICO". A invenção refere-se a um sistema e um método de controle da robustez de uma modelização de um sistema fisco, comportando as seguintes etapas: definição de um primeiro modelo do sistema físico que comporta um conjunto (12) de componentes (12a, 12b, 12c) e pelo menos uma interface de entrada (14) destinada a introdução de valores de entradas, o dito primeiro modelo sendo definido em uma linguagem formal que descreve o comportamento e a função de cada um dos ditos componentes; definição na linguagem formal de uma propriedade determinada que deve ser satisfeita pela modelização de um sistema físico; definição na linguagem formal de um segundo modelo (20) que corresponde ao primeiro modelo enriquecido por um mecanismo de injeção de panes (22); e busca automática por meio de prova formal de uma combinação de injeção de panes e/ou de valores de entradas que compromete a dita propriedade determinada.
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| FR0404805A FR2870000B1 (fr) | 2004-05-05 | 2004-05-05 | Controle de la robustesse d'une modelisation d'un systeme physique |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| BRPI0501607A true BRPI0501607A (pt) | 2006-01-10 |
Family
ID=34942206
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| BR0501607-0A BRPI0501607A (pt) | 2004-05-05 | 2005-05-03 | Método e sistema de controle da robustez de uma modelização de um sistema fìsico |
Country Status (9)
| Country | Link |
|---|---|
| US (1) | US7743351B2 (pt) |
| EP (1) | EP1593982B1 (pt) |
| JP (1) | JP4886998B2 (pt) |
| CN (1) | CN1693921B (pt) |
| BR (1) | BRPI0501607A (pt) |
| CA (1) | CA2505943C (pt) |
| FR (1) | FR2870000B1 (pt) |
| RU (1) | RU2383926C2 (pt) |
| UA (1) | UA93852C2 (pt) |
Families Citing this family (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7228461B2 (en) * | 2003-01-09 | 2007-06-05 | Siemens Energy & Automation, Inc. | System, method, and user interface for acceptance testing |
| GB0521625D0 (en) * | 2005-10-24 | 2005-11-30 | Ricardo Uk Ltd | A method of modelling the effect of a fault on the behaviour of a system |
| US8073668B2 (en) * | 2008-01-30 | 2011-12-06 | International Business Machines Corporation | Method and apparatus for testing a full system integrated circuit design by statistical fault injection using hardware-based simulation |
| US8296739B2 (en) * | 2008-03-31 | 2012-10-23 | International Business Machines Corporation | Testing soft error rate of an application program |
| FR2971870B1 (fr) | 2011-02-18 | 2016-02-19 | Snecma | Methode de detection de pannes d'une turbomachine au moyen d'un modele theorique du cycle thermodynamique de ladite turbomachine |
| FR2995947B1 (fr) * | 2012-09-26 | 2018-03-16 | Safran Aircraft Engines | Procede de differenciation de pannes de commande dans un systeme de commande d'un actionneur, notamment de stator de moteur a turbine a gaz |
| AT514969B1 (de) | 2013-10-23 | 2024-03-15 | Avl List Gmbh | Verfahren zur beurteilung der robustheit |
| US20160292307A1 (en) * | 2013-11-06 | 2016-10-06 | Arizona Board Of Regents On Behalf Of Arizona State University | Temporal logic robustness guided testing for cyber-physical systems |
| US10409706B2 (en) | 2016-09-30 | 2019-09-10 | Arizona Board Of Regents On Behalf Of Arizona State University | Automated test generation for structural coverage for temporal logic falsification of cyber-physical systems |
| US11010522B2 (en) * | 2017-11-14 | 2021-05-18 | Synopsys, Inc. | Efficient mechanism for interactive fault analysis in formal verification environment |
| AT520679B1 (de) | 2017-12-05 | 2022-07-15 | Avl List Gmbh | Verfahren zur Überprüfung und gegebenenfalls zur Verbesserung eines Fahrzeugdiagnosesystems |
Family Cites Families (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP3179004B2 (ja) * | 1995-10-17 | 2001-06-25 | 富士通株式会社 | 論理回路検証システムおよび方法 |
| US6577981B1 (en) * | 1998-08-21 | 2003-06-10 | National Instruments Corporation | Test executive system and method including process models for improved configurability |
| GB2362728B (en) * | 1999-10-29 | 2002-04-24 | Sgs Thomson Microelectronics | A method of verifying the accuracy of a digital model |
| US6587960B1 (en) * | 2000-01-11 | 2003-07-01 | Agilent Technologies, Inc. | System model determination for failure detection and isolation, in particular in computer systems |
| US6957178B2 (en) * | 2001-10-29 | 2005-10-18 | Honeywell International Inc. | Incremental automata verification |
| US6704630B2 (en) * | 2002-04-04 | 2004-03-09 | Grazyna Balut Ostrom | Thrust control malfunction accommodation system and method |
| US7574334B2 (en) * | 2003-02-11 | 2009-08-11 | Sri International | Formal methods for modeling and analysis of hybrid systems |
| US7076753B2 (en) * | 2003-12-18 | 2006-07-11 | Synopsys, Inc. | Method and apparatus for solving sequential constraints |
| US7093218B2 (en) * | 2004-02-19 | 2006-08-15 | International Business Machines Corporation | Incremental, assertion-based design verification |
| US7418319B2 (en) * | 2004-03-31 | 2008-08-26 | The Boeing Company | Systems and methods for handling the display and receipt of aircraft control information |
| US7509605B2 (en) * | 2005-12-12 | 2009-03-24 | International Business Machines Corporation | Extending incremental verification of circuit design to encompass verification restraints |
-
2004
- 2004-05-05 FR FR0404805A patent/FR2870000B1/fr not_active Expired - Lifetime
-
2005
- 2005-04-26 EP EP05290913.2A patent/EP1593982B1/fr active Active
- 2005-04-27 JP JP2005129389A patent/JP4886998B2/ja not_active Expired - Fee Related
- 2005-04-28 RU RU2005112914/09A patent/RU2383926C2/ru not_active IP Right Cessation
- 2005-04-29 CA CA2505943A patent/CA2505943C/fr not_active Expired - Fee Related
- 2005-04-30 CN CN2005100689956A patent/CN1693921B/zh not_active Expired - Fee Related
- 2005-05-03 BR BR0501607-0A patent/BRPI0501607A/pt not_active Application Discontinuation
- 2005-05-05 UA UAA200504299A patent/UA93852C2/ru unknown
- 2005-05-05 US US11/122,109 patent/US7743351B2/en active Active
Also Published As
| Publication number | Publication date |
|---|---|
| US7743351B2 (en) | 2010-06-22 |
| CN1693921B (zh) | 2010-04-28 |
| EP1593982A1 (fr) | 2005-11-09 |
| CA2505943A1 (fr) | 2005-11-04 |
| RU2383926C2 (ru) | 2010-03-10 |
| US20050262457A1 (en) | 2005-11-24 |
| EP1593982B1 (fr) | 2016-09-28 |
| CA2505943C (fr) | 2015-03-31 |
| FR2870000A1 (fr) | 2005-11-11 |
| FR2870000B1 (fr) | 2006-08-11 |
| JP2005353042A (ja) | 2005-12-22 |
| RU2005112914A (ru) | 2006-11-10 |
| CN1693918A (zh) | 2005-11-09 |
| JP4886998B2 (ja) | 2012-02-29 |
| UA93852C2 (ru) | 2011-03-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| BRPI0501607A (pt) | Método e sistema de controle da robustez de uma modelização de um sistema fìsico | |
| Borer | Parametric syntax: Case studies in Semitic and Romance languages | |
| Fabb | The difference between English restrictive and nonrestrictive relative clauses1 | |
| BRPI0507699A (pt) | sistema de arquivo virtual | |
| BRPI0501171A (pt) | Método e sistema para reforçar a polìtica de segurança via um mecanismo virtual de segurança | |
| BRPI0401937A (pt) | Processamento de meio de fundação de meio | |
| BR0015274A (pt) | Sistema e método de diagnóstico e reparo | |
| BRPI0511839A (pt) | método para controle de processo e sistema de controle para um processo | |
| Slavin | Phonological and Syntactic Evidence for Stem Structure in Oji-Cree1 | |
| Boeckx | Pseudoclefts: a fully derivational account | |
| Netter | Getting things out of order (An LFG-proposal for the treatment of German word order) | |
| Łubowicz | Paradigmatic contrast in Polish | |
| Walski et al. | Introduction to water distribution modeling | |
| Kunduraci | Pseudo-3rd person marker and possessive constructions in Turkish | |
| Basilico et al. | Antipassive, anticausative, and reflexive: Phases and reflexive morphology | |
| Perrier | FRIGRAM: a French Interaction Grammar | |
| Poeppel | Commentary on chapter 10 | |
| Joy | Between Mystery and Magisterium: A Critical Reading of Gavin D'Costa's Pneumatological Theology of Interreligious Dialogue | |
| APVRILLE | Master internship Topic Modeling and Verification of Cybersecurity Constraints with the TTool software | |
| Kimball | The woman who was a fox: The structure of a Natchez oral narrative | |
| Moutaouakil | Emphasis and Emphatic Marking in Arabic: A Functional Discourse Grammar Approach | |
| Castillo | The difference between restrictive and non-restrictive relative clauses | |
| Nevmeyer | Nominalized causatives | |
| DOWMAN | HOW COMPLEX SYNTAX COULD BE | |
| Mathew | The Syntax of John 13, 1 Revisited |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| B03A | Publication of a patent application or of a certificate of addition of invention [chapter 3.1 patent gazette] | ||
| B07A | Application suspended after technical examination (opinion) [chapter 7.1 patent gazette] | ||
| B09B | Patent application refused [chapter 9.2 patent gazette] | ||
| B09B | Patent application refused [chapter 9.2 patent gazette] |