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.
Model checkingIn computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash). In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language.
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.
Flow batteryA flow battery, or redox flow battery (after reduction–oxidation), is a type of electrochemical cell where chemical energy is provided by two chemical components dissolved in liquids that are pumped through the system on separate sides of a membrane. Ion transfer inside the cell (accompanied by flow of electric current through an external circuit) occurs through the membrane while both liquids circulate in their own respective space. Cell voltage is chemically determined by the Nernst equation and ranges, in practical applications, from 1.
Vanadium redox batteryThe vanadium redox battery (VRB), also known as the vanadium flow battery (VFB) or vanadium redox flow battery (VRFB), is a type of rechargeable flow battery. It employs vanadium ions as charge carriers. The battery uses vanadium's ability to exist in a solution in four different oxidation states to make a battery with a single electroactive element instead of two. For several reasons, including their relative bulkiness, vanadium batteries are typically used for grid energy storage, i.e.
