Monitoring the robustness of the modelling of a physical system

Details Monitoring the robustness of the modelling of a physical system Monitoring the robustness of the modelling of a physical system

G - Physics

06

F

G06F 19/00 (2011.01)

Patent

CA 2505943

L'invention concerne un système et une méthode de contrôle de la robustesse d'une modélisation d'un système physique, comportant les étapes suivantes : définition d'un premier modèle du système physique comportant un ensemble (12) de composants (12a, 12b, 12c) et au moins une interface d'entrée (14) destinée à l'introduction de valeurs d'entrées, ledit premier modèle étant défini dans un langage formel décrivant le comportement et la fonction de chacun desdits composants ; définition dans le langage formel d'une propriété déterminée qui doit être satisfaite par la modélisation du système physique ; définition dans le langage formel d'un second modèle (20) correspondant au premier modèle enrichi par un mécanisme d'injection de pannes (22) ; et recherche automatique par un moyen de preuve formelle d'une combinaison d'injection de pannes et/ou de valeurs d'entrées qui met en défaut ladite propriété déterminée.

Affiliated with

Also associated with

Rating

Monitoring the robustness of the modelling of a physical 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 Monitoring the robustness of the modelling of a physical system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monitoring the robustness of the modelling of a physical system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1889828