SUPERCAB

Evaluation d'architectures et traitements markoviens

SUPERCAB permet d’évaluer la fiabilité et la disponibilité d'architecture de systèmes, à partir des caractéristiques des sous-systèmes et de leurs constituants, et de dessiner les Blocs Diagrammes de Fiabilité correspondants.

Il propose, par ailleurs, divers traitements markoviens, prenant en compte d’éventuels taux de transitions non constants (méthode des états fictifs) ou couplant différentes phases successives de fonctionnement (système évolutif). En outre un analyseur logique permet de construire automatiquement la matrice de Markov d'un système complexe à partir d'expressions logiques caractérisant son fonctionnement, en identifiant et regroupant les états équivalents.