الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'Temps réel'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Internet, multimédia et temps réel / Jean-François Susbielle
Titre : Internet, multimédia et temps réel : réseaux haut débit, terminaux fixes et mobiles, routage et QoS, voix et audio-vidéo sur IP Type de document : texte imprimé Auteurs : Jean-François Susbielle, Auteur Editeur : Paris : Eyrolles Année de publication : 2000 Importance : XVII-729 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 2-212-09118-4 Prix : 320 F Note générale : Éditeur : Eyrolles (3 mars 2000)
Langue : Français
Broché : 729 pages
ISBN-10 : 2212091184
ISBN-13 : 978-2212091182
Poids de l'article : 1.42 kg
Dimensions : 19 x 4 x 23 cmLangues : Français (fre) Mots-clés : Temps réel réseaux accès terminaux gateways qualité de service signalisation application temps réel média en flux Index. décimale : 004 Traitement des Données Résumé : Le nouvel Internet : convergence informatique - télécoms - audiovisuel L'Internet s'est lancé un nouveau défi : intégrer toutes les applications, voix, vidéo et données, unifier les différents réseaux mobiles et filaires pour devenir le réseau universel du multimédia temps réel. Technologies, réseaux, accès et applications Cet ouvrage de référence offre un panorama complet des différents éléments constituant le nouvel Internet : protocoles réseaux et moyens d'accès, terminaux fixes et mobiles, standards de compression, téléphonie, fax et visioconférence sur IP, audio et vidéo à la demande, radios et TV interactives, messagerie et services WAP sur téléphones mobiles, etc. À qui s'adresse l'ouvrage ? * A tous les professionnels des télécoms, de l'Internet et de l'audiovisuel, qui trouveront dans ce livre des éléments de réflexion stratégique et une analyse détaillée du marché (acteurs et produits). * Aux ingénieurs et consultants en réseaux et télécoms qui cherchent une référence technique sur les différentes technologies et standards. * Aux concepteurs d'applications Internet ou intranet souhaitant élargir la gamme de services proposés : messageries instantanées, téléphonie ou visioconférence, audio/vidéo, services WAP, etc. * Aux concepteurs de solutions CTI ou de centres d'appels couplés au Web. * Aux producteurs de services audiovisuels : musique et vidéo à la demande, radio et TV interactives.
Biographie de l'auteur
Jean-François Susbielle (susbielle@compuserve.com), directeur de la société Microvox, est un spécialiste des technologies vocales et des applications multimédias sur l'Internet. Il a mis en place plusieurs services temps réel sur réseaux mobiles en Europe et en Asie où il enseigne les technologies de l'information.Note de contenu : Glossaire. Index Internet, multimédia et temps réel : réseaux haut débit, terminaux fixes et mobiles, routage et QoS, voix et audio-vidéo sur IP [texte imprimé] / Jean-François Susbielle, Auteur . - Paris : Eyrolles, 2000 . - XVII-729 p. : ill., couv. ill. en coul. ; 23 cm.
ISBN : 2-212-09118-4 : 320 F
Éditeur : Eyrolles (3 mars 2000)
Langue : Français
Broché : 729 pages
ISBN-10 : 2212091184
ISBN-13 : 978-2212091182
Poids de l'article : 1.42 kg
Dimensions : 19 x 4 x 23 cm
Langues : Français (fre)
Mots-clés : Temps réel réseaux accès terminaux gateways qualité de service signalisation application temps réel média en flux Index. décimale : 004 Traitement des Données Résumé : Le nouvel Internet : convergence informatique - télécoms - audiovisuel L'Internet s'est lancé un nouveau défi : intégrer toutes les applications, voix, vidéo et données, unifier les différents réseaux mobiles et filaires pour devenir le réseau universel du multimédia temps réel. Technologies, réseaux, accès et applications Cet ouvrage de référence offre un panorama complet des différents éléments constituant le nouvel Internet : protocoles réseaux et moyens d'accès, terminaux fixes et mobiles, standards de compression, téléphonie, fax et visioconférence sur IP, audio et vidéo à la demande, radios et TV interactives, messagerie et services WAP sur téléphones mobiles, etc. À qui s'adresse l'ouvrage ? * A tous les professionnels des télécoms, de l'Internet et de l'audiovisuel, qui trouveront dans ce livre des éléments de réflexion stratégique et une analyse détaillée du marché (acteurs et produits). * Aux ingénieurs et consultants en réseaux et télécoms qui cherchent une référence technique sur les différentes technologies et standards. * Aux concepteurs d'applications Internet ou intranet souhaitant élargir la gamme de services proposés : messageries instantanées, téléphonie ou visioconférence, audio/vidéo, services WAP, etc. * Aux concepteurs de solutions CTI ou de centres d'appels couplés au Web. * Aux producteurs de services audiovisuels : musique et vidéo à la demande, radio et TV interactives.
Biographie de l'auteur
Jean-François Susbielle (susbielle@compuserve.com), directeur de la société Microvox, est un spécialiste des technologies vocales et des applications multimédias sur l'Internet. Il a mis en place plusieurs services temps réel sur réseaux mobiles en Europe et en Asie où il enseigne les technologies de l'information.Note de contenu : Glossaire. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19217 004/20.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt Parallélisme, génie logiciel temps réel / Marc Thorin
Titre : Parallélisme, génie logiciel temps réel Type de document : texte imprimé Auteurs : Marc Thorin, Auteur Editeur : Paris : Bordas Année de publication : 1990 Collection : Dunod informatique, ISSN 0291-1604 Importance : VI-137 p. Présentation : ill., couv. ill. Format : 17x24 cm ISBN/ISSN/EAN : 978-2-04-019819-0 Prix : 110 F Note générale : Éditeur : Dunod (16 février 1993)
ISBN-10 : 2040198199
ISBN-13 : 978-2040198190
Poids de l'article : 245 g
Dimensions : 24 x 15.5 x 1.1 cmLangues : Français (fre) Mots-clés : temps réel génie logiciel formalisation et modélisation mécanisme d'influence systèmes influences Parallélisme génie logiciel temps réel Index. décimale : 629 Résumé : Sommaire :
temps réel
génie logiciel
présentation informelle
formalisation et modélisation
confils et syrvenance aléatoire d'évenements
mécanisme d'influence
systèmes influences
partie formelle
relations entre processus
mécanismes d'influence des types P/P-P/R-P/R
MÉCANISMES D'INFLUENCE DES TYPES P-/P,P-/R,P-/A
Système DES TYPES P-/P-,P-/R,P-/A-
réalisation des mécanismes-types P/P-,P/R-,P/A
RéALISATION DES MéCANISMES-TYPES P-/P,P-/R,P-/A
RéALISATION DES MéCANISMES-TYPES P-/P-P/P-
RéALISATION DES SYSTéMES-TYPES P-/P-,P-/R-,P-/A
RéALISATION DES MéCANISMES-TYPES P-/P-P/P-
RéALISATION DES SYSTéMES-TYPES P-/P,P-/R-,P-/A-
Note de contenu : index
ANNEXE:EXEMPLE DE SYNTHéSE
INTRODUCTION
TACHES à EFFECTUER
OBJECTIFS DE L'INFORMATION
RECENSEMENT DES Taches
INDEX DES NOTIONS PRINCIPALESParallélisme, génie logiciel temps réel [texte imprimé] / Marc Thorin, Auteur . - Paris : Bordas, 1990 . - VI-137 p. : ill., couv. ill. ; 17x24 cm. - (Dunod informatique, ISSN 0291-1604) .
ISBN : 978-2-04-019819-0 : 110 F
Éditeur : Dunod (16 février 1993)
ISBN-10 : 2040198199
ISBN-13 : 978-2040198190
Poids de l'article : 245 g
Dimensions : 24 x 15.5 x 1.1 cm
Langues : Français (fre)
Mots-clés : temps réel génie logiciel formalisation et modélisation mécanisme d'influence systèmes influences Parallélisme génie logiciel temps réel Index. décimale : 629 Résumé : Sommaire :
temps réel
génie logiciel
présentation informelle
formalisation et modélisation
confils et syrvenance aléatoire d'évenements
mécanisme d'influence
systèmes influences
partie formelle
relations entre processus
mécanismes d'influence des types P/P-P/R-P/R
MÉCANISMES D'INFLUENCE DES TYPES P-/P,P-/R,P-/A
Système DES TYPES P-/P-,P-/R,P-/A-
réalisation des mécanismes-types P/P-,P/R-,P/A
RéALISATION DES MéCANISMES-TYPES P-/P,P-/R,P-/A
RéALISATION DES MéCANISMES-TYPES P-/P-P/P-
RéALISATION DES SYSTéMES-TYPES P-/P-,P-/R-,P-/A
RéALISATION DES MéCANISMES-TYPES P-/P-P/P-
RéALISATION DES SYSTéMES-TYPES P-/P,P-/R-,P-/A-
Note de contenu : index
ANNEXE:EXEMPLE DE SYNTHéSE
INTRODUCTION
TACHES à EFFECTUER
OBJECTIFS DE L'INFORMATION
RECENSEMENT DES Taches
INDEX DES NOTIONS PRINCIPALESRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST8943 629/01.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST8944 629/01.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST8945 629/01.3 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Systèmes temps réel, 1. Systèmes temps réel / bernard berthomieu
Titre de série : Systèmes temps réel, 1 Titre : Systèmes temps réel : technique de description et de vérification Type de document : texte imprimé Auteurs : bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2006 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (370-VII p.) Présentation : ill. Format : 20x25 cm ISBN/ISSN/EAN : 978-2-7462-1303-6 Prix : 115 EUR Note générale : Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cmLangues : Français (fre) Mots-clés : pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté "outils" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
model checking:éléments de base
vérification par automates temporisés
modélisation et analyse de systémes asynchrones avec CADP
VÉRIFICATION DE PROGRAMMES SYNCHRONES AVEC LUSTRE/LESAR
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
Note de contenu : Notes bibliogr.
IndexSystèmes temps réel, 1. Systèmes temps réel : technique de description et de vérification [texte imprimé] / bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier . - Paris : Hermès science publications-Lavoisier, impr. 2006 . - 1 vol. (370-VII p.) : ill. ; 20x25 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) .
ISBN : 978-2-7462-1303-6 : 115 EUR
Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cm
Langues : Français (fre)
Mots-clés : pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté "outils" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
model checking:éléments de base
vérification par automates temporisés
modélisation et analyse de systémes asynchrones avec CADP
VÉRIFICATION DE PROGRAMMES SYNCHRONES AVEC LUSTRE/LESAR
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
Note de contenu : Notes bibliogr.
IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST8980 629/15.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt Systèmes temps réel de contrôle-commande / Francis Cottet
Titre : Systèmes temps réel de contrôle-commande : conception et implémentation Type de document : texte imprimé Auteurs : Francis Cottet, Auteur ; Emmanuel Grolleau (1973-....), Auteur Editeur : Paris : Dunod Année de publication : DL 2005 Collection : Technique et ingénierie. Série EEA Sous-collection : Série EEA Importance : 1 vol. (VII-559 p.) Présentation : ill., couv. ill. Format : 20x25 cm ISBN/ISSN/EAN : 978-2-10-007893-6 Prix : 100 EUR Note générale : Éditeur : Dunod (5 avril 2005)
Langue : : Français
Relié : 568 pages
ISBN-10 : 2100078933
ISBN-13 : 978-2100078936
Poids de l'article : 1.22 kg
Dimensions : 17 x 17 x 24 cmLangues : Français (fre) Mots-clés : Control commande méthode sa-rt méthode DARTS temps réel systèmes multitâches Systèmes temps réel de contrôle-commande conception et implémentation Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de :
- connaître et mettre en oeuvre les méthodes de spécification et de conception ;
- définir et paramétrer l'environnement d'exécution des systèmes ;
- réaliser l'implémentation multitâche basée sur un noyau temps réel ;
- développer l'application en C, Ada ou LabVIEWTM.
L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en oeuvre les principes de cette méthodologie de développement.
Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle.
Biographie de l'auteur
Ingénieur, docteur et professeur, directeur de l'École nationale supérieure de mécanique et d'aérotechnique (ENSMA) de Poitiers.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).
sommaire:
développement des systémes de controle-commande
spécification selon la méthode SA-RT
concption selon la méthode DARTS
architectures systémes
exécutifs temps réel
programmation des systémes multitaches
traitement complet d'une application industrielle
étude avancée des systémes temps réel
Note de contenu : La p. de titre et la couv. portent en plus : "L'Usine nouvelle"
Bibliogr.
p. 539-540.
Webliogr.
p. 540. Glossaire
anglais français.
IndexSystèmes temps réel de contrôle-commande : conception et implémentation [texte imprimé] / Francis Cottet, Auteur ; Emmanuel Grolleau (1973-....), Auteur . - Paris : Dunod, DL 2005 . - 1 vol. (VII-559 p.) : ill., couv. ill. ; 20x25 cm. - (Technique et ingénierie. Série EEA. Série EEA) .
ISBN : 978-2-10-007893-6 : 100 EUR
Éditeur : Dunod (5 avril 2005)
Langue : : Français
Relié : 568 pages
ISBN-10 : 2100078933
ISBN-13 : 978-2100078936
Poids de l'article : 1.22 kg
Dimensions : 17 x 17 x 24 cm
Langues : Français (fre)
Mots-clés : Control commande méthode sa-rt méthode DARTS temps réel systèmes multitâches Systèmes temps réel de contrôle-commande conception et implémentation Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de :
- connaître et mettre en oeuvre les méthodes de spécification et de conception ;
- définir et paramétrer l'environnement d'exécution des systèmes ;
- réaliser l'implémentation multitâche basée sur un noyau temps réel ;
- développer l'application en C, Ada ou LabVIEWTM.
L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en oeuvre les principes de cette méthodologie de développement.
Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle.
Biographie de l'auteur
Ingénieur, docteur et professeur, directeur de l'École nationale supérieure de mécanique et d'aérotechnique (ENSMA) de Poitiers.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).
sommaire:
développement des systémes de controle-commande
spécification selon la méthode SA-RT
concption selon la méthode DARTS
architectures systémes
exécutifs temps réel
programmation des systémes multitaches
traitement complet d'une application industrielle
étude avancée des systémes temps réel
Note de contenu : La p. de titre et la couv. portent en plus : "L'Usine nouvelle"
Bibliogr.
p. 539-540.
Webliogr.
p. 540. Glossaire
anglais français.
IndexRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST8949 629/04.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST17257 629/04.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Systèmes temps réel embarqués
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
IndexSystè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
IndexRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 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