1 / 11

AltaRica Data-Flow Toolbox arb oost technologies

AltaRica Data-Flow Toolbox arb oost technologies. AltaRica Data-Flow Toolbox. node Cmp state s: … edon. AltaRica Data-Flow. alta -sim. simulation (graphique & temporisée). alta -a2b. Aralia. arbres de défaillances. alta -mrk. graphes de Markov. Mark-XPR. alta -sto.

marrim
Download Presentation

AltaRica Data-Flow Toolbox arb oost technologies

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. AltaRica Data-Flow Toolboxarboost technologies

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

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

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

  6. 45% HPS-A 52% 65% DEH-A CMP-A 45% HPS-B 52% 65% DEH-B CMP-B 45% HPS-C 100% MUP 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 -5 -3 -5 -3 Example [Kawauchi, Rausand] well tank g MUP 0.001

  7. AltaRica Data-Flow Toolbox node Cmp state s: … edon AltaRica Data-Flow alta-sim simulation (graphique & temporisée) alta-a2b Aralia arbres de défaillances 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. 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 Travaux en cours et futurs (2004)

More Related