Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
| Hi-index | 0.09 |
The author describes the new Boeing 777 which incorporates the most advanced avionics of any commercial US aircraft and is the first plane of any kind to be almost entirely computer-designed. The 230,000 kg plane is the biggest twin-engine aircraft ever to fly, uses the largest and most powerful jet engines ever developed, and is the first US-built commercial transport to rely completely on fly-by-wire controls