Software verification and validationIn software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a software system meets specifications and requirements so that it fulfills its intended purpose. It may also be referred to as software quality control. It is normally the responsibility of software testers as part of the software development lifecycle.
Complexity theory and organizationsComplexity theory and organizations, also called complexity strategy or complex adaptive organizations, is the use of the study of complexity systems in the field of strategic management and organizational studies. It draws from research in the natural sciences that examines uncertainty and non-linearity. Complexity theory emphasizes interactions and the accompanying feedback loops that constantly change systems. While it proposes that systems are unpredictable, they are also constrained by order-generating rules.
Système complexevignette|Visualisation sous forme de graphe d'un réseau social illustrant un système complexe. Un système complexe est un ensemble constitué d'un grand nombre d'entités en interaction dont l'intégration permet d'achever un but commun. Les systèmes complexes sont caractérisés par des propriétés émergentes qui n'existent qu'au niveau du système et ne peuvent pas être observées au niveau de ses constituants. Dans certains cas, un observateur ne peut pas prévoir les rétroactions ou les comportements ou évolutions des systèmes complexes par le calcul, ce qui amène à les étudier à l'aide de la théorie du chaos.
Commandes de vol (avion)thumb|Commandes de vol d'un Eurofighter. Les commandes de vol d'un avion englobent l'ensemble des dispositifs dans le poste de pilotage et les liaisons mécaniques, hydrauliques ou électriques qui permettent d'agir sur les gouvernes, et de contrôler ainsi l'attitude et la trajectoire de l'avion. Les manettes de commande des moteurs, la commande de la roulette avant ou arrière de l'avion, et les automatismes de pilotage présents sur certains avions, en font également partie.
Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.
Injection trans-lunairevignette|redresse=1.2|Dans ce schéma, l'injection trans-lunaire est située au point rouge. L’injection trans-lunaire (ITL) (en Trans-lunar injection, abrégé en TLI) est une manœuvre propulsive utilisée pour placer un vaisseau spatial en orbite autour de la Terre sur une trajectoire qui le fera arriver à une orbite lunaire. Un vaisseau spatial effectue une injection trans-lunaire pour commencer un transfert lunaire à partir d'une orbite de stationnement circulaire basse autour de la Terre.
Contrôleur de volUn contrôleur de vol est une personne qui aide au vol spatial en travaillant dans des centres de contrôle de mission tels que le Centre de contrôle de mission de la NASA ou le Centre européen d'opérations spatiales de l'ESA. Les contrôleurs de vol travaillent sur des consoles informatiques et utilisent la télémétrie pour surveiller en temps réel les différents aspects techniques d'une mission spatiale. Chaque contrôleur est un expert dans un domaine spécifique et communique constamment avec d'autres experts.
Failure mode and effects analysisFailure mode and effects analysis (FMEA; often written with "failure modes" in plural) is the process of reviewing as many components, assemblies, and subsystems as possible to identify potential failure modes in a system and their causes and effects. For each component, the failure modes and their resulting effects on the rest of the system are recorded in a specific FMEA worksheet. There are numerous variations of such worksheets.
Centre de contrôle de missionLe centre de contrôle de mission est une structure qui rassemble les moyens nécessaires à la gestion opérationnelle d'un satellite artificiel, d'une sonde spatiale explorant le système solaire ou l'accomplissement de la mission d'un vol habité. Les principales agences spatiales (NASA, Agence spatiale européenne, Roscosmos), qui développent un grand nombre de missions, disposent des centres de contrôle de mission les plus importants. Les plus connus sont le Centre spatial Lyndon B.
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Commandes de vol électriquesLes commandes de vol électriques (en anglais, fly-by-wire ou FBW) sont un système qui remplace les traditionnelles commandes de vol mécaniques d'un avion, par un ensemble de dispositifs incluant des équipements électroniques et dans certains cas informatiques. On parle alors également de commandes de vol numériques. En aviation, les commandes de vol sont le système faisant le lien entre le pilote et les gouvernes aérodynamiques, qui permettent de modifier l'attitude et la trajectoire de l'avion.
Arbre de défaillancesthumb|Exemple d'arbre de défaillances. Un arbre de défaillances ou ADD (aussi appelé arbre de pannes ou arbre de fautes) est une technique d’ingénierie très utilisée dans les études de sécurité et de fiabilité des systèmes statiques (un système statique est un système dont la défaillance ne dépend pas de l'ordre de défaillance de ses composants), ainsi que dans l'analyse de cause racine (ACR). Cette méthode consiste à représenter graphiquement les combinaisons possibles d’événements qui permettent la réalisation d’un événement indésirable prédéfini.
