|
|
DO-178C and COTS: challenges and opportunities for avionics software
By Jakob Gärtner, Esterel
This article describes how the new DO-178C safety standard for airborne software will clarify the framework for modern software-development methodologies and the related tools. A combination of model-based design and verification and formal methods based on qualified tools is the state of the art and is fully supported by the new standard.
To view full content, please register to (new users of the portal only), respectively log-in, if you are already registered.
| |||||||||||








