Completeness-Driven Development
Completeness-Driven Development
复制标题
完整性驱动的开发
DOI：
10.1007/978-3-642-33654-6_3
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
R. Wille
中科院分区：
文献类型：
--
作者：
R. Drechsler;M. Diepenbeck;D. Große;U. Kühne;H. M. Le;J. Seiter;M. Soeken;R. Wille
由于复杂性不断增加，嵌入式系统的设计面临着严峻的挑战。为了应对这些挑战，传统设计流程中添加了额外的抽象级别，从而产生了电子系统级 (ESL) 设计。除了抽象之外，系统开发过程中 ESL 的重点从设计转向验证，即检查系统是否按预期工作变得越来越重要。然而，在每个抽象级别，仅检查某些属性的有效性。完整性，即检查设计的整个行为是否已得到验证，通常不会持续检查。因此，错误可能会很晚才被发现，从而导致跨多个抽象级别的昂贵迭代。这大大延迟了嵌入式系统的最终确定。在这项工作中，我们提出了完整性驱动开发（CDD）的概念。基于适当的完整性度量，CDD 确保只有在当前抽象级别实现完整性后才能进入设计过程的下一步。这有助于及早发现错误并加速整个设计过程。通过一个例子来说明CDD的应用。
Due to the steadily increasing complexity, the design of embedded systems faces serious challenges. To meet these challenges additional abstraction levels have been added to the conventional design flow resulting inElectronic System Level(ESL) design. Besides abstraction, the focus in ESL during the development of a system moves from design to verification, i.e. checking whether or not the system works as intended becomes more and more important. However, at each abstraction level only the validity of certain properties is checked. Completeness, i.e. checking whether or not the entire behavior of the design has been verified, is usually not continuously checked. As a result, bugs may be found very late causing expensive iterations across several abstraction levels. This delays the finalization of the embedded system significantly. In this work, we present the concept ofCompleteness-Driven Development(CDD). Based on suitable completeness measures, CDD ensures that the next step in the design process can only be entered if completeness at the current abstraction level has been achieved. This leads to an early detection of bugs and accelerates the whole design process. The application of CDD is illustrated by means of an example.
登录
查看更多内容
TLM验证的功能资格
DOI：
--
发表时间：
2009
期刊：
2009 Design, Automation & Test in Europe Conference & Exhibition
影响因子：
--
作者：
N. Bombieri;F. Fummi;G. Pravadelli;M. Hampton;Florian Letombe
通讯作者：
Florian Letombe
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
B. Bailey;G. Martin;Andrew Piziali
通讯作者：
Andrew Piziali
安全属性列表的覆盖率分析
DOI：
--
发表时间：
2007
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Koen Claessen
通讯作者：
Koen Claessen
致力于分析 SystemC TLM 属性检查中的功能覆盖率
DOI：
--
发表时间：
2010
期刊：
High Level Design Validation and Test Workshop
影响因子：
--
作者：
H. M. Le;Daniel Große;R. Drechsler
通讯作者：
R. Drechsler
C 状态机的基于状态的分析和 UML 驱动的等效性检查
DOI：
--
发表时间：
2010
期刊：
International Workshop on Formal Methods and Agile Methods
影响因子：
--
作者：
Patrick Heckeler;J. Behrend;T. Kropf;Jürgen Ruf;W. Rosenstiel;R. Weiss
通讯作者：
R. Weiss