G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/00 (2006.01) G06F 11/36 (2006.01) G06F 19/00 (2006.01)
Patent
CA 2323469
The invention relates to a method of analyzing a state based system model comprising a set of machines (M1, .., Mn), said machines each comprising at least one possible state (pS1Mi, .., pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, .., Mn) being defined by predefined transitions between said states of each machine (M1, .., Mn) and dependencies (D) between said machines (M1, .., Mn). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.
Cette invention se rapporte à un procédé servant à analyser un modèle de système à base d'états utilisant un ensemble de machines (M1, ..., Mn), ces machines comprenant au moins un état possible (pS1Mi, ..., pSkMi) et chacune de ces machines se trouvant dans l'un de ses états à n'importe quel moment. Le comportement dynamique des machines (M1, ..., Mn) est défini par les transitions prédéfinies entre les états de chacune de ces machines (M1, ..., Mn) et par les dépendances (D) entre ces machines (M1, ..., Mn). L'un des nombreux avantages importants de cette invention réside dans le fait que de nombreuses analyses de modèles de systèmes à base d'états dans le monde réel peuvent être effectuées sans évaluation d'une quantité considérable de machines dans le modèle de système.
Andersen Henrik Reif
Behrmann Gerd
Hulgaard Henrik
Kristoffersen Kare Jelling
Larsen Kim Guldstrand
Battison Williams Dupuis
Iar Systems A/s
LandOfFree
A method and an apparatus for analyzing a state based 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 A method and an apparatus for analyzing a state based system..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A method and an apparatus for analyzing a state based system... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1584064