1. Littérature générale
  2. Essais littéraires

EAN13
9783838145198
Éditeur
Académiques
Date de publication
1 novembre 2016
Collection
OMN.PRES.FRANC.
Nombre de pages
184
Dimensions
22,9 x 15,2 x 1,1 cm
Poids
279 g
Langue
fre

Développement Formel De Systèmes Temps Réel À L'Aide De Sdl Et If

Ahmad Alkhodre

Académiques

Prix public : 79,90 €

Un système temps réel est un système qui interagit avec un environnement physique en remplissant souvent des missions critiques pour lesquelles une faute du système peut avoir des conséquences graves. Il sera dit correct s'il possède les bonnes fonctionnalités et si celles-ci sont réalisées à temps, c'est-à-dire avec le respect des contraintes temporelles imposées par l'environnement ou par une certaine qualité de service offerte à un utilisateur. La validation fonctionnelle et temporelle des systèmes temps réel est ainsi une nécessité forte. Toutes les situations, tous les comportements du système doivent être envisagés pour que la validation fournisse des résultats fiables. Toutes ces études apportent des principes, des solutions ou des modèles intéressants pour le développement de systèmes temps réel. Cependant ces approches se concentrent spécifiquement sur une étape particulière du développement indépendamment des autres. Donc, aujourd'hui, il existe peu d'approches complètes et formelles qui regroupent tous les aspects nécessaires pour le développement d'un système temps réel en passant de la spécification à la réalisation (implémentation).
Trouver ou

Offres