Diagnostic de Syst mes Complexes

Name: Diagnostic de Syst mes Complexes
Brand: Omniscriptum
SKU: 9786131564819
Price: 283.65 RON
Availability: InStock

Accessibilit Arri re

Autor: Mohamed Bouali

Limbă:

Legare: Carte broșată

Editura: Omniscriptum

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

283.65 lei

Le développement rapide des systčmes embarqués et les exigences croissantes auxquelles ils sont soum...

Informații despre carte

Autor

Mohamed Bouali

Limbă

franceză

Legare

Carte - Carte broșată

Publicat

2018

Pagini

164

EAN

9786131564819

ISBN

6131564817

Enbook ID

06890132

Editura

Omniscriptum

Greutate

249

Dimensiuni

152 x 229 x 10

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Diagnostic de Syst mes Complexes

Accessibilit Arri re

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și