الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail d'une collection
Collection Technique & ingénierie. Automatique et réseaux
Sous-collections rattachées :
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes

Titre : |
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle |
Type de document : |
texte imprimé |
Mention d'édition : |
2e éd. |
Editeur : |
Paris : Dunod |
Année de publication : |
DL 2014 |
Collection : |
Collection Technique & ingénierie. Automatique et réseaux |
Sous-collection : |
Automatique et réseaux |
Importance : |
1 vol. (XI-626 p.) |
Présentation : |
ill. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-10-071331-8 |
Prix : |
85 EUR |
Note générale : |
ASIN : B00TECPHR6
Éditeur : Dunod (5 novembre 2014)
Langue : Français
Taille du fichier : 26678 KB
Synthèse vocale : Non activée
Confort de lecture : Non activé
Word Wise : Non activé |
Langues : |
Français (fre) |
Mots-clés : |
systèmes embarqués aadl système d'exploitation systèmes multitâches temps réel |
Index. décimale : |
004 Traitement des Données |
Résumé : |
Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et me re en oeuvre les méthodes de spécifi cation et de conception,
• Défi nir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.
Biographie de l'auteur
Professeur émérite au LIAS à l'ISAE-ENSMA et conseiller scientifique au Hcéres.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes). |
Note de contenu : |
Annexes a-b-c-d
Index |
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle [texte imprimé] . - 2e éd. . - Paris : Dunod, DL 2014 . - 1 vol. (XI-626 p.) : ill. ; 24 cm. - ( Collection Technique & ingénierie. Automatique et réseaux. Automatique et réseaux) . ISBN : 978-2-10-071331-8 : 85 EUR ASIN : B00TECPHR6
Éditeur : Dunod (5 novembre 2014)
Langue : Français
Taille du fichier : 26678 KB
Synthèse vocale : Non activée
Confort de lecture : Non activé
Word Wise : Non activé Langues : Français ( fre)
Mots-clés : |
systèmes embarqués aadl système d'exploitation systèmes multitâches temps réel |
Index. décimale : |
004 Traitement des Données |
Résumé : |
Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et me re en oeuvre les méthodes de spécifi cation et de conception,
• Défi nir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.
Biographie de l'auteur
Professeur émérite au LIAS à l'ISAE-ENSMA et conseiller scientifique au Hcéres.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes). |
Note de contenu : |
Annexes a-b-c-d
Index |
|  |
Réservation
Réserver ce document
Exemplaires (2)
|
ST19528 | 004/28.1 | Ouvrage | Faculté des Sciences et de la Technologie | 000 - Informatique, information, ouvrages généraux | Exclu du prêt |
ST19529 | 004/28.2 | Ouvrage | Faculté des Sciences et de la Technologie | 000 - Informatique, information, ouvrages généraux | Disponible |