Using CHARTER tools to develop a safety-critical avionics application in Java
Gosse Wedzinga, K. Wiegmink · 2012
Safety-critical digital avionics systems are becoming increasingly complex. Consequently, exhaustive testing may be impossible or impractical to demonstrate that the software of these systems complies with airworthiness requirements. Software development assurance in accordance with prescribed development standards is an accepted approach, but increases cost.