Logical-time contracts for reactive embedded components

被引：2
|
作者：
Maraninchi, F [1 ]
Morel, L [1 ]
机构：
[1] VERIMAG, Ctr Equat, F-38610 Gieres, France
来源：
PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE | 2004年
关键词：
D O I：
10.1109/EURMIC.2004.1333355
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The "Design by contract" principle has been applied successfully in the context of object-oriented designs, since it was first proposed by B. Meyer for Eiffel. We claim that a simple pre-post specification is not sufficient for reactive software. We introduce a model of reactive components suitable for reactive embedded software, and a notion of logical-time contract for the specification and use of these components in synchronous compositions.
引用
收藏
页码：48 / 55
页数：8
相关论文
共 50 条
  • [21] ADA - THE LANGUAGE OF LOGICAL COMPONENTS
    MOREL, E
    ONDE ELECTRIQUE, 1985, 65 (02): : 130 - 132
  • [22] Model based testing of real-time embedded components
    Kone, O.
    2006 IEEE-TTTC International Conference on Automation, Quality and Testing, Robotics, Vol 2, Proceedings, 2006, : 42 - 46
  • [23] NAVY MICROWAVE COMPONENTS CONTRACTS
    COHEN, ED
    MICROWAVE JOURNAL, 1978, 21 (08) : 26 - 26
  • [24] Multilevel Contracts for Trusted Components
    Messabihi, Mohamed
    Andre, Pascal
    Attiogbe, Christian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (37): : 71 - 85
  • [25] NAVY MICROWAVE COMPONENTS CONTRACTS
    COHEN, ED
    MICROWAVE JOURNAL, 1979, 22 (02) : 30 - 31
  • [26] Schedule verification and synthesis for embedded real-time components
    Bhaduri, Purandar
    NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 137 - +
  • [27] Software components services for embedded real-time systems
    Luders, Frank
    Flemstrom, Daniel
    Wall, Anders
    5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 278 - +
  • [28] NAVY MICROWAVE COMPONENTS CONTRACTS
    COHEN, ED
    MICROWAVE JOURNAL, 1977, 20 (01) : 24 - 25
  • [29] NAVY MICROWAVE COMPONENTS CONTRACTS
    COHEN, ED
    MICROWAVE JOURNAL, 1978, 21 (01) : 38 - 39
  • [30] Assembling components with behavioural contracts
    Carrez, C
    Fantechi, A
    Najm, E
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 2005, 60 (7-8): : 989 - 1022
12345