「組み込みリアルタイム システムのモデルベース エンジニアリング」の本で、この段落に出くわしました。
モデルベースの設計は、特に組み込みシステムの分野で、これらの制限を克服するための適切なアプローチであると多くの人に考えられています。One of the expected advantages of this approach is the ability to exploit correct-by-construction incremental design processes,自動化された変換と合成の広範な使用、および形式化されたコンピューターベースの正確性の分析に依存しています
強調表示された文の意味がわからなかったので、いくつか例を挙げて明確にしていただけませんか?
以下は、Eric Miotto の修士論文からの引用です。
モデル駆動工学におけるドメイン固有の科学的知識体系の統合における課題
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.