safety-critical system
121Copenhagen Metro — Info Owner Metroselskabet Locale Greater Copenhagen Denmark …
122Redundancy (engineering) — In engineering, redundancy is the duplication of critical s of a system with the intention of increasing reliability of the system, usually in the case of a backup or fail safe. In many safety critical systems, such as fly by wire aircraft, some… …
123B-Method — The B method is method of software development based on B, a tool supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean Raymond Abrial in France and… …
124Ariane 5 Flight 501 — Flight 501, which took place on June 4, 1996, was the first, and unsuccessful, test flight of the European Ariane 5 expendable launch system. Due to a malfunction in the control software the rocket veered off its flight path 37 seconds after… …
125Saspo — Dies ist der fünfte Teil der Liste Abkürzungen/Luftfahrt. Liste der Abkürzungen Teil 1 A A Teil 2 B–D B; C; D Teil 3 E–K …
126Abkürzungen/Luftfahrt/S–Z — Dies ist der fünfte Teil der Liste Abkürzungen/Luftfahrt. Liste der Abkürzungen Teil 1 A A Teil 2 B–D B; C; D Teil 3 E–K E; F; G; H; I; J; …
127Computer security — This article is about computer security through design and engineering. For computer security exploits and defenses, see computer insecurity. Computer security Secure operating systems Security architecture Security by design Secure coding …
128Capstone Program — The Capstone Program is an FAA funded safety program located in Alaska, primarily focusing on rural areas of the state. The program concentrates on increasing safety in aviation through technology and making the process of integrating that… …
