О корректных по построению пошаговых процессах проектирования

Question

Я пересек этот абзац в книге "Основанное на моделях проектирование встроенных систем реального времени"

Основанный на моделях проект рассматривается многими как подходящий подход для преодоления этих ограничений, особенно в области встроенных систем. One of the expected advantages of this approach is the ability to exploit correct-by-construction incremental design processes, которые опираются на широкое использование автоматизированных преобразований и синтеза, а также формализованного компьютерного анализа правильности

Не могли бы вы уточнить выделенное предложение, приведя несколько примеров, потому что я не понял, что это значит?

Answer 1

Ниже приводится цитата из магистерской диссертации Эрика Миотто:

Проблемы интеграции предметно-ориентированных и научных совокупностей знаний в модельно-управляемой инженерии

the point is that the system is already implemented and it is needed to return again to its design and construction to fix the problems – this can be very expensive and there is the risk to introduce new unanticipated bugs. We can name this approach as construction by-correction– a working system is obtained by means of repeated constructions and verification.On the contrary, in other mature engineering fields, the system (let it be a bridge or a chip) is not immediately built, but it is first modeled using patterns and solutions apt for its class, devised so to permit the verification of relevant properties. This way it is not necessary to build the system to detect its defects, but they can be found in the design phase, with the great advantage that it is known exactly how to deal with them and that further problems will be properly detected thanks to the employed patterns and solutions. The construction of a system is started only when the design meets all the requirements (to a certain degree). We can refer to this approach as correctness-by-construction – a working system is built by means of proven modeling and design.