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. Le terme désigne aussi bien le matériel informatique que le logiciel utilisé. Ses ressources sont généralement limitées spatialement (encombrement réduit) et énergétiquement (consommation restreinte). L'un des premiers systèmes modernes embarqués reconnaissables a été le Apollo Guidance Computer en 1967, le système de guidage de la mission lunaire Apollo, développé par Charles Stark Draper du Massachusetts Institute of Technology.
Système d'exploitation embarquéUn système d'exploitation embarqué est un système d'exploitation pouvant être installé sur un système embarqué. Ce système d'exploitation est conçu avec des spécificités à gérer afin de répondre à des besoins spécifiques au type de système embarqué. Un système d'exploitation est un programme qui gère le matériel. Il sert d'intermédiaire entre l'application logicielle et le matériel informatique (périphériques, capteurs, moteurs...).
Linux embarquéLinux embarqué (en anglais Embedded Linux) désigne un système d'exploitation dérivé de Linux et adapté à un système embarqué. Il existe de nombreuses versions de Linux embarqués adaptés à différents types de matériels (téléphones portables, set-top boxes, boîtiers Internet (ADSL, Fibre ...), dispositifs lecteurs multimédia sur TV, etc). Contrairement aux versions de Linux destinées aux ordinateurs personnels et aux serveurs, les différents systèmes Linux embarqués sont conçus pour des systèmes aux ressources limitées.
Global System for Mobile CommunicationsGlobal System for Mobile Communications (GSM) (historiquement « Groupe spécial mobile ») est un standard numérique de seconde génération (2G) pour la téléphonie mobile. Le groupe de travail chargé de définir cette norme a été établi en 1982 par la Conférence européenne des administrations des postes et télécommunications (CEPT). Le GSM est un prédécesseur des normes de communication 3G. Elle a été spécifiée et mise au point par l'ETSI (Institut Européen des Normes de Télécommunication) pour la gamme de fréquences des .
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Enhanced Data Rates for GSM EvolutionEnhanced Data Rates for GSM Evolution (EDGE acronyme anglais signifiant aussi « tranchant (d'une lame) ») est une norme de téléphonie mobile, une évolution du GPRS qui est elle-même une extension du GSM avec rétrocompatibilité. Il est connu aussi sous les noms Enhanced GPRS (EGPRS), IMT Single Carrier (IMT-SC) ou Enhanced Data rates for Global Evolution. EDGE est considéré comme une technologie pré-3G et fait partie des solutions 3G de l'UIT.
General Packet Radio ServiceLe General Packet Radio Service ou GPRS est une norme (protocole réseau) pour la téléphonie mobile dérivée du GSM et complémentaire de celui-ci, permettant un débit de données plus élevé. On le qualifie souvent de 2,5G ou 2G+. Le G est l'abréviation de génération et le 2,5 indique que c'est une technologie à mi-chemin entre le GSM (deuxième génération) et l'UMTS (troisième génération). Le GPRS est une extension du protocole GSM : il ajoute par rapport à ce dernier la transmission par paquets.
TélécommunicationsLes 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. Ce terme a un sens plus large que son acception équivalente officielle « communication électronique ». Elles se distinguent ainsi de la poste qui transmet des informations ou des objets sous forme physique.
Téléphone mobileUn téléphone mobile, téléphone portable ou téléphone cellulaire est un appareil électronique de télécommunication, normalement portatif, offrant une fonction de téléphonie mobile et pouvant être utilisé sur de grandes distances sous réserve d'une couverture réseau. En Belgique, en Nouvelle-Calédonie et à La Réunion, le terme « GSM » (pour Global System for Mobile Communications, un standard de communication de téléphonie mobile) est couramment utilisé pour désigner un téléphone mobile.
Orange (entreprise)Orange est une société française de télécommunications. Elle comptait à la fin de 2019 près de de clients dans le monde, des chiffres en hausse par rapport à ceux affichés en 2018. En 2019, l'entreprise est leader ou second opérateur dans 75 % des pays européens où elle est implantée et dans 83 % des pays en Afrique et au Moyen-Orient. Orange était à l'origine une entreprise de télécommunications britannique devenue, en 1999, la filiale de Mannesmann, puis en 2000 celle du groupe France Télécom, entreprise publique.