AltaRica Data-Flow Toolbox arboost technologies

Présentation au sujet: "AltaRica Data-Flow Toolbox arboost technologies"— Transcription de la présentation:

1 AltaRica Data-Flow Toolbox arboost technologies

2 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

3 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)

4 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)

5 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

6 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 DEH CMP m -5 -3

7 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

8 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

9 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

10 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)

11 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