Knowledge Resource Center for Ecological Environment in Arid Area
Constraint-based design-space exploration and model synthesis | |
Neema, S; Sztipanovits, J; Karsai, G; Butts, K | |
通讯作者 | Neema, S |
来源期刊 | EMBEDDED SOFTWARE, PROCEEDINGS
![]() |
ISSN | 0302-9743 |
出版年 | 2003 |
卷号 | 2855页码:290-305 |
英文摘要 | An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing model components in the design process. This paper describes a tool suite, which has been developed for component-based model synthesis. The DESERT tool suite can be interfaced to existing modeling and analysis environments and can be inserted in various, domain specific design flows. The modeling component of DESERT supports the modeling of design spaces and the automated search for designs that meet structural requirements. DESERT has been introduced in automotive applications and proved to be useful in increasing design productivity. |
类型 | Article ; Proceedings Paper |
语种 | 英语 |
国家 | USA |
收录类别 | CPCI-S ; SCI-E |
WOS记录号 | WOS:000187498400019 |
WOS类目 | Computer Science, Software Engineering ; Computer Science, Theory & Methods |
WOS研究方向 | Computer Science |
资源类型 | 期刊论文 |
条目标识符 | http://119.78.100.177/qdio/handle/2XILL650/144496 |
作者单位 | (1)Vanderbilt Univ, Inst Software Integrated Syst, Nashville, TN 37235 USA;(2)Ford Motor Co, Dearborn, MI 48124 USA |
推荐引用方式 GB/T 7714 | Neema, S,Sztipanovits, J,Karsai, G,et al. Constraint-based design-space exploration and model synthesis[J],2003,2855:290-305. |
APA | Neema, S,Sztipanovits, J,Karsai, G,&Butts, K.(2003).Constraint-based design-space exploration and model synthesis.EMBEDDED SOFTWARE, PROCEEDINGS,2855,290-305. |
MLA | Neema, S,et al."Constraint-based design-space exploration and model synthesis".EMBEDDED SOFTWARE, PROCEEDINGS 2855(2003):290-305. |
条目包含的文件 | 条目无相关文件。 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。