G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/00 (2006.01) G06F 11/36 (2006.01) H04M 3/22 (2006.01)
Patent
CA 2312859
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.
On modélise le système étudié à l'aide d'un système d'automates synchronisés par un ensemble de messages. On dérive de cette modélisation un système d'équations linéaires dont les inconnues sont relatives à l'occupation des états des automates, à l'occurrence de transitions dans les automates, et à la production de messages de synchronisation entre les automates. Ces inconnues sont en principe à valeur 0 ou 1, et elles se rapportent chacune à une étape de fonctionnement parmi T étapes successives. On définit une propriété à vérifier à l'aide de contraintes linéaires supplémentaires auxquelles sont soumises les inconnues du système d'équations. On applique alors une méthode de résolution par programmation linéaire au système d'équations soumis aux contraintes supplémentaires, ce qui permet de prouver que la propriété est vérifiée, par la mise en évidence d'une solution, ou que la propriété n'est pas vérifiée, par la mise en évidence de l'absence de solution.
Broult Christophe
Dellacherie Samuel
Devulder Samuel
Lambert Jean-Luc
Centre National de La Recherche Scientifique
France Telecom
Ogilvy Renault Llp/s.e.n.c.r.l.,s.r.l.
Universite de Caen
Valiosys
LandOfFree
Method for verifying the proper functioning of a system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for verifying the proper functioning of a system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for verifying the proper functioning of a system will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1998378