Software for Critical Aviation Systems Presented to National

Software for Critical Aviation Systems • Presented to: National Workshop on Aviation Software Systems • By: Hal Pierson • Date: 5 October 2006 Federal Aviation Administration

Air Traffic Control • Manage Air Traffic Control System – Safe, Secure, and Efficient traffic flow – Evolving System-of-Systems – More COTs components • Drivers of Change – – – Growth in Traffic UAVs in National Airspace Possibility of Terrorism Cost of Certification Rapidly Evolving Technology Software for Critical Aviation Systems 5 October 2006 Federal Aviation Administration 2

Aircraft Certification • Certify Aircraft – Design, manufacture, operations, and maintenance – Autonomous vehicles • Drivers of Change – Competitive pressures, • New technologies – materials & avionics • Fly-by-wire – – Increased complexity - Aircraft & Airspace, Increased dependency on IT, Increased connectivity, and More COTs components Software for Critical Aviation Systems 5 October 2006 Federal Aviation Administration 3

Needs of Aviation Software Systems • Decrease cost of certification – Systematic reuse • Software Factories – Automated code verification • Support system evolution – Incremental certification • Evolvable Safety/Security argument • Better understand emergent system behavior – Relationship among design, operations, and maintenance – Autonomous Systems – Impact of COTs properties Software for Critical Aviation Systems 5 October 2006 Federal Aviation Administration 4