Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem : Systèmes temps réel embarqués (notice n° 1569986)

détails MARC
000 -LEADER
fixed length control field 01659cam a2200193 4500500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251214013821.0
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title fre
042 ## - AUTHENTICATION CODE
Authentication code dc
100 10 - MAIN ENTRY--PERSONAL NAME
Personal name Cottet, Francis
Relator term author
245 00 - TITLE STATEMENT
Title Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem : Systèmes temps réel embarqués
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Dunod,<br/>
Date of publication, distribution, etc. 2014.<br/>
520 ## - SUMMARY, ETC.
Summary, etc. Cet ouvrage de référence sur les systèmes temps réel permet de :Connaître et mettre en œuvre les méthodes de spécification et de conception,Définir 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écification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles.Points forts :Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle.Des exemples tirés de l’industrieUne présentation de SysML et des IBDUne mise en œuvre du langage AADL (Architecture analysis ans ddesign language)
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Grolleau, Emmanuel
Relator term author
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Gérard, Sébastien
Relator term author
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Hugues, Jérôme
Relator term author
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Ouhammou, Yassine
Relator term author
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Tucci-Piergiovanni, Sara
Relator term author
856 41 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://stm.cairn.info/systemes-temps-reel-embarques--9782100713318?lang=fr&redirect-ssocas=7080">https://stm.cairn.info/systemes-temps-reel-embarques--9782100713318?lang=fr&redirect-ssocas=7080</a>

Pas d'exemplaire disponible.

PLUDOC

PLUDOC est la plateforme unique et centralisée de gestion des bibliothèques physiques et numériques de Guinée administré par le CEDUST. Elle est la plus grande base de données de ressources documentaires pour les Étudiants, Enseignants chercheurs et Chercheurs de Guinée.

Adresse

627 919 101/664 919 101

25 boulevard du commerce
Kaloum, Conakry, Guinée

Réseaux sociaux

Powered by Netsen Group @ 2025