offre Black Friday

Stratégies de spécification des systèmes temps réel SA-RT

Note moyenne 
Imtiaz-A Pirbhai et Derek-J Hatley - Stratégies de spécification des systèmes temps réel SA-RT.
Cet ouvrage décrit deux méthodes qui permettent de spécifier les besoins et la structure de conception de systèmes intégrant du logiciel. Bien que... Lire la suite
74,55 €
Actuellement indisponible

Résumé

Cet ouvrage décrit deux méthodes qui permettent de spécifier les besoins et la structure de conception de systèmes intégrant du logiciel. Bien que ces méthodes aient été conçues dans le cadre des systèmes embarqués en temps réel, elles sont assez souples et adaptables pour s'appliquer à des systèmes de tous types et de toutes tailles. Ces méthodes ne traitent pas de la manière d'écrire le logiciel ou de concevoir le matériel pour tel ou tel système, mais plutôt de la façon de spécifier les problèmes que le logiciel et le matériel doivent résoudre. Ce livre s'adresse à tous ceux qui s'intéressent ou qui sont impliqués dans le développement de systèmes qui intègrent du logiciel. Il peut rendre service tant à ceux qui n'ont besoin que d'une compréhension générale qu'à ceux qui souhaitent en acquérir une connaissance approfondie.

Sommaire

    • La stratégie d'ensemble
    • Présentation
    • Rôle des méthodes
    • Le modèle des besoins
    • Présentation
    • Le modèle des processus
    • Le modèle de contrôle
    • Machines à états finis
    • Spécifications des contraintes de temps
    • Dictionnaire des besoins
    • Interprétation du modèle des besoins et résumé
    • Construction du modèle 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 modèle d'architecture
    • Présentation
    • Diagrammes d'architecture
    • Dictionnaire d'architecture et spécifications de module
    • Complément du modèle d'architecture
    • Construction du modèle 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
    • Distributeur automatique de boissons.

Caractéristiques

Avis libraires et clients

À propos des auteurs

D. J. Hatley est responsable des techniques de développement de logiciels et de systèmes chez SLI Avionic Systems. I. A. Pirbhai est l'un des dirigeants de Systems Methods, entreprise de conseil en informatique. Il est responsable du développement des systèmes temps réel. Il était auparavant chargé de l'élaboration des méthodes chez Boeing.

Les clients ont également aimé

Derniers produits consultés