Composing modules with synchronization and real-time constraints using category theory

被引：0
|
作者：
Varma, N [1 ]
Sinha, P [1 ]
机构：
[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada
来源：
CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY | 2003年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Nowadays, complex real-time/embedded software systems are typically being composed out of reusable and mostly deployable components. The paper presents our initial efforts in developing a formal framework which utilizes the concepts of category theory to provide for a rigorous, consistent and traceable composition of modules with constraints. A case study illustrates our proposed framework for composition.
引用
收藏
页码：1279 / 1282
页数：4
相关论文
共 50 条
  • [41] Pragmatic nonblocking synchronization for real-time systems
    Hohmuth, M
    Härtig, H
    USENIX ASSOCIATION PROCEEDINGS OF THE 2001 USENIX ANNUAL TECHNICAL CONFERENCE, 2001, : 217 - 230
  • [42] CLOCK SYNCHRONIZATION IN DISTRIBUTED REAL-TIME SYSTEMS
    KOPETZ, H
    OCHSENREITER, W
    IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (08) : 933 - 940
  • [43] Synchronization protocols in distributed real-time systems
    Sun, J
    Liu, J
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1996, : 38 - 45
  • [44] Adaptive synchronization in real-time multimedia applications
    Liu, CD
    Xie, Y
    Lee, MJ
    Saadawi, TN
    MULTIMEDIA COMMUNICATIONS AND VIDEO CODING, 1996, : 147 - 156
  • [45] Task synchronization for distributed real-time applications
    Mourlas, C
    Halatsis, C
    NINTH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS, PROCEEDINGS, 1997, : 184 - 190
  • [46] PRESCHEDULING FOR SYNCHRONIZATION IN HARD REAL-TIME SYSTEMS
    TRIPATHI, SK
    NIRKHE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 563 : 102 - 108
  • [47] The Construction of an English Network Course Based on the Theory of Hybrid Real-Time Synchronization Algorithm
    Wang, Mingqing
    Xie, Kui
    International Journal of Web-Based Learning and Teaching Technologies, 2024, 19 (01)
  • [48] Compadres: A lightweight component middleware framework for composing distributed real-time embedded systems with real-time Java']Java
    Hu, Jie
    Gorappa, Shruti
    Colmenares, Juan A.
    Klefstad, Raymond
    MIDDLEWARE 2007, PROCEEDINGS, 2007, 4834 : 41 - +
  • [49] Real-time queueing theory
    Lehoczky, JP
    17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1996, : 186 - 195
  • [50] Modelling of real-time constraints using SOL for embedded systems design
    Alkhodre, A
    Babau, JP
    Schwarz, JJ
    COMPUTING & CONTROL ENGINEERING JOURNAL, 2002, 13 (04): : 189 - 196
12345