Architecture d'un systèmeL'architecture d'un système est un modèle conceptuel d'un système qui décrit ses propriétés externes et internes et la manière dont elles se projettent dans ses éléments, leurs relations et les principes de conception et d'évolution du système .
HiérarchieLe concept de hiérarchie tiré des vocables grec hieros (« sacré ») et archos (« commencement », ou « ce qui est premier ») ou plus certainement arkhê (« pouvoir », ou « commandement ») s'applique à plusieurs domaines, physiques ou moraux. Définition économique : fait qu'un individu A puisse obtenir d'un individu B qu'il serve les intérêts de son supérieur plutôt que ses intérêts propres. Étymologiquement parlant, la notion de hiérarchie est basée sur le caractère plus ou moins sacré attribué à une personne, un concept ou une chose.
Computation tree logicComputation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realized. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers, which determine if a given artifact possesses safety or liveness properties. For example, CTL can specify that when some initial condition is satisfied (e.
Militarisation de l'espacevignette|droite|Satellite de télécommunications Syncom IV de l'armée américaine placé en orbite géosynchrone. Il fut envoyé dans l'espace en 1985 lors de la guerre froide. La militarisation de l'espace (à ne pas confondre avec sa sous-catégorie, arsenalisation de l'espace) désigne le développement d'armes et de techniques militaires dans l'espace. Le terme apparaît pour la première fois dans les années 1960 dans le cadre de la guerre froide et de la course à l'espace, qui opposait les deux superpuissances que furent les États-Unis et l'URSS, pour faire référence à l'envoi de satellites espions dans l'espace.
Traité sur l'espaceLe traité sur l'espace ou traité sur les principes régissant les activités des États en matière d'exploration et d'utilisation de l'espace extra-atmosphérique, y compris la Lune et les autres corps célestes est un traité international ratifié en 1967 relatif à l'exploration et à l'utilisation de l'espace extra-atmosphérique. Ce traité a permis de poser les fondements juridiques de l'exploration de l'espace à une époque où les États-Unis et l'URSS étaient tous deux lancés dans l'exploration de l'espace et la course à la Lune.
General Purpose Input/Outputthumb|Test de contrôle d'une hélice via les GPIO d'une Arduino et une platine d'expérimentation Les ports GPIO (General Purpose Input/Output, littéralement Entrée-sortie à usage général) sont des ports d'entrées-sorties très utilisés dans le monde des microcontrôleurs, en particulier dans le domaine de l'électronique embarquée, qui ont fait leur apparition au début des années 1980. Elles sont placées sur un circuit électronique afin de communiquer avec des composants électroniques et circuits externes.
