SPECIFICATION DE LOGICIELS CRITIQUES AVEC LES RESEAUX FORMELS
BON
Type de document
RAPPORT DE RECHERCHE
Langue
francais
Auteur
BON
Résumé / Abstract
LE BUT DE CE RAPPORT EST DE PRESENTER UNE METHODE VISANT A ANALYSER ET ELIMINER DES SOURCES D'ERREURS LORS DE LA PHASE DE SPECIFICATION. NOUS PROPOSONS D'UTILISER ICI LES RESEAUX FORMELS POUR DECRIRE LE COMPORTEMENT ATTENDU DU LOGICIEL A CONSTRUIRE. BASEE SUR L'ABSTRACTION DES TRAITEMENTS, LE COMPORTEMENT DYNAMIQUE ET LA DESCRIPTION GRAPHIQUE, CETTE NOUVELLE APPROCHE PERMET AU CONCEPTEUR DE COMBINER DES TECHNIQUES VARIEES AFIN D'ELIMINER LES ERREURS PENDANT LA PHASE DE SPECIFICATION. CES PRINCIPAUX CONCEPTS NOUS AMENENT AUX RESEAUX DE PETRI, AUX LANGAGES FORMELS (Z) ET A LA PROGRAMMATION A CONTRAINTES. LES CONTRAINTES EMANENT DE TROIS NIVEAUX : DES PLACES, DES TRANSITIONS ET DES MARQUAGES DU RESEAU. LES NOTIONS DE BASE DES RESEAUX FORMELS SERONT DEFINIES ET ILLUSTREES PAR UN PETIT EXEMPLE PEDAGOGIQUE, LE PROBLEME DES RESERVOIRS. FINALEMENT, L'ETUDE DE CAS BIEN CONNU DU 'STEAM-BOILER' SERA SPECIFIEE A L'AIDE DES RESEAUX FORMELS., RAPPORT DE CONTRAT
