Accès plus rapide que le navigateur!
53 relations: Aérospatiale (discipline scientifique), Ada (langage), Airbus (société), Airbus A340, Airbus A380, Airbus Commercial Aircraft, Analyse fonctionnelle pour le temps réel, Architecture Analysis and Design Language, Architecture MIPS, Assembleur, Automobile, C (langage), C++, Coq (logiciel), Criticité, Esterel (langage), Fiabilité, Fichier binaire, HEX (Intel), Informatique, Intel, Ion, Langage de programmation, Lecteur de code-barres, LEON, Ligne 14 du métro de Paris, Logiciel, Lustre (langage), Matériel informatique, Méthode B, Méthode formelle (informatique), Métro de Paris, Meteor (métro), Modeling and Analysis of Real Time and Embedded systems, Motorola, Object Management Group, OpenRISC, Ordinateur personnel, PC/104, Programmation synchrone, S-Record, Satellite artificiel, Sémantique formelle, Scanner (informatique), Specification and Description Language, Système embarqué, Système temps réel, Télécommunications, Téléphone mobile, Temps de réponse (informatique), ..., Transport, UML (informatique), Véhicule (transport physique). Développer l'indice (3 plus) »
Aérospatiale (discipline scientifique)
L'aérospatiale (nom commun féminin singulier) est une discipline scientifique qui rassemble les techniques de l'aéronautique (déplacement dans l'atmosphère, utilisant des avions ou des hélicoptères par exemple) et de l'astronautique (déplacements spatiaux, c'est-à-dire trajets hors atmosphère et interplanétaires, en utilisant des navettes spatiales ainsi que des fusées).
Nouveau!!: Informatique embarquée et Aérospatiale (discipline scientifique) · Voir plus »
Ada (langage)
Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.
Nouveau!!: Informatique embarquée et Ada (langage) · Voir plus »
Airbus (société)
Airbus est un constructeur d’avion français, allemand, espagnol et britannique et une coopération industrielle internationale présente dans le secteur aéronautique et spatial civil et militaire.
Nouveau!!: Informatique embarquée et Airbus (société) · Voir plus »
Airbus A340
LAirbus A340 est un avion de ligne quadriréacteur long-courrier de grande capacité fabriqué par Airbus de 1991 à 2011.
Nouveau!!: Informatique embarquée et Airbus A340 · Voir plus »
Airbus A380
LAirbus A380 est un avion de ligne civil très gros-porteur long-courrier quadriréacteur à double pont, produit par Airbus de 2004 à 2021.
Nouveau!!: Informatique embarquée et Airbus A380 · Voir plus »
Airbus Commercial Aircraft
OO-TEF A300B1 MSN002, deuxième prototype d'Airbus, mais construit déjà avec spécification quasiment définitive en 1973, et donc exploité par TEA jusqu'en 1994. Airbus acheva le 13 décembre 2007 sa 5000e livraison avec cet A330 VH-EBG A330-203 MSN887. Airbus Commercial Aircraft, connu sous le nom Airbus SAS, est un constructeur aéronautique européen dont le siège social se trouve à Blagnac, à côté de l'aéroport, dans la banlieue de Toulouse, en France.
Nouveau!!: Informatique embarquée et Airbus Commercial Aircraft · Voir plus »
Analyse fonctionnelle pour le temps réel
L'Analyse fonctionnelle pour le temps réel (en anglais Structured Analysis for Real Time ou SART) est une méthode permettant de modéliser un système temps réel complexe.
Nouveau!!: Informatique embarquée et Analyse fonctionnelle pour le temps réel · Voir plus »
Architecture Analysis and Design Language
Architecture Analysis and Design Language (AADL) est un langage de description d'architecture système destiné aux systèmes embarqués (contextes: automobile, aéronautique et spatial notamment).
Nouveau!!: Informatique embarquée et Architecture Analysis and Design Language · Voir plus »
Architecture MIPS
L'architecture MIPS (de l'anglais) est une architecture de processeur de type Reduced instruction set computer (RISC) développée par la société MIPS Technologies (alors appelée MIPS Computer Systems), basée à Mountain View en Californie.
Nouveau!!: Informatique embarquée et Architecture MIPS · Voir plus »
Assembleur
Un langage d'assemblage ou langage assembleur est, en programmation informatique, le langage de plus bas niveau qui représente le langage machine sous une forme lisible par un humain.
Nouveau!!: Informatique embarquée et Assembleur · Voir plus »
Automobile
Une automobileLe terme qualifie tout engin apte à se mouvoir seul, voir.
Nouveau!!: Informatique embarquée et Automobile · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Informatique embarquée et C (langage) · Voir plus »
C++
C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique.
Nouveau!!: Informatique embarquée et C++ · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Informatique embarquée et Coq (logiciel) · Voir plus »
Criticité
Dans le domaine des technologies de l'information, la criticité est la détermination et la hiérarchisation du degré d'importance et de la disponibilité d'un système d'information.
Nouveau!!: Informatique embarquée et Criticité · Voir plus »
Esterel (langage)
Esterel est le nom d'un langage de programmation conçu dans les années 1980 par un groupe dirigé par Gérard Berry, principalement en France et à l'université Columbia.
Nouveau!!: Informatique embarquée et Esterel (langage) · Voir plus »
Fiabilité
La fiabilité est l'étude des défaillances des systèmes — essentiellement des produits manufacturés (mécanique, électronique, génie civil…) —, et en particulier d'un point de vue statistique.
Nouveau!!: Informatique embarquée et Fiabilité · Voir plus »
Fichier binaire
Contenu du fichier binaire de la favicon de Wikipedia En informatique, un fichier binaire est un fichier qui n'est pas un fichier texte.
Nouveau!!: Informatique embarquée et Fichier binaire · Voir plus »
HEX (Intel)
HEX (Intel) est un format de fichier, utilisé pour structurer de l'information destinée à des microcontrôleurs, des EEPROM ou d'autres composants programmables.
Nouveau!!: Informatique embarquée et HEX (Intel) · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Informatique embarquée et Informatique · Voir plus »
Intel
Intel Corporation est une entreprise américaine fondée en 1968 par Gordon Moore, Robert Noyce et Andrew Grove.
Nouveau!!: Informatique embarquée et Intel · Voir plus »
Ion
+) a comme logique d'avoir la même structure électronique que le gaz noble (cadre rouge) le plus proche. Un ion est un atome ou un groupe d'atomes portant une charge électrique, parce que son nombre d'électrons est différent de son nombre de protons.
Nouveau!!: Informatique embarquée et Ion · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Informatique embarquée et Langage de programmation · Voir plus »
Lecteur de code-barres
Un lecteur de code-barres ou douchette de code-barres est un appareil électronique servant à lire les informations stockées sous la forme de code-barres.
Nouveau!!: Informatique embarquée et Lecteur de code-barres · Voir plus »
LEON
LEON est un processeur 32 bit RISC libre, compatible SPARC V8 (1987) développé par l'ingénieur suédois Jiri Gaisler pour répondre aux besoins de l'Agence spatiale européenne (processeurs endurcis pour les contraintes spatiales) en garantissant l'indépendance de l'Europe.
Nouveau!!: Informatique embarquée et LEON · Voir plus »
Ligne 14 du métro de Paris
La ligne 14 du métro de Paris est l'une des seize lignes du réseau métropolitain de Paris.
Nouveau!!: Informatique embarquée et Ligne 14 du métro de Paris · Voir plus »
Logiciel
Démarche de construction d'un logiciel. En informatique, un logiciel est un ensemble de séquences d’instructions interprétables par une machine et d’un jeu de données nécessaires à ces opérations.
Nouveau!!: Informatique embarquée et Logiciel · Voir plus »
Lustre (langage)
Lustre est un langage de programmation synchrone, déclaratif, et par flots.
Nouveau!!: Informatique embarquée et Lustre (langage) · Voir plus »
Matériel informatique
Un matériel informatique (en anglais) est une pièce ou composant d'un appareil informatique.
Nouveau!!: Informatique embarquée et Matériel informatique · Voir plus »
Méthode B
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel.
Nouveau!!: Informatique embarquée et Méthode B · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Informatique embarquée et Méthode formelle (informatique) · Voir plus »
Métro de Paris
Le métro de Paris est l'un des systèmes de transport en commun desservant la ville de Paris et son agglomération.
Nouveau!!: Informatique embarquée et Métro de Paris · Voir plus »
Meteor (métro)
Meteor est le nom de projet donné à la ligne 14 du métro parisien.
Nouveau!!: Informatique embarquée et Meteor (métro) · Voir plus »
Modeling and Analysis of Real Time and Embedded systems
Modeling and Analysis of Real Time and Embedded systems ou MARTE est le profil UML normalisé de l'OMG pour l'informatique temps réel embarquée et plus spécifiquement pour la modélisation des systèmes temps-réel et des systèmes cyber-physiques.
Nouveau!!: Informatique embarquée et Modeling and Analysis of Real Time and Embedded systems · Voir plus »
Motorola
Motorola Inc. était une entreprise américaine, fondée en 1928 par Paul Galvin et scindée en deux en 2011.
Nouveau!!: Informatique embarquée et Motorola · Voir plus »
Object Management Group
L'Object Management Group (OMG) est un consortium international à but non lucratif créé en 1989 dont l’objectif est de standardiser et promouvoir le modèle objet sous toutes ses formes.
Nouveau!!: Informatique embarquée et Object Management Group · Voir plus »
OpenRISC
OpenRISC est le projet phare originel de la communauté.
Nouveau!!: Informatique embarquée et OpenRISC · Voir plus »
Ordinateur personnel
L'ordinateur personnel (en anglais: personal computer ou PC) se confond aujourd'hui avec le micro-ordinateur ou ordinateur individuel: c'est un ordinateur destiné à l'usage d'une personne, de prix accessible et dont les dimensions sont assez réduites pour tenir sur un bureau.
Nouveau!!: Informatique embarquée et Ordinateur personnel · Voir plus »
PC/104
PC/104 (ou PC104), est une norme de PC embarqué créée par le PC/104 Consortium, qui définit une forme et une architecture.
Nouveau!!: Informatique embarquée et PC/104 · Voir plus »
Programmation synchrone
En informatique, la programmation synchrone est un paradigme de programmation conçu pour le domaine des systèmes réactifs embarqués.
Nouveau!!: Informatique embarquée et Programmation synchrone · Voir plus »
S-Record
S-Record (également connu sous le nom SREC ou S19) est un format de représentation de fichier binaire en ASCII développé dans les années 1970 par la société Motorola.
Nouveau!!: Informatique embarquée et S-Record · Voir plus »
Satellite artificiel
GOES-O avant son lancement en orbite géostationnaire. Un satellite artificiel est un objet fabriqué par l'être humain, envoyé dans l'espace à l'aide d'un lanceur et gravitant autour d'une planète ou d'un satellite naturel comme la Lune.
Nouveau!!: Informatique embarquée et Satellite artificiel · Voir plus »
Sémantique formelle
En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens.
Nouveau!!: Informatique embarquée et Sémantique formelle · Voir plus »
Scanner (informatique)
Un scanner, ou scanneur, aussi appelé numériseur à balayage, est un périphérique informatique qui permet de numériser des documents ou autres, comme les empreintes digitales par exemple.
Nouveau!!: Informatique embarquée et Scanner (informatique) · Voir plus »
Specification and Description Language
en Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l'Union internationale des télécommunications (ITU-T) sous la référence Z.100.
Nouveau!!: Informatique embarquée et Specification and Description Language · Voir plus »
Système embarqué
Un système embarqué est un système électronique et informatique autonome, souvent temps réel, spécialisé dans une tâche précise.
Nouveau!!: Informatique embarquée et Système embarqué · Voir plus »
Système temps réel
En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé.
Nouveau!!: Informatique embarquée et Système temps réel · Voir plus »
Télécommunications
Les télécommunications sont définies comme la transmission d’informations à distance en utilisant des technologies électronique, informatique, de transmission filaire, optique ou électromagnétique.
Nouveau!!: Informatique embarquée et Télécommunications · Voir plus »
Téléphone mobile
Un téléphone mobileTerme le plus générique et international; recommandé (ainsi que « téléphone cellulaire ») au Québec par l'Office québécois de la langue française.
Nouveau!!: Informatique embarquée et Téléphone mobile · Voir plus »
Temps de réponse (informatique)
Distribution des temps d'affichage (en seconde) d'articles de Wikipédia suivant les pays: le temps dépend du type de connexion (Adsl,...), mais aussi des tailles moyennes des pages lues Dans le domaine de l'informatique, le temps de réponse est une mesure de la performance d'une application interactive.
Nouveau!!: Informatique embarquée et Temps de réponse (informatique) · Voir plus »
Transport
lire en ligne.
Nouveau!!: Informatique embarquée et Transport · Voir plus »
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Nouveau!!: Informatique embarquée et UML (informatique) · Voir plus »
Véhicule (transport physique)
Train de conteneurs. Un véhicule est mais cet article se focalise sur ce qui concerne le transport physique, quel que soit le milieu (terre, air, mer) et les moyens mis en œuvre pour y arriver (force animale ou mécanique par exemple).
Nouveau!!: Informatique embarquée et Véhicule (transport physique) · Voir plus »
