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 条
  • [1] Abstraction events' complete logical-time
    Dong, Hong
    Sun, Yongqiang
    Ruan Jian Xue Bao/Journal of Software, 1999, 10 (11): : 1169 - 1173
  • [2] LOGICAL-TIME MACROMODELING ON TRANSIENT PROCESSES IN THE MATRIX LSI FRAGMENTS
    BUBENNIKOV, AN
    BUSHUEV, GV
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1986, 29 (11): : 49 - 60
  • [3] Components and contracts for embedded software
    Li, SY
    Li, XJ
    Wu, J
    12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 19 - 24
  • [4] Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages
    Park, Heejong
    Li, Zhenmin
    Malik, Avinash
    Salcic, Zoran
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2016, 84 (01): : 163 - 180
  • [5] Times square - marriage of real-time and logical-time in GALS and synchronous languages
    Park, HeeJong
    Malik, Avinash
    Salcic, Zoran
    2014 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2014,
  • [6] Times Square – Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages
    Heejong Park
    Zhenmin Li
    Avinash Malik
    Zoran Salcic
    Journal of Signal Processing Systems, 2016, 84 : 163 - 180
  • [7] Logical Time for Reactive Software
    Lohstroh, Marten
    Lee, Edward A.
    Edwards, Stephen A.
    Broman, David
    2023 CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK, CPS-IOT WEEK WORKSHOPS, 2023, : 313 - 318
  • [8] COCONES: An approach for components and contracts in embedded systems
    Berbers, Y
    Rigole, P
    Vandewoude, Y
    Van Baelen, S
    COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 209 - 231
  • [9] Safety Contracts for Timed Reactive Components in SysML
    Dragomir, Iulia
    Ober, Iulian
    Percebois, Christian
    SOFSEM 2014: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2014, 8327 : 211 - 222
  • [10] Logical specification of reactive and real-time systems
    Lano, K
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
12345