Model Driven Verification

Model Driven Verification in Safety Critical Systems

Softwares spreading by developing and representing themselves in every corner of life, applications that its issue is human have been needed since 1980s.  It is controlled with the availability, reliability and similar criteria, statutory standards the development of  this kind of software entrusted with the human life due to liability assumed by the software. Today, engineers are still struggling  with the obligation of software development which is human reproduction but doesn’t make a mistake in the face of the habit of making mistakes due to the nature of human beings. This struggle has become an indispensable acquisition of engineers in the human-error equation by implementation and revealing new methods to find and prevent errors of  in safety-critical software development cycle.

Model-driven validation is a adaptation of model-driven development method requirements to be revised. It enables to. It enables to detect the emergence of possible errors in later stages of the project before currently entering the system, without losting in requirements clusters with thousands of lines by performing manual reviews through understandable and executable models   their effects and benefits on safety-critical software developed .  in the DO-178B guidance of model-driven verification error detection based on the experiences of the author by giving a general definition of model-driven development in this notofication..

The rest of the article http://www.uyms.org.tr/2011/bildiriler/b42.pdf