SA/RT

.

OBJECTIF

.

SA/RT

CONCEPTS GENERAUX DESCRIPTION DETAILLEE

SA/RT

ANALYSE DES SYSTEMES TEMPS REELS

METHODE DE DECOMPOSITION

TOUT

PARTIE 1 PARTIE 2 PARTIE 3

METHODES PRECEDANTES

SADT

TOUT

F1

F2

F3

SA

TOUT

F1

F2

F3

UNIQUEMENT FONCTIONNELLES

SA/RT ET LES TROIS AXES D'ANALYSE

FONCTIONS

DYNAMIQUE

DONNEES

bnf

automates

SA/RT ET IM

DEUX DIALECTES SA/RT – HATLEY & PIRBHAI

– WARD & MELLOR

Systeme Analysis Real Time– SA : GRAPHIQUES FONCTIONNELS

– RT : GRAPHIQUES DE LA DYNAMIQUE

– DECOMPOSITION DES DONNEES PAR TEXTES

Information Modeling– Entité/Associations de CHEN

– GRAPHIQUE DE RELATIONS ENTRE DONNEES

DEUX DIALECTES SA/RT

HATLEY & PIRBHAI WARD & MELLOR

TROIS FORMALISMES SA/RT

SA : GRAPHIQUES FONCTIONNELS RT : GRAPHIQUES DE LA DYNAMIQUE DESCRIPTION TEXTE DES DONNEES

SA/RT DANS LE CYCLE DE VIE

BES O IN SD U S YS TEM E

ARC H ITE C TU R ED U S YSTEM E

ARC H ITE C TU R ED U SO U S-S YSTEM E

BES O IN SD U S YS TEM EBES O IN SD U S YS TEM E

C A H IER D E S C H AR G E S

BE SO IN SD U SO U S-SYTEM E

AR C H ITEC TU R ED U LO G IC IEL

SP EC IFIC ATIO N

C O N C EPTIO N

SPEC IFIC ATIO N

SPEC IFIC ATIO N

C O N C EP TIO N

CO N C EP TIO N

SA/RT USAGE

SPECIFICATION DES BESOINS DU SYSTEME SPECIFICATION DES BESOINS DU LOGICIEL ARCHITECTURE LOGIQUE DU LOGICIEL ARCHITECTURE DYNAMIQUE DU LOGICIEL

DIAGRAMME DE CONTEXTE

GERERLE SYSTEME

AUTRELOGICIEL

MATERIEL AUTRESYSTEME

HOMME

DC DIAGRAMME DE CONTEXTE

FLOT DE DONNEEEN ENTREE

FLOT DECONTROLE

AUTRE FLOTDONNEE

FLOT DE DONNEEEN SORTIE

LES OBJETS DU DIAGRAMME DE CONTEXT

PROCESS / PROCESSUS TERM / TERMINAISON DATA FLOW / FLOT DE DONNEES CONTROL FLOT / FLOT DE CONTROLE

HATLEY PIRBHAI DFD 0

FLOT DE DONNEEEN ENTREE

FLOT DECONTROLE

REALISERLE TRAITEMENT

1

1

REALISERLE TRAITEMENT

2

2

S1

FLOT INTERNE

DFD0 DIAGRAMME DESFLOTS 0 (HATLEY)

AUTRE FLOTDONNEE

FLOT DE DONNEEEN SORTIE

VALEURMEMORISEE

VALEURMEMORISEE

PARTIE DE VALE-UR MEMORISEE

PARTIE A

PARTIE B

CONSTANTE

CONSTANTE

WARD & MEILLOR DFD 0

FLOT DE DONNEEEN ENTREE

AUTRE FLOTDONNEE

FLOT DECONTROLE

FLOT DE DONNEEEN SORTIE

REALISERLE TRAITEMENT

1

1

REALISERLE TRAITEMENT

2

2

CONSTANTE VALEURMEMORISEE

CONSTANTEVALEUR

MEMORISEEPARTIE DE VALE-

UR MEMORISEE

CS1

3PARTIE APARTIE B

E

D

DFD0 WARD&MEILLOR

LES OBJETS DU DFD

PROCESS / PROCESSUS STORE / RESERVOIR CSPEC DATA FLOW / FLOT DE DONNEES

– DISCRET

– CONTINU

CONTROL FLOT / FLOT DE CONTROLE ACTIVATOR / ACTIVATEUR

DIFFERENCES ENTRE DIALECTES

HATLEY & PIRBHAY– CSPEC = BARRE VERTICALE

– CONTROLE = DISCRET A PLUSIEURS ETATS

– COMMANDES SUR LES FONCTIONS

» NON VISUALISEES

» ENABLE, DISABLE

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

FLOT DE DONNEEEN ENTREE

FLOT INTERNEF

1.1

1

F1.2

2

F1.3

3

STOREINFORMATION

INFORMATION

AUTREINFORMATION

DFD 1

AUTRE FLOTDONNEE

PARTIE A

CONSTANTE

VALEURMEMORISEE

PSPECSPECIFICATION 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 CONSTANTE DE PARAMETRAGE ZONE DE COMMUNICATION ASYNCHRONE

REALISERLE TRAITEMENT

1

1

REALISERLE TRAITEMENT

2

2

VALEURMEMORISEE

VALEURMEMORISEE

PARTIE DE VALE-UR MEMORISEE

CONSTANTE

CONSTANTE

SA/RT STRUCTURE

DC

DFD0

DFD1 DFD3

DFD3.2

PSPEC2

PSPEC1.2PSPEC3.1

PSPEC1.2 PSPEC1.3

PSPEC3.2.1 PSPEC3.2.2

CSPEC 1

CSPEC EN TROIS PHASES

PHASE

COMBINATOIRECONTROLES

BRUTES

PHASE

ACTIONPHASEAUTOMATES

CONTROLESDERIVES

CONTROLESD'ACTION

TD STD PAT

ACTIONSSUR

PROCESSUS

CONTROLESEN SORTIE

CSPEC STD COMBINE

ETATREPOS

ENTREE

ETATACTIF

FLOT DE CONTROLEE: "REALISER LETRAITEMENT 1"

NOT "FLOT DE CONTROLE"D: "REALISER LETRAITEMENT 1"

LE DICTIONNAIRE

SYNTAXE BNF ATTRIBUTS PRIMITIF/DECOMPOSE ALIAS

SA/RT et les outils

TEAMWORK CARDTOOLS SELECT

LE DICTIONNAIRE

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

ECRIRE UNE SPECIFICATION

ECRIRE UNE SPECIFICATION– LA DEMARCHE

– LA CONCEPTION

– LES OUTILS

(LA METHODE PURE ET DURE)

DEMARCHE I

ACQUERIR LES INFORMATIONS– LISTES

» VERBE = PROCESSUS

» NOM = FLOT/TERMINAISON

– LES TRIER, LES CATALOGUER

» TERMINAISON, DONNEES EXTERNES, FONCTIONS PRINCIPALES...

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

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

AJOUTER LES FLOTS INTERNES, LES RESERVOIRS

DEFINIR LA CSPEC DEFINIR LES PSPEC DECOMPOSER LES PROCESSUS TERMINAUX COMPLETER LE MODELE ESSENTIEL

– ENTREES/SORTIES

– ERGONOMIE

– MAINTENANCE

INTEGRER LE MODELE DANS LA SPECIFICATION COMPLETER LES AUTRES CHAPITRES DANS LA

SPECIFICATION

DEMARCHE LA CSPEC

PHASE COMBINATOIRE DT– COMBINAISONS COMPLEXES DE CONTROLES

PHASE AUTOMATE STD– ACTIONS DEPENDANT DE L'ETAT ANTERIEUR

PHASE ACTIVATION DE PROCESSUS– PEU D'ETATS

– BEAUCOUP D'ACTIONS

PLAN TYPE DE SPECIFICATION

DIAGRAMME DE CONTEXTE DANS CHAPITRE DESCRIPTION DES INTERFACES

DESCRIPTION DES TERMINAISONS DANS LA SOUS-SECTIONS

– INTERFACE LOGICIEL, INTERFACE MATERIEL, INTERFACE HOMME/MACHINE)

DICTIONNAIRES EN ANNEXE

PLAN TYPE DE SPECIFICATION

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 2167A

DEMARCHE IDENTIQUE SAUF

– EN SPECIFICATION SYSTEME CSPEC 1 DANS SECTION "MODES PRINCIPAUX DE FONCTIONNEMENT

DOCUMENTATION SOUS TEAMWORK

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

SORTIE VERS FRAMEMAKER OU INTERLEAF ADAPTATION : SORTIE VERS WORD (RTF)

DOCUMENTATION SOUS SELECT

PAR COUPER-COLLER ISOLE VERS WORD– PLANCHE PAR PLANCHE

– SANS LIEN

RAPPORT : DICTIONNAIRE

CONSEILS : NE PAS ...

DUPLIQUER LES INFORMATIONS (LES REFERENCER)

DISPERSER LES INFORMATIONS ENTRER TROP DANS LES DETAILS ENTRER DANS LA CONCEPTION CHERCHER LA PERFECTION

CONSEILS

ISOLER AILLEURS– LES REGLES GENERALES

– LES MODES DEGRADES

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

PETITS LOGICIELS : APPLIQUER LA METHODE

GROS LOGICIELS : N'APPLIQUER LA METHODE QU'A TRES HAUT NIVEAU

GROS LOGICIELS UTILISATION COMPLETE

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 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 RE-ORGANISES EN FONCTION DES ALLOCATIONS AUX TACHES ET AUX PROCESSEURS.

PASSAGE A LA CONCEPTION

ARCHITECTURE LOGIQUE ARCHITECTURE DYNAMIQUE METHODE

WARD&MEILLOR– DFD PROCESSUS = CPU

– DFD PROCESSUS = TACHE

– UTILISER ENSUITE LA METHODE SD

ARCHITECTURE PHYSIQUE : SD CONCEPTION ORIENTEE OBJET

PASSAGE SA/RT SD

DC

DFD0

DFD1 DFD3

DFD3.2

PSPEC2

PSPEC1.2PSPEC3.1

PSPEC1.2 PSPEC1.3

PSPEC3.2.1 PSPEC3.2.2

CSPEC 1

DC

PSPEC2

PSPEC1.2

PSPEC3.1

PSPEC1.2

PSPEC1.3

PSPEC3.2.1 PSPEC3.2.2

CSPEC 1

PASSAGE SA/RT SD

PSPEC2

PSPEC1.2

PSPEC3.1

PSPEC1.2

PSPEC1.3

PSPEC3.2.1PSPEC3.2.2

DC

PSPEC2

PSPEC1.2

PSPEC3.1

PSPEC1.2

PSPEC1.3

PSPEC3.2.1PSPEC3.2.2

CSPEC 1

TACHE 1 TACHE 2 TACHE 3

CONSEIL TEAMWORK.LOGIN

/cadre/tsa/com : teamwork /cadre/tool_kit : twkdpi_work /cadre/admin : load_tsa dump_tsa

# teamwork

if ( -f /cadre/tsa/com/teamwork) then

setenv PATH $PATH\:/cadre/tsa/com:/cadre/tool_kit:/cadre/admin

endif

CONSEIL TEAMWORK

PLUSIEURS REPRESENTATIONS SONT POSSIBLES

CHOISIR TOUJOURS LA PLUS LISIBLE

CONSEIL TEAMWORK DFDPREFIXER LES FLOTS

1

1.2

1.1

DDE : A = B + C

A

A.B

A.C

DFD1

CONSEIL TEAMWORKALLEGER LES DIAGRAMMES

A

B

A+B

CONSEIL TEAMWORKANNOTER/COMMENTER

LES DFD TITRE Information* : avant les planches TITRE Conclude* : après les planches

* COMMENTAIRE SUR DFD *

CONSEIL TEAMWORK FLOTSMODIFIEURS DE FLOT

<prefixe>flot 1 seule définition dde pour flot <prefixe>distingue une instance de flot d’une

autre

CONSEIL TEAMWORKSTD

MACHINE DE MEALY

CONSEILS TEAMWORKSTD

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 TEAMWORKSTD

SUR DES AUTOMATES SIMPLES

UTILISER DES OPERATEURSBOOLEENS SUR LES CONDITIONSPOUR EVITER LES TD

INDIQUER DIRECTEMENT LESPROCESSUS A ACTIVER OU DESACTIVER POUR EVITER LES TAP

TD STD PAT

CONSEILS TEAMWORKSTD

ACTIVATE (A) DISABLE (D) ENABLE (E) TRIGGER (T)

SUSPEND (S) KILL (K) ENABLE_FLUSH (EF) DISABLE_FLUSH (DF) KILL_FLUSH (KF) RESUME (R)

UTILISER NE PAS UTILISER

CONSEIL TEAMWORKPSPEC

ARRETER LA DECOMPOSITION DFD– SI LA FONCTION PEUT ETRE DECRITE EN 1 PAGE

UTILISEZ LA FORME LA PLUS CLAIRE PREFERER LE TEXTE LIBRE AU PSEUDO-

CODE

CONSEIL TEAMWORKDDE

NE PAS DECOMPOSER TROP TOT Extended Attributes Template

– Data Flow

– Data/Control Flow

– Data/Control Flow

– Store

* commentaire *définition BNF.--------attribut valeur;attribut valeur;

CONSEIL TEAMWORKDOCUMENTATION

SPECIFICATION WORD.DOC

INTERFACECONTEXTE.rtf

FONCTIONS.rtfDFD/CSPEC/PSPEC

ANNEXE.rtfDICTIONNAIRE

SD+ twkdpi_word

diagramme de contexte.epf

figures dfd/cspec/dt.epf

CONCLUSION

AVANTAGES : COHERENCE ET COMPLETUDE

RISQUES : QUALITE UTILISER SA/RT

– A HAUT NIVEAU

– OU LIER SPECIFICATION ET CONCEPTION

LE MODELE ENTITE ASSOCIATION DE CHEN

ENTITE 1 ENTITE 2

EST EN RELATION

AVEC

1 N

-clef- attributs

- clef

- attributs

données dela relation

EXEMPLE DC

PILOTERAUTOMATIQUEMENTUNE AUTOMOBILE

CLAVIER

AFFICHEUR

ARBRE

ACTIVATEUR

PEDALEDE

FREIN

IMPULSIONCOMMANDESPILOTE

INFORMATIONSPILOTE

COMMANDEACCELERATION

FREINAGE ACTIF

TRANSMISSION

TRANSMISSIONGRANDE VITESSE

ESSENCECONSOMMEE

EXEMPLE DFD0

IMPULSION

COMMANDESPILOTE

FREINAGE ACTIF

TRANSMISSIONGRANDE VITESSE

INFORMATIONSPILOTE

COMMANDEACCELERATION

CONTROLERLA VITESSE

1

CALCULERLA VITESSEMOYENNE

2

SURVEILLERLA CONSOMMATION

3

AIDERA L'ENTRETIEN

4

KILOMETRAGE

KILOMETRAGE

KILOMETRAGE

COMMANDESVITESSE MOYENNE

ESSENCECONSOMMEE

VITESSE MOYENNE

CONSOMMATIONESSENCE

MESSAGEENTRETIEN

COMMANDESPILOTAGE

SERVICEEFFECTUE

CONTROLER LA VITESSETRANSMISSIONGRANDE VITESSE

IMPULSIONFREINAGE ACTIF

COMMANDESPILOTAGE

KILOMETRAGE

DEBUTERCALIBRATION

3

ARRETERCALIBRATION

4

CALCULERLES PARAMETRES

2

IMPULSIONSPAR KILOMETRE

INDICATEURSDECLENCHER

LESCALCULS

5

CHOISIRLEMODE

6

T

VITESSESUFFISANTE

IMPULSIONSEN DEBUT

DE CALIBRATION

IMPULSIONS EN DEBUTDE CALIBRATION

IMPULSIONS EN DEBUTDE CALIBRATION

COMPTEURIMPULSIONS

D

T

DTCOMMANDE

ACCELERATION

PILOTERL'ACTIVATEUR

1

COMMANDESPILOTAGE

TRANSMISSIONGRANDE VITESSE

CHOISIR LE MODE

REPOS

ACTIVABLE

"TRANSMISSION GRANDE VITESSE"&"VITESSE SUFFISANTE"

NOT "TRANSMISSIONGRANDE VITESSE"

NOT "VITESSE SUFFISANTE"

ACTIF

CALIBRER

"COMMANDE PILOTAGE"=DEBUTDE MESURE

T: "DEBUTER CALIBRATION"

"COMMANDESPILOTAGE"=DEBUT DE MESURET: "DEBUTER CALIBRATION"

"COMMANDES PILOTAGE"=FINDE MESURE

T: "ARRETER CALIBRATION"

"COMMANDEPILOTAGE"=ACCELERATION

E: "ACCELERER"

A L'ACTIVATIOND: "DEBUTER CALIBRATION"D: "ARRETER CALIBRATION"D: "PILOTER L'ACTIVATEUR"

"COMMANDESPILOTAGE"=DESACTIVATIOND: "PILOTER L'ACTIVATEUR"

"COMMANDES PILOTAGE"=ACT-IVATION|ACCELERER

E: "PILOTER L'ACTIVATEUR"

PILOTER L'ACTIVATEUR

INDICATEURS

FREINAGE ACTIFCOMMANDESPILOTAGE

TRANSMISSIONGRANDE VITESSE

COMMANDEACCELERATION

SELECTIONNERLA VITESSE

1

MAINTENIRLA VITESSE

2ACCELERER

3

VITESSESELECTIONNEE

COMMANDEACCELERATION

VITESSE

INDICATEURS

VITESSE

CHOISIR LESMODES D'ASSERV-

ISSEMENT

4

E/D

E/D

T

CHOISIR MODE ASSERVISSEMENT

MAINTENIRLA VITESSE

A L'INITIALISATIOND: "ACCELERER"T: "SELECTIONNER

LA VITESSE"

ACCELERER

SUSPENDU

"FREINAGE ACTIF"|NOT"TRA-NSMISSION GRANDE VITESSE"D: "MAINTENIR LA VITESSE"

"FREINAGE ACTIF"|NOT"TRA-NSMISSION GRANDE VITESSE"

D: "ACCELERER"

"COMMANDES PILOTAGE"=REP-RISE AND TRANSMISSION...E: "MAINTENIR LA VITESSE"

"COMMANDESPILOTAGE"=ACCELERER

D: "MAINTENIR LA VITESSE"E: "ACCELERER"

"COMMANDES PILOTAGE"=ARR-ET ACCELERATIOND: "ACCELERER"

E: "MAINTENIR LA VITESSE"

SELECTIONNER LA VITESSE