Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Distribution transformerA distribution transformer or service transformer is a transformer that provides the final voltage transformation in the electric power distribution system, stepping down the voltage used in the distribution lines to the level used by the customer. The invention of a practical efficient transformer made AC power distribution feasible; a system using distribution transformers was demonstrated as early as 1882. If mounted on a utility pole, they are called pole-mount transformers.
Batterie à flux redoxUne batterie à flux redox, batterie redox flow ou pile d'oxydoréduction est un type de batterie d'accumulateurs, dans lequel l'énergie est stockée dans deux solutions électrolytiques, pompées à travers la cellule électrochimique et stockées dans des réservoirs. L'innovation principale de ces systèmes en comparaison des batteries classiques réside dans le découplage entre la capacité énergétique et la puissance de la pile. Ces dispositifs sont en revanche assez encombrants (aussi bien en masse qu'en volume) et sont donc plutôt destinés à des applications stationnaires.
Batterie redox vanadiumUne batterie redox vanadium (ou batterie à oxydoréduction au vanadium) est un type de batterie rechargeable à flux qui utilise le vanadium dans différents états d'oxydation pour stocker l'énergie potentielle chimique. Un brevet allemand de batterie à flux au chlorure de titane avait déjà été enregistré et accepté en 1954, mais la plupart des développements ont été réalisés par les chercheurs de la NASA dans les années 1970.
