Intro
Preface
Contents
Acronyms
1 Introduction
1.1 Issues in Airborne Development
1.2 From Agile to DevOps
1.3 Constraints in Avionic Software Engineering
1.4 Structure
References
2 Background
2.1 Certification in Avionics: DO-178
2.2 Version Control with Git
2.3 Rust, a Modern Systems Programming Language
2.4 Test-Driven Development
2.5 Automation in DevOps
2.5.1 Continuous Integration
2.5.2 Continuous Delivery
2.5.3 Continuous Deployment
2.6 Behavior-Driven Development
2.7 Embedded Virtualization
2.7.1 Virtualization in Avionics

2.7.2 XtratuM Next Generation
2.8 Nix and Hydra
2.9 RTLola
References
3 Approach
3.1 Development
3.1.1 Avoiding Errors
3.1.2 Requirements from Plan to Verification
3.1.3 Unifying Build System and Package Manager
3.2 Operation
3.2.1 Operating Product and Toolchain
3.2.2 Monitoring the Product
3.2.3 Closing the Feedback Loop
3.3 Summary
References
4 Demonstrator and Evaluation
4.1 TAWS and openTAWS
4.2 Enhancing Hypervisor Partitions with Rust
4.3 Streamlining the Requirements Engineering with BDD
4.4 Continuous Integration

4.4.1 GitHub Actions
4.4.2 Nix and Hydra
4.5 Monitoring with RTLola
References
5 Outlook and Conclusion
5.1 Outlook
5.1.1 Modify Setup for Full XNG Compatibility
5.1.2 Allow for Code Coverage Analysis
5.1.3 RTLola and Rust for Resilience
5.1.4 Online Monitoring for Software Planning
5.1.5 Operating Development Grade Products in Real Aircraft
5.1.6 Shortcomings of Nix
5.1.7 Fulfilling More DO-178 Objectives
5.2 Conclusion
References