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

2. Federal Aviation Administration 2 Software for Critical Aviation Systems 5 October 2006 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

3. Federal Aviation Administration 3 Software for Critical Aviation Systems 5 October 2006 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

4. Federal Aviation Administration 4 Software for Critical Aviation Systems 5 October 2006 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