Programming from specifications
Programming from specifications
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
IEEE Transactions on Software Engineering
The Use of Proof in Diversity Arguments
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
On Diversity, and the Elusiveness of Independence
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
ClawZ: cost-effective formal verification for control systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
The problem addressed in this paper is the increasing time and cost of developing critical software. In particular the tried and trusted software development processes for safety critical software are becoming untenable because of the costs involved. Model Based Development, in the general, offers a solution to reducing time and cost in software development. Unfortunately the requirement of independence of verification can negate any gains and indeed lead to more cost. The approach advocated in this paper is to employ the "guess and verify" paradigm in the context of automatic code generation to enable automated verification that is independent of the code generation. The approach is illustrated by the development of an automated verification capability for a commercial automatic code generator. A research topic on metadata for automatic code generators is suggested.