0

我在“基于模型的嵌入式实时系统工程”一书中遇到了这一段

许多人认为基于模型的设计是克服这些限制的合适方法，尤其是在嵌入式系统领域。One of the expected advantages of this approach is the ability to exploit correct-by-construction incremental design processes,它依赖于广泛使用自动转换和合成，以及基于计算机的形式化正确性分析

您能否通过举一些例子来澄清突出显示的句子，因为我不明白这是什么意思？

4

1 回答 1

1

以下是 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.

于 2014-12-19T10:42:49.627 回答