Aeronautics and Aerospace are areas rich in dependability requirements for aviation safety and security of software-intensive critical systems. Incidents and software-related failures in such systems challenge trust assumptions and demand verifiable levels of assurance. Our research in this domain has investigated existing systems failures, supported the development of new dependable systems, and continues to investigate analysis techniques for analysing and reasoning about such systems and failures. We have: