UA93852C2 - Способ и система контроля робастности модели физической системы - Google Patents

Способ и система контроля робастности модели физической системы

Info

Publication number
UA93852C2
UA93852C2 UAA200504299A UAA200504299A UA93852C2 UA 93852 C2 UA93852 C2 UA 93852C2 UA A200504299 A UAA200504299 A UA A200504299A UA A200504299 A UAA200504299 A UA A200504299A UA 93852 C2 UA93852 C2 UA 93852C2
Authority
UA
Ukraine
Prior art keywords
model
physical system
robustness
verifying
defining
Prior art date
Application number
UAA200504299A
Other languages
English (en)
Ukrainian (uk)
Inventor
Юге Граньє
Крістіан Бреген
Філіпп Тоннельє
Марі Марк Круа
Original Assignee
Снекма
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Снекма filed Critical Снекма
Publication of UA93852C2 publication Critical patent/UA93852C2/ru

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

Изобретение охватывает систему и способ контроля робастности модели физической системы, который включает следующие этапы: определение первой модели (10) физической системы, которая содержит набор (12) компонентов (12а, 12b, 12с) и по меньшей мере один интерфейс (14) ввода, предназначенный для ввода значений данных (причем первая модель определена на формальном языке, который описывает поведение и функционирование каждого из указанных компонентов); определение, на формальном языке, заданного свойства, которому должна соответствовать модель физической системы; определение, на формальном языке, второй модели (20), которая соответствует первой модели и дополнена механизмом (22) ввода неисправностей; и автоматический поиск объединения неисправностей, которые вводятся, и/или значений входных данных, которые приводят к несоответствию указанному заданному свойству, с помощью средств формальной проверки.
UAA200504299A 2004-05-05 2005-05-05 Способ и система контроля робастности модели физической системы UA93852C2 (ru)

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
UA93852C2 true UA93852C2 (ru) 2011-03-25

Family

ID=34942206

Family Applications (1)

Application Number Title Priority Date Filing Date
UAA200504299A UA93852C2 (ru) 2004-05-05 2005-05-05 Способ и система контроля робастности модели физической системы

Country Status (9)

Country Link
US (1) US7743351B2 (ru)
EP (1) EP1593982B1 (ru)
JP (1) JP4886998B2 (ru)
CN (1) CN1693921B (ru)
BR (1) BRPI0501607A (ru)
CA (1) CA2505943C (ru)
FR (1) FR2870000B1 (ru)
RU (1) RU2383926C2 (ru)
UA (1) UA93852C2 (ru)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

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
BRPI0501607A (pt) 2006-01-10
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

Similar Documents

Publication Publication Date Title
UA93852C2 (ru) Способ и система контроля робастности модели физической системы
Fisler et al. Modular verification of collaboration-based software designs
WO2008157706A3 (en) System and method for performing oilfield simulation operations
WO2008045199A3 (en) Method and system for allowing access to developed applications via a multi-tenant on-demand database service
WO2008021777A3 (en) Formal verification of graphical programs
WO2007095012A3 (en) Language independent parsing in natural language systems
WO2007031415A3 (en) Automation structure for software verification testing
WO2006091726A3 (en) Method for modeling and testing a security system
WO2007109237A3 (en) Controlling an interactive story through manipulation of simulated character mental state
WO2005072257A3 (en) System and method for modeling, abstraction, and analysis of software
WO2008097801A3 (en) Method and system for creating, deploying, and utilizing a service
WO2009023651A3 (en) System and method for auto-power gating synthesis for active leakage reduction
WO2008064122A3 (en) Transaction co-validation across abstraction layers
WO2007112162A3 (en) Selective instruction breakpoint generation
WO2007075430A3 (en) Simulation engine for a performance characteristics validation system
WO2007002652A3 (en) Translating expressions in a computing environment
ATE508437T1 (de) Verfahren zur erzeugung eines zusammengesetzen bildes
US20090112554A1 (en) Test Bench, Method, and Computer Program Product for Performing a Test Case on an Integrated Circuit
JP2006228065A5 (ru)
WO2005043278A3 (en) System and method for verifying and testing system requirements
Rushby An evidential tool bus
ATE382170T1 (de) Bereitstellung eines pfadzugriffs auf dateien in einer datenbank
WO2008111374A1 (ja) 情報埋め込み方法、そのプログラムおよび情報埋め込み装置
WO2006035038A3 (de) Verfahren zum testen von steuergerätesoftware für ein steuergerät
WO2006012875A3 (de) Verfahren zur bewertung der güte eines testprogramms