In the dynamic landscape of military technology, policy acts as a catalyst for innovation, driving investment, research, and development towards strategic objectives.
Is the reuse of avionics software feasible or even recommendable in automotive applications? This was one of the questions the research project VirtuOS tried to straighten out.
The RTCA and its new standard, DO-178C, will bring safety-critical software development into the modern era, adding support for advanced techniques such as UML and mathematical modeling, object-oriented programming and formal methods