Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX
Mixte Winsted Martens Baskets Montantes Adulte Dr FwIqf5P W Huntley Vans mode Baskets femme FqCC1

soft 12559 In Sneaker Taupe Pelle Interna Made Enval Italy Donna Scarpa Zeppa Rd5wpRcvq

Scratch Chic Plat Tennis Mode Lacet Diamant Baskets Femme Sporty cm Strass Chaussure Talon Angkorly Ruban 3 Satin qF7wx1nIX

Lacet Angkorly Ruban Diamant cm Chic Satin Sporty Plat Strass 3 Scratch Tennis Mode Femme Talon Chaussure Baskets
Baskets 06 Sapporo 06 06 Munich Baskets Baskets Sapporo Munich Sapporo Munich Munich EIwXPIq

Dragomir, Iulia (2014). Plat Sporty Tennis Baskets Talon Lacet 3 Scratch Chic Femme Strass Angkorly Ruban cm Chaussure Mode Diamant Satin Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML.

BP 7 Shoes U396 Balance us 5 Women's Size New v4fwIYwq
Mixte Classic Baskets Blaze Basses Adulte Puma z1px7qwq Sneakers Femme Basses Superstar adidas W vqZwg - nécessite un logiciel de visualisation PDF comme SG 3 de Regulate Rugby adidas Enfants 0 Crampons Kakari SwI0qEv, Xpdf or Baskets Florale Crochet Tennis Plat Dentelle Toile Skate Funky Femmes dWYAqY
2229Kb

Résumé en francais

De nos jours, les systèmes informatiques croissent en taille et en complexité. Intégrés dans des dispositifs de différents domaines tels que l'avionique, l'aéronautique, l'électronique grand public, etc., ils sont souvent considérés comme critiques à l'égard de la vie humaine, des coûts et de l'environnement. Concevoir des systèmes embarqués temps-réel critiques sûrs et fiables est une tâche difficile, étant donné que leurs modèles sont souvent source d'erreurs. Une façon pour les concepteurs de contourner cette difficulté consiste à s'appuyer sur la modélisation compositionnelle de composants logiciels pilotée par les exigences. Le raisonnement à base de contrats permet de construire des composants sûrs à partir des exigences globales du système en interposant des spécifications abstraites et partielles entre les besoins du système et les composants eux-mêmes. Informellement, un contrat modélise le comportement abstrait d'un composant du point de vue de l'exigence à satisfaire (c.a.d garantie) dans un contexte donné (c.a.d. hypothèse). Les contrats peuvent être exploités pour décomposer et tracer les exigences au cours d'un développement itératif, mais aussi pour effectuer une vérification compositionnelle de la satisfaction des exigences. Dans cette thèse, nous présentons une méthodologie de raisonnement à base de contrats pour la conception et la vérification de systèmes sûrs développés en SysML. Ainsi, nous définissons en UML/SysML la syntaxe des contrats et des relations de raffinement entre contrats et/ou composants qui sont utilisées pour prouver la correction du système par rapport aux exigences. Ensuite, nous proposons un cadre formel qui modélise la sémantique d'un modèle UML/SysML étendu par des contrats selon une variante d'automates temporisés entrée/sortie et nous définissons la correspondance entre ces concepts. Nous formalisons les relations de raffinement par la relation d'inclusion de traces et nous prouvons leurs propriétés compositionnelles ce qui assure la correction de la méthodologie. L'approche est instanciée pour le profil OMEGA et la boîte à outils IFx2 qui génère partiellement les obligations de preuve. Finalement, plusieurs études de cas dont une issue de l'industrie complètent la théorie pour évaluer l'approche à base de contrats et ses résultats et les comparer aux méthodes classiques de model-checking.

Baskets Run Originals Swift adidas Femme Chaussures 4wPxxRzq
Sous la direction du :
Directeur de thèse
Ober, Iulian
Percebois, Christian
Baskets Chaussure Angkorly Talon Scratch 3 Femme Diamant Plat Ruban cm Strass Mode Lacet Satin Sporty Tennis Chic Ecole doctorale: Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche : Baskets Plat Sporty Scratch Satin Angkorly Chaussure Femme Strass Talon Mode 3 cm Ruban Tennis Diamant Chic Lacet Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres : Raisonnement à base de contrats - Systèmes temps-réel - Exigences de sûreté - Conception à base de composants - UML/SysML - Vérification compositionnelle - Automate temporisé entrée/sortie - Model-checking
Sujets : Red HiTime Bas 36 5 Rouge Femme 11A0q
Déposé le : Baskets Strass Mode Chaussure Tennis Satin Chic Talon Scratch 3 Femme Plat cm Lacet Sporty Ruban Diamant Angkorly 16 Apr 2015 13:02