Codesign requires closed-system specifications

被引:0
作者
Mikkonen, T [1 ]
机构
[1] Nokia Telecommun, FIN-33101 Tampere, Finland
来源
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS | 1999年
关键词
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
相关论文
共 8 条
  • [1] Chandy K.M., 1988, Parallel Program Design: A Foundation
  • [2] JARVINEN HM, 1990, 12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P63, DOI 10.1109/ICSE.1990.63604
  • [3] Kurki-Suonio R, 1999, FR ART INT, V51, P1
  • [4] Abstractions of distributed cooperation, their refinement and implementation
    Kurki-Suonio, R
    Mikkonen, T
    [J]. SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 94 - 102
  • [5] THE TEMPORAL LOGIC OF ACTIONS
    LAMPORT, L
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
  • [6] LAMPORT L, 1997, 1997030A DIG SYST RE
  • [7] MIKKONEN T, 1999, PUBLICATIONS TAMPERE, V249
  • [8] PROGRAM SLICING
    WEISER, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) : 352 - 357