Method for verifying the proper functioning of a system
US6466646B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Jul 13, 2000 |
| Grant date | Oct 15, 2002 |
| Priority date | — |
| Expiry date | Jul 13, 2020 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04M3/22
- WIPO fieldTelecommunications
- WIPO sectorElectrical engineering
Abstract
The invention concerns a method which consists in modelling the system under study using a system of automatons synchronised by a set of messages; in deriving from said modelling a system of linear equations whereof the unknowns are related to the status of the automatons, to the occurrence of transitions in the automatons, and to the production of synchronisation messages between automatons. These unknowns have in principle a value of 0 or 1, and they each concern an operating step among T successive steps; in defining a property to be verified using additional linear constraints to which the equation system unknowns are subjected; then in applying a method of resolution by linear programming to the equation system subjected to the additional constraints, thereby enabling to prove that the property is verified, by displaying a solution, or that the property is not verified, by displaying an absence of solution.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.