SART OBJECTIF n SART n n CONCEPTS GENERAUX

SA/RT.

OBJECTIF n .

SA/RT n n CONCEPTS GENERAUX DESCRIPTION DETAILLEE

SA/RT n ANALYSE DES SYSTEMES TEMPS REELS

METHODE DE DECOMPOSITION

METHODES PRECEDANTES n UNIQUEMENT FONCTIONNELLES

SA/RT ET LES TROIS AXES D'ANALYSE

SA/RT ET IM n DEUX DIALECTES SA/RT – HATLEY & PIRBHAI – WARD & MELLOR n Systeme Analysis Real Time – SA : GRAPHIQUES FONCTIONNELS – RT : GRAPHIQUES DE LA DYNAMIQUE – DECOMPOSITION DES DONNEES PAR TEXTES n Information Modeling – Entité/Associations de CHEN – GRAPHIQUE DE RELATIONS ENTRE DONNEES

DEUX DIALECTES SA/RT n n HATLEY & PIRBHAI WARD & MELLOR

TROIS FORMALISMES SA/RT n n n SA : GRAPHIQUES FONCTIONNELS RT : GRAPHIQUES DE LA DYNAMIQUE DESCRIPTION TEXTE DES DONNEES

SA/RT DANS LE CYCLE DE VIE

SA/RT USAGE n n SPECIFICATION DES BESOINS DU SYSTEME SPECIFICATION DES BESOINS DU LOGICIEL ARCHITECTURE LOGIQUE DU LOGICIEL ARCHITECTURE DYNAMIQUE DU LOGICIEL

DIAGRAMME DE CONTEXTE

LES OBJETS DU DIAGRAMME DE CONTEXT n n PROCESS / PROCESSUS TERM / TERMINAISON DATA FLOW / FLOT DE DONNEES CONTROL FLOT / FLOT DE CONTROLE

HATLEY PIRBHAI DFD 0

WARD & MEILLOR DFD 0

LES OBJETS DU DFD n n PROCESS / PROCESSUS STORE / RESERVOIR CSPEC DATA FLOW / FLOT DE DONNEES – DISCRET – CONTINU n n CONTROL FLOT / FLOT DE CONTROLE ACTIVATOR / ACTIVATEUR

DIFFERENCES ENTRE DIALECTES n HATLEY & PIRBHAY – CSPEC = BARRE VERTICALE – CONTROLE = DISCRET A PLUSIEURS ETATS – COMMANDES SUR LES FONCTIONS » NON VISUALISEES » ENABLE, DISABLE n WARD & MEILLOR – – CSPEC = BULLE EN POINTILLES CONTROLE = DISCRET MONO ETAT FLOTS DE DONNEES DISCRETS OU CONTINUS COMMANDES SUR LES FONCTIONS » NON VISUALISEES » ENABLE, DISABLE, TRIGGER, ACTIVATE

DFD DECOMPOSITION

PSPECIFICATION DE PROCESSUS @IN = AUTRE FLOT DONNEE @IN = FLOT DE DONNEE EN ENTREE @IN = PARTIE A @OUT = AUTRE INFORMATION @PSPEC F 1. 1 -- AUTRE FLOT DONNEE SI "AUTRE FLOT DONNEE" = "FLOT DE DONNEE EN ENTREE" ALORS ENVOYER "AUTRE INFORMATION" FIN SI @

STORE/RESERVOIR n n CONSTANTE DE PARAMETRAGE ZONE DE COMMUNICATION ASYNCHRONE

SA/RT STRUCTURE

CSPEC EN TROIS PHASES

CSPEC STD COMBINE

LE DICTIONNAIRE n n SYNTAXE BNF ATTRIBUTS PRIMITIF/DECOMPOSE ALIAS

SA/RT et les outils n n n TEAMWORK CARDTOOLS SELECT

LE DICTIONNAIRE n n n FLAG = ["TRUE"|"FALSE"] COUPLE = SITE + GISEMENT VECTEUR = { COORDONNEE } VECTEUR = 2 { COORDONNEE } 3 DONNEE OPTIONNELLE

ECRIRE UNE SPECIFICATION n ECRIRE UNE SPECIFICATION – LA DEMARCHE – LA CONCEPTION – LES OUTILS n (LA METHODE PURE ET DURE)

DEMARCHE I n ACQUERIR LES INFORMATIONS – LISTES » VERBE = PROCESSUS » NOM = FLOT/TERMINAISON – LES TRIER, LES CATALOGUER » TERMINAISON, DONNEES EXTERNES, FONCTIONS PRINCIPALES. . . n DEFINIR LE CONTEXTE – NE PAS DEFINIR TROP TOT LES FLOTS – GROUPER LES FLOTS – TYPER CONTROLE LES DISCRETS QUI RISQUENT DE CHANGER L'ETAT DU SYSTEME

DEMARCHE II n DECOMPOSER LE PREMIER NIVEAU – 3 à 7 FONCTIONS – FAVORISER LA VALIDATION – IGNORER LES DETAILS DE TRAITEMENT DES ENTREES/SORTIES, LA MAINTENACE, L'ERGONOMIE – NE PAS SE DISPERSER – PLACER LES FLOTS DE DONNEES EXTERNES – DECOMPOSER LES FLOTS SUR LE DFD, DANS LE DICTIONNAIRE – (PLACER UNE CSPEC+CONTROLES)

DEMARCHE III n n n AJOUTER LES FLOTS INTERNES, LES RESERVOIRS DEFINIR LA CSPEC DEFINIR LES PSPEC DECOMPOSER LES PROCESSUS TERMINAUX COMPLETER LE MODELE ESSENTIEL – ENTREES/SORTIES – ERGONOMIE – MAINTENANCE n INTEGRER LE MODELE DANS LA SPECIFICATION

DEMARCHE LA CSPEC n PHASE COMBINATOIRE DT – COMBINAISONS COMPLEXES DE CONTROLES n PHASE AUTOMATE STD – ACTIONS DEPENDANT DE L'ETAT ANTERIEUR n PHASE ACTIVATION DE PROCESSUS – PEU D'ETATS – BEAUCOUP D'ACTIONS

PLAN TYPE DE SPECIFICATION n n DIAGRAMME DE CONTEXTE DANS CHAPITRE DESCRIPTION DES INTERFACES DESCRIPTION DES TERMINAISONS DANS LA SOUS-SECTIONS – INTERFACE LOGICIEL, INTERFACE MATERIEL, INTERFACE HOMME/MACHINE) n DICTIONNAIRES EN ANNEXE

PLAN TYPE DE SPECIFICATION n DANS SECTION SPECIFICATIONS FONCTIONNELLES L'ARBRE SA/RT A PARTIR DU DFD 0 X spécifications fonctionnelles DFD 0 + [CSPEC 0] + texte X. 1 DFD 1 + [CSPEC 1] + texte X. 1. 1 DFD 1. 1 + [CSPEC 1. 1] + texte X. 1. 1. 1 PSPEC 1. 1. 1 nom des entrées traitement nom des sorties. . . X. 2 DFD 2 + [CSPEC 2] + texte. .

PLANS-TYPES 2167 A n n DEMARCHE IDENTIQUE SAUF – EN SPECIFICATION SYSTEME CSPEC 1 DANS SECTION "MODES PRINCIPAUX DE FONCTIONNEMENT

DOCUMENTATION SOUS TEAMWORK n n n PLAN GERE SOUS SD TEXTE SAISI SOUS EDITEUR. COMMANDES PARTICULIERES – INSERER UNE FIGURE – D'INSERER UN ARBRE A PARTIR D'UN NOEUD SPECIFIE (EX DFD 0) – INSERER UN DICTIONNAIRE – INSERER LE RESULTAT D'UN EXECUTABLE n n SORTIE VERS FRAMEMAKER OU INTERLEAF ADAPTATION : SORTIE VERS WORD (RTF)

DOCUMENTATION SOUS SELECT n PAR COUPER-COLLER ISOLE VERS WORD – PLANCHE PAR PLANCHE – SANS LIEN n RAPPORT : DICTIONNAIRE

CONSEILS : NE PAS. . . n n n DUPLIQUER LES INFORMATIONS (LES REFERENCER) DISPERSER LES INFORMATIONS ENTRER TROP DANS LES DETAILS ENTRER DANS LA CONCEPTION CHER LA PERFECTION

CONSEILS n ISOLER AILLEURS – LES REGLES GENERALES – LES MODES DEGRADES n n n FAVORISER LA VALIDATION FIXER UNE DUREE LIMITE POUR LA SPECIFICATION SE CONTENTER D'UN PLACEMENT GROSSIER AU DEBUT ET LES FINALISER AVANT LIVRAISON

STRATEGIES D'EMPLOI n n PETITS LOGICIELS : APPLIQUER LA METHODE GROS LOGICIELS : N'APPLIQUER LA METHODE QU'A TRES HAUT NIVEAU

GROS LOGICIELS UTILISATION COMPLETE n n SI FONCTION DE SIMULATION EFFICACE INTEGREE A L'OUTIL POUR MAQUETTAGE. SYNERGIE IMPORTANTE ENTRE SPECIFICATION ET DE CONCEPTION – – CONCEPTION NON OPTIMUM CONCEPTION ECONOMIQUE MOINS D'ERREUR DE CONCEPTION TESTS ECONOMIQUES

STRATEGIE SYNERGIE SPECIFICATION/CONCEPTION n n n NE CONSERVER QUE LES PREMIERS NIVEAUX POUR LA SPECIFICATION. UTILISER LE MODELE ENTIER POUR L'ARCHITECTURE LOGIQUE. ATTRIBUER A CHAQUE BULLE TERMINALE UN SOUS-PROGRAMME DONT LA CONCEPTION DETAILLEE EST CONTENUE DANS LA PSPEC. CALQUER LES BAS NIVEAUX DE L'ARCHITECTURE PHYSIQUE SUR LA STRUCTURE SA/RT. LES HAUTS NIVEAUX PEUVENT ETRE REORGANISES EN FONCTION DES

PASSAGE A LA CONCEPTION n n ARCHITECTURE LOGIQUE ARCHITECTURE DYNAMIQUE METHODE WARD&MEILLOR – DFD PROCESSUS = CPU – DFD PROCESSUS = TACHE – UTILISER ENSUITE LA METHODE SD n n ARCHITECTURE PHYSIQUE : SD CONCEPTION ORIENTEE OBJET

PASSAGE SA/RT SD

CONSEIL TEAMWORK. LOGIN # teamwork if ( -f /cadre/tsa/com/teamwork) then setenv PATH $PATH: /cadre/tsa/com: /cadre/tool_kit: /cadre/admin endif n n n /cadre/tsa/com : teamwork /cadre/tool_kit : twkdpi_work /cadre/admin : load_tsa dump_tsa

CONSEIL TEAMWORK n n PLUSIEURS REPRESENTATIONS SONT POSSIBLES CHOISIR TOUJOURS LA PLUS LISIBLE

CONSEIL TEAMWORK DFD PREFIXER LES FLOTS DDE : A = B + C DFD 1 A A. B 1. 1 1 A. C 1. 2

CONSEIL TEAMWORK ALLEGER LES DIAGRAMMES A A+B B

CONSEIL TEAMWORK ANNOTER/COMMENTER LES DFD n n TITRE Information* : avant les planches TITRE Conclude* : après les planches * COMMENTAIRE SUR DFD *

CONSEIL TEAMWORK FLOTS MODIFIEURS DE FLOT n n n <prefixe>flot 1 seule définition dde pour flot <prefixe>distingue une instance de flot d’une autre

CONSEIL TEAMWORK STD n MACHINE DE MEALY

CONSEILS TEAMWORK STD n n n SUR DES AUTOMATES COMPLEXES UTILISER LES Tables de Décision UTILISER LES Tables d’Activation de Process voir UTILISER LES Matrices States Events voir UTILISER PLUSIEURS AUTOMATES TD STD/SEM PAT

CONSEILS TEAMWORK STD n SUR DES AUTOMATES SIMPLES UTILISER DES OPERATEURS BOOLEENS SUR LES CONDITIONS POUR EVITER LES TD TD STD INDIQUER DIRECTEMENT LES PROCESSUS A ACTIVER OU DESACTIVER POUR EVITER LES TAP PAT

CONSEILS TEAMWORK STD UTILISER NE PAS UTILISER n n ACTIVATE (A) DISABLE (D) ENABLE (E) TRIGGER (T) n n n SUSPEND (S) KILL (K) ENABLE_FLUSH (EF) DISABLE_FLUSH (DF) KILL_FLUSH (KF) RESUME (R)

CONSEIL TEAMWORK PSPEC n ARRETER LA DECOMPOSITION DFD – SI LA FONCTION PEUT ETRE DECRITE EN 1 PAGE n n UTILISEZ LA FORME LA PLUS CLAIRE PREFERER LE TEXTE LIBRE AU PSEUDOCODE

CONSEIL TEAMWORK DDE n n NE PAS DECOMPOSER TROP TOT Extended Attributes Template – – Data Flow Data/Control Flow Store * commentaire * définition BNF. -------attribut valeur;

CONSEIL TEAMWORK DOCUMENTATION SPECIFICATION WORD. DOC SD + twkdpi_word INTERFACE CONTEXTE. rtf diagramme de contexte. epf FONCTIONS. rtf ANNEXE. rtf DFD/CSPEC/PSPEC DICTIONNAIRE figures dfd/cspec/dt. epf

CONCLUSION n n n AVANTAGES : COHERENCE ET COMPLETUDE RISQUES : QUALITE UTILISER SA/RT – A HAUT NIVEAU – OU LIER SPECIFICATION ET CONCEPTION

LE MODELE ENTITE ASSOCIATION DE CHEN

EXEMPLE DC

EXEMPLE DFD 0

CONTROLER LA VITESSE

CHOISIR LE MODE

PILOTER L'ACTIVATEUR

CHOISIR MODE ASSERVISSEMENT

SELECTIONNER LA VITESSE