Safety-Critical Systems: The Next Generation

Society is becoming increasingly dependent on the safe and secure operations of digital devices and software embedded in consumer, industrial, and military systems. This special issue features three outstanding articles that illustrate some of the advanced design and certification concepts using cyber-physical systems from the domains of medical devices, driverless cars, and avionics as well as the importance and difficulty of learning from experience.