Systèmes temps réel embarqués : :: SCD d'Orléans

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle

Cet ouvrage de référence sur les systèmes temps réel permet 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 une implantation multitâche basée sur un noyau temps réel, développer l�...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	Cottet, Francis, Grolleau, Emmanuel, 1973- (Autor), Gérard, Sébastien, 19..-...., informaticien (Autor), Hugues, Jérôme, 1978- (Autor), Ouhammou, Yassine (Autor), Tucci-Piergiovanni, Sara (Autor)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Dunod DL 2014.
Edició:	2e édition.
Col·lecció:	Collection Technique & ingénierie. Automatique et réseaux
Matèries:	Temps réel (informatique) Systèmes embarqués (informatique) Programmation en temps réel Commande en temps réel Commande automatique
Nota:	Autres contributions : Jérôme Hughes, Yassine Ouhammou, Sara Tucci-Piergiovanni (auteurs)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Systèmes temps réel embarqués, spécification, conception, implémentation et validation temporelle, Francis Cottet, Emmanuel Grolleau, Sébastien Gérard,... [et al.], 2e édition, Paris, Dunod, 2014, 978-2-10-071957-0

Ítems similars

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
per: Cottet, Francis, et al.
Publicat: (2014)

Systèmes temps réel de contrôle-commande : conception et implémentation
per: Cottet, Francis, et al.
Publicat: (2005)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
per: Grolleau, Emmanuel, 1973-, et al.
Publicat: (2018)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
per: Grolleau, Emmanuel, 1973-, et al.
Publicat: (2018)

Les spécifications fonctionnelles : automatismes industriels et temps réel
per: Brenier, Henri, 19..-...., ingénieur
Publicat: (2001)

Gestion des processus industriels temps réel : des interruptions électroniques aux exécutifs multitâches
per: Montois, Jean-Jacques, ingénieur
Publicat: (1999)

Systèmes temps réel autonomes en énergie
per: Chetto, Maryline, 1959-, et al.
Publicat: (2017)

MicroC/OS-II : the real-time Kernel
per: Labrosse, Jean J.
Publicat: (2002)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
per: Bernardo, Marco

Real time control of large scale systems : proceedings of the first European workshop, University of Patras, Greece, July 9-12, 1984

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Publicat: (2002)

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Ordonnancement temps réel : cours et exercices corrigés
per: Cottet, Francis, et al.
Publicat: (2000)

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
per: Gumzej, Roman, et al.

Temps réel
Publicat: (2003)

Approche du temps réel industriel
per: De Geeter, Jean-Marie
Publicat: (1999)

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
per: Wang, Weixun, et al.
Publicat: (2013)

Spécification et conception des systèmes temps réel
per: Biancolin, Jean-André
Publicat: (1995)

Dispositifs de commande en temps réel
per: Toulotte, Jean-Marc
Publicat: (1975)

Modélisation des systèmes réactifs : actes de MSR 2003, 6-8 octobre 2003, ENIM, Metz, France
Publicat: (2003)

Modélisation des systèmes réactifs : actes de MSR 2009, 16-18 novembre 2009, Nantes, France
Publicat: (2009)

L'informatique et les systèmes
per: Dupuy, Roger, 19..-...., informaticien
Publicat: (1972)

Analyse théorique du comportement dynamique de systèmes marcheurs pour l'élaboration de stratégies de contrôle
per: Forêt, Jérôme, 1975-
Publicat: (2003)

Systèmes temps réel. Techniques de description et de vérification
per: Navet, Nicolas, 19..-
Publicat: (2006)

Energy autonomy
per: Chetto, Maryline, 1959-, et al.
Publicat: (2016)

Active, real-time, and temporal database systems : ; proceedings second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997

Specification and compositional verification of real-time systems
per: Hooman, Jozef, 19..-

Solutions temps réel sous Linux
per: Blaess, Christophe
Publicat: (2019)

CIM et temps réel
per: Brenier, Henri, 19..-...., ingénieur
Publicat: (1992)

Systèmes temps réel. Ordonnancement, réseaux et qualité de service
per: Navet, Nicolas, 19..-
Publicat: (2006)

Real-time imaging.
Publicat: (1995)

Programmation concurrente et temps réel avec ADA 95
per: Zaffalon, Luigi, et al.
Publicat: (1999)

Informatique industrielle. Introduction à l'informatique du temps réel
per: Nussbaumer, Henri, 1931-
Publicat: (1986)

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Le temps qui passe.

Méthodes et techniques de traitement du signal et applications aux mesures physiques
per: Max, Jacques, 1925-1987, physicien
Publicat: (1981)

Méthodes et techniques de traitement du signal et applications aux mesures physiques. Principes généraux et méthodes classiques
per: Max, Jacques, 1925-1987, physicien, et al.
Publicat: (1996)

Méthodes et techniques de traitement du signal et applications aux mesures physiques. Principes généraux et méthodes classiques
per: Max, Jacques, 1925-1987
Publicat: (1985)

Traitement du signal : concepts et applications
per: Duvaut, Patrick, 1958-
Publicat: (1994)

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
per: Markey, Nicolas, 1976-
Publicat: (2003)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales