• System design and partitioning<

• Software planning process

• Software development and verification processes

• Configuration management process

• Quality assurance process

• Safety assessments

• Certification liaison process

• Model-based development of airborne systems

• Simulation of complex systems

• Model-based software design and automatic code generation

• Model-based verification and testing

• Creation, management, and verification of life cycle data items

• Software integration and hardware/software integration

• Creation of PSACs, software development plans, software verification plans and software model standards

• Qualification of tools

• Analysis and improvement of life cycle processes