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

Audience : Adulte - Grand Public

Le Pitch

Littérature française

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). Afficher moinsAfficher plus

Détails du livre

Titre complet

Développement formel de systèmes temps réel à l'aide de SDL et IF: Compilation pour système temps réel

Auteur

Editeur

Format

Broché

Publication

01 novembre 2016

Audience

Adulte - Grand Public

Pages

Taille

22.9 x 15.2 x 1.1 cm

Poids

ISBN-13

9783838145198

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

79,90 €

Le Pitch

Littérature française

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). Afficher moinsAfficher plus