Développement formel de systèmes temps réel à l'aide de sdl et if

Ahmad Alkhodre - Collection Omn.pres.franc.

184 pages, parution le 01/11/2016

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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).

Caractéristiques techniques

	PAPIER
Éditeur(s)	Presses Academiques Francophones
Auteur(s)	Ahmad Alkhodre
Collection	Omn.pres.franc.
Parution	01/11/2016
Nb. de pages	184
Format	15.2 x 22.9
Couverture	Broché
Poids	279g
EAN13	9783838145198