The so-called experts will tell you it can’t be done; it is not possible to create bug-free software, at least at low-cost for a non-trivial application. Now it seems, we have our first documented case of ostensibly zero-defect software.
Continue reading “Correctness by Construction: Praxis Scores!” »
Until Agile, software processes in general focused on larger projects. When applied to smaller projects they can become cumbersome and inefficient. Agile has demonstrated its value on relatively small projects, but it does not scale up well, and in my opinion some of its core tenets are incompatible with safety-critical development.
As I’ve said before, MC/DC analysis is the bane of Level-A development under DO-178B. It is not well understood, either by developers or by verification engineers. Automated analysis tools will perform the analysis, but that may not occur until verification has begun. Fixes at this stage are far less desirable than avoiding issues in the first place. So how do we ensure that MC/DC issues do not occur in the first place?
