Diagnostic De Systèmes Complexes: Accessibilité Arrière: Contributions À L'analyse Formelle et Au Diagnostic À Partir De Réseaux De Petri Colorés Avec L'accessibilité Arrière - Mohamed Bouali - Libros - Editions universitaires europeennes - 9786131564819 - 28 de febrero de 2018
En caso de que portada y título no coincidan, el título será el correcto

Diagnostic De Systèmes Complexes: Accessibilité Arrière: Contributions À L'analyse Formelle et Au Diagnostic À Partir De Réseaux De Petri Colorés Avec L'accessibilité Arrière French edition

Mohamed Bouali

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 7 - 16 de ene. de 2025
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

Diagnostic De Systèmes Complexes: Accessibilité Arrière: Contributions À L'analyse Formelle et Au Diagnostic À Partir De Réseaux De Petri Colorés Avec L'accessibilité Arrière French edition

Le développement rapide des systèmes embarqués et les exigences croissantes auxquelles ils sont soumis créent un besoin de techniques innovantes en terme de conception et de V&V. Les méthodes formelles fournissent des approches intéressantes à la conception de ces systèmes. Le formalisme choisi dans ce travail est basé sur les Réseaux de Petri Colorés (RdPC). L'avantage de ces modèles, en plus d'être très expressifs et formels, est qu'ils permettent d'exprimer le double caractère des systèmes étudiés: statique et dynamique. Le défi relevé par cette thèse est d'utiliser des modèles établis, décrivant l'architecture et/ou le comportement de systèmes, pour en extraire des informations de SdF et de diagnostic de défaillances. L'approche proposée est une analyse structurelle par accessibilité arrière. Elle peut être décomposée en deux parties. La première consiste en la proposition d'un outil pour réaliser cette analyse: le RdPC inverse. Il est obtenu par l'application de transformations structurelles sur le RdPC original. La seconde partie est la mise en oeuvre de l'analyse. Cette partie requiert des mécanismes complémentaires dont le plus important est l'enrichissement du marquage.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de febrero de 2018
ISBN13 9786131564819
Editores Editions universitaires europeennes
Páginas 164
Dimensiones 226 × 9 × 150 mm   ·   249 g
Lengua French