AltaRica Data-Flow Toolbox arboost technologies

AltaRica Data-Flow Toolbox node Cmp state s: … edon AltaRica Data-Flow alta-sim simulation (graphique & temporisée) alta-a2b arbres de défaillances Aralia alta-mrk graphes de Markov Mark-XPR alta-sto simulation stochastique alta-seq génération de séquences

AltaRica Data-Flow Modèle théorique: automates de mode [Rauzy2002] event Transitions g(S,I) |- e -> S:=f(S,I,O) Flux: bool, enum, int, float Mode: fonction de transfert O = t(M,I)

AltaRica Data-Flow Hiérarchie Complétude du modèle par construction Produit Connection Synchronisation Complétude du modèle par construction Arithmétique prod = min(A.prod + B.prod,capacity) Traitement des transitions immédiates et conditionnelles Synchronisations relationnelles <Start: M.start and (S1.start or S2.start)> Intégration du temps (en simulation)

AltaRica Data-Flow vs Autres Formalismes Généralisation des arbres de défaillance, des schémas bloc-diagrammes, des graphes de Markov, des réseaux de Petri (P1>0) and (P2=0) |- T -> P1:=P1-1, P3:=P3+2; P3 P1 P2 T 2 Interactions à distances (flux) Hiérarchie (+ synchronisations) Pre- et Post-conditions

Example [Kawauchi, Rausand] HPS-A HPS-B HPS-C DEH-A DEH-B CMP-A CMP-B MUP 45% 65% 52% 100% well tank g MUP 0.001 l HPS 8.91 10 DEH 3.11 10 CMP 3.50 10 m 2.54 10 3.95 10 5.14 10 -5 -3

AltaRica Data-Flow Toolbox node Cmp state s: … edon AltaRica Data-Flow alta-sim simulation (graphique & temporisée) alta-a2b arbres de défaillances Aralia alta-mrk graphes de Markov Mark-XPR alta-sto simulation stochastique alta-seq génération de séquences

Génération d’arbres de défaillance Graphe d’accessibilité top-event = Disjonction sur les chemins p conjonction des événements de p Explosion combinatoire nombre d’états nombre de chemins Techniques d’analyse statique pour découper le graphe en sous-graphes indépendants

Génération de séquences Automate pilote Automate AltaRica alta-seq séquences automaton mySequences s1: #l<3 |- * : #l := #l+1 -> not failed : s1; s1: #l<=3 |- * : #l := #l+1 -> failed : s2; init s1 : #l := 1; accept s2; end  Génération de séquences & model-checking

Traitements Markoviens Description AltaRica alta-a2g Graphe d’accessibilité Mark-XPR fichier de commandes probabilité de présence limite dans un état probabilité de présence dans un état au temps t temps moyen de séjour cumulé dans un état Espérance mathématique de n’importe quelle quantité q(état)

Travaux en cours et futurs (2004) Interface graphique saisie des modèles Compilateur arbres de défaillance amélioration du traitement: récritures des formules extension du traitement des noeuds Générateur de séquences traitement probabiliste model-checker “à la spin” Traitement Markoviens agrégation d’états, séquences Compilateur AltaRica Data-Flow  AltaRica Virtual Machine