AltaRica Data-Flow Toolbox arboost technologies

Slides:



Advertisements
Présentations similaires
Machines séquentielles
Advertisements

IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
Champs de Markov en Vision par Ordinateur
Département Informatique Responsable :M. Huchard Responsables adjoints : A. Jean-Marie, F. Koriche, P. Séébold.
Reconnaissance Automatique de la Parole
Test de logiciels synchrones avec la PLC
Ecole Doctorale RP2R Séminaire du 15 Janvier 2009
Equipe Biosystème Membres de l’équipe: Mme. Hounaida Homri Thèse
XML - Henry Boccon-Gibod 1 XML, Langage de description La question du choix de formalismes Les entités et leur représentations modalités de modèles et.
Diagram-Based Techniques
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
Méthodes et outils de la SdF: Adéquation, limites challenges.
Méthodes de simulation
Modèle de coût algorithmique intégrant des mécanismes de tolérance aux pannes Samir Jafar, Thierry Gautier, Jean Louis Roch Laboratoire ID-IMAG Equipe.
Statistique descriptive
Méta IHM WCOMP INFRASTRUCTURE P P P P AA Modèle d’ observation
"Recherche de scénarios redoutés à partir d'un modèle réseau de Petri"
Architecture de machines Principes généraux
ARM : un modèle réflexif asynchrone - J. Malenfant et S. Denier (LMO 2003, 3/02/2003) ARM : un modèle réflexif asynchrone pour les objets répartis et réactifs.
                                        République Algérienne Démocratique et Populaire Ministère de l’Enseignement Supérieur et de la Recherche Scientifique.
Langage SysML.
PARTIE 3 : Le SYSTEME D’INFORMATION FUTUR
1 ARCHITECTURE DACCÈS la méthode générale modèle de données définitions module daccès / modules métiers construction des modèles les modules daccès, les.
Présentation SysML (Systems Modeling Language ) est basé sur UML et remplace la modélisation de classes et d'objets par la modélisation de blocs pour un.
UML : GENERALITES Rappel Diagrammes Niveaux de visions
Réforme de la voie technologique STI
Projet : Evaluation de produits structurés
Modèle, Méthode et Conception
Extension d'xADL2.0 à l'expression du comportement
Modélisation causale multiphysique
Propagation d’une onde thermique dans une barre
Maîtrise des risques et sûreté de fonctionnement – Avignon – 6-10 Octobre 2008 Modélisation des dysfonctionnements dun système dans le cadre dactivités.
Simulateur Robot Mobile 2006
Vincent Thomas Christine Bourjot Vincent Chevrier
1 Performance Evaluation Jean-Yves Le Boudec
SurePaths Réunion finale Novembre Problématique Mesure de la disponibilité et de la fiabilité des systèmes redondants Comment évaluer les probabilités.
Stéphanie Bernonville 1, 2 Christophe Kolski 2
Mise en oeuvre des MMCs L'utilisation des MMCs en reconnaissance des formes s'effectue en trois étapes : définition de la topologie de la chaîne de Markov,
MIDI Sans Frontières Analyse des problèmes relatifs à la communication musicale sur IP Mémoire présenté en vue de lobtention du grade de Licencié en informatique.
Réalité virtuelle et Représentation de Données Complexes
Introduction Evolution technologique –Puissance des machines –Réseau rapides (ADSL : 30 euros/mois) –Manipulation digitale de l'audio et de la vidéo Applications.
GPA750 – Gestion de Projets
Analyses de sûreté de fonctionnement multi-systèmes
Aide à la conception de systèmes distribués
Guillaume TORRENTE Marc BOUISSOU Recherche & Développement
Activités de l’équipe GCSP du Laboratoire G-SCOP Sciences pour la Conception, l’Optimisation et la Production de Grenoble UMR CNRS 5272.
2èmes Journées AltaRica
Amélioration de la simulation stochastique
Optimisation de requêtes
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
UML : un peu d’histoire H. Lounis.
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Les processus métiers : concepts, modèles et systèmes Claude Godart Université de lorraine. Esstin
Nouvelles Technologies Internet & Mobile
Disponibilité de production Dassault
Approche probabiliste pour la commande orientée
Architecture logicielle
ISNET-43 Atelier de génie logiciel Approche fonctionnelle ou objets Concurrence ou complémentarité ? Synthèse.
Urbanisation des Systèmes d'Information
Le Model Checker SPIN Présentation Algorithmes sous-jacents
1/16 Chapitre 3: Représentation des systèmes par la notion de variables d’état Contenu du chapitre 3.1. Introduction 3.2. Les variables d’état d’un système.
Projet GenoTo3D Apprentissage automatique appliqué à la prédiction de la structure tertiaire des protéines GenoTo3D Guermeur Y 1, Benabdelsem K 2, Bréhélin.
Rappels sur les fonctions et les suites aléatoires
Présentation StateFlow Application Grafcet norme 2002
La programmation par objets
1. Présentation générale du système
Réseaux de Petri et suivi du joueur
Diagrammes de comportement Présentation. Diagramme de séquence  Permet de modéliser les envois de messages entre objets chronologiquement.  Modélisation.
Modélisation algébrique des arbres de défaillance dynamiques, contribution aux analyses qualitative et quantitative Guillaume Merle Thèse soutenue à l’ENS.
Transcription de la présentation:

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