Software for Critical Aviation Systems

1
Software for Critical Aviation Systems

• Presented to National Workshop on Aviation
  Software Systems
• By Hal Pierson
• Date 5 October 2006

2
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
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
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