A fact: you will never get an exact match between the expected and the actual value while handling floats. Just because a requirement indicates the expected value to be 24.37, does not mean that the computer will throw out 24.37....

Paragraph 4.4.2 of DO-178B states, "Upon successful completion of verification of the software product, the compiler is considered to be acceptable for that product." Isn't it too late in the game by then? Determining if the compiler is acceptable...

My friend and colleague, Yogeesh, put me on to it ... If you have any question on programing and didn't know who to ask, here's a saviour. Just go to http://stackoverflow.com and ask. No question is too trivial. At the...

There are a few things that aspects that needs to be made clear with regards to Data Coupling and Control Coupling as defined in DO-178B. a) It is not possible to test Data and Control coupling in Unit Level Testing....

Is there any reason why Level A and Level B software should not be developed and verified identically? Hazardous / Severe-Major failure condition includes elements such as, "a large reduction in safety margins", "flight crew cannot be relied on...