Beschreibung
Le modèle synchrone et le modèle asynchrone offrent la possibilité de spécifier des systèmes critiques comme les systèmes réactifs, les systèmes embarqués,.qui sont souvent utilisés dans les nouveaux domaines technologiques, l'industrie légère traditionnel, et l'industrie lourde traditionnel, où une erreur de programmation peut entraîner à de vraies catastrophes. Ce travail a l'objectif d'étudier le rôle de ces deux modèles dans la modélisation des systèmes réactifs, en utilisant des langages spéciaux: Langage asynchrone: comme Lotos, réseaux de Pétri, système des transitions; Langage synchrone: comme Lustre, Esterel.
Autorenporträt
De nationalité Libanaise Ingénieur informatique de la grande école d'ingénieur au CNAM-Paris (EICNAM).Vacataire et a la charge du bureau de production, Orientation et Communication à l'ISSAE-Cnam Liban, centre associé au Cnam-Paris. Consultante indépendante : Technique, Médiatique et dans la méthodologie de la recherche.
