Codesign requires closed-system specifications

被引:0
|
作者
Mikkonen, T [1 ]
机构
[1] Nokia Telecommun, FIN-33101 Tampere, Finland
关键词
closed-system specification; partitioning; formal methods;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Codesign. requires the possibility to focus on the collective behaviors of components constituting the systems early in the development, before determining their implementation techniques. An. approach is therefore needed where early phases of the development ignore restrictions imposed by the available implementation techniques but place the emphasis on collaboration of different parties. Upon, composing such a high-level specification, design decisions with respect to component architecture, their responsibilities, and implementation techniques can be based on solid justification. This results in enhanced confidence on the quality of the resulting system.
引用
收藏
页码:2968 / 2974
页数:7
相关论文
共 50 条