Titre : | Stratégies de spécification des systèmes temps réel (SA-RT) |
Type de document : | texte imprimé |
Auteurs : | Derek HATLEY ; Imtiaz PIRBHAI ; Abdelkader BOUGHLAM, Traducteur ; André KRAMER, Traducteur |
Editeur : | Masson |
Année de publication : | 1991 |
Collection : | MIPS |
Importance : | 346 p. |
ISBN/ISSN/EAN : | 978-2-225-82229-2 |
Note générale : | Préface
Table des matières
Liste des figures
Avant-propos |
Index. décimale : | 004.33 Temps réel |
Résumé : | LA STRATEGIE D'ENSEMBLE
Présentation
Rôle des méthodes
LE MODELE DES BESOINS
Présentation
Le modèle des processus
Le modèle de contrôle
Machine à états finis
Spécifications des contraines de temps
Dictionnaire des besoins
Interprétation du modèle des besoins et résumé
CONSTRUCTION DU MODELE DES BESOINS
Présentation
Pour commencer
Développement de la structure du modèle
Préparation des spécifications de processus
Préparation des spécifications de contrôle
Définition des contraintes de temps
Gestion du dictionnaire
LE MODELE D'ARCHITECTURE
Présentation
Diagrammes d'architecture
Dictionnaire d'architecture et spécifications de module
Complément du modèle d'architecture
CONSTRUCTION DU MODELE D'ARCHITECTURE
Présentation
Enrichissement du modèle des besoins
Création du modèle
Création des modèles d'architecture
Résumé de la construction de l'architecture
EXEMPLES
Système de contrôle d'une automobile
Système de chauffage d'une maison
Disrtibuteur automatique de boissons |