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 条
  • [21] Composing Vocal Distortion: A Tool for Real-Time Generation of Roughness
    Gentilucci, Marta
    Ardaillon, Luc
    Liuni, Marco
    COMPUTER MUSIC JOURNAL, 2018, 42 (04) : 26 - 40
  • [22] Design of time synchronization method for real-time EPON
    Qu, Junsuo
    Telkomnika - Indonesian Journal of Electrical Engineering, 2013, 11 (07): : 3517 - 3522
  • [23] SYNCHRONIZATION AND TIME TAGGING IN DISTRIBUTED REAL-TIME SIMULATION
    KATZ, A
    ALLEN, DM
    DICKSON, JS
    AIAA FLIGHT SIMULATION TECHNOLOGIES CONFERENCE AND EXHIBITION: A COLLECTION OF TECHNICAL PAPERS, 1989, : 259 - 261
  • [24] SYNCHRONIZATION AND TIME TAGGING IN DISTRIBUTED REAL-TIME SIMULATION
    KATZ, A
    ALLEN, DM
    DICKSON, JS
    JOURNAL OF AIRCRAFT, 1990, 27 (09): : 846 - 848
  • [25] A precise time synchronization method for real-time schedulers
    Kikutani, Tatsushi
    Yakoh, Takahiro
    ELECTRONICS AND COMMUNICATIONS IN JAPAN, 2018, 101 (12) : 21 - 29
  • [26] A precise time synchronization method for real-time schedulers
    Kikutani T.
    Yakoh T.
    Yakoh, Takahiro (yakoh@sd.keio.ac.jp), 2018, Institute of Electrical Engineers of Japan (138) : 695 - 702
  • [27] Improved reliability of public transportation using real-time transfer synchronization
    Nesheli, Mahmood Mahmoodi
    Ceder, Avishai
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2015, 60 : 525 - 539
  • [28] Specification of real-time interaction constraints
    Nielsen, B
    Ren, SP
    Agha, G
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 206 - 214
  • [29] Multiprocessor Synchronization of Periodic Real-Time Tasks Using Dependency Graphs
    Shi, Junjie
    Ueter, Niklas
    von der Brueggen, Georg
    Chen, Jian-Jia
    25TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2019), 2019, : 279 - 292
  • [30] CONSTRAINTS ON REAL-TIME COMPUTER SYSTEMS
    CUNNINGT.A
    ERICSSON TECHNICS, 1969, 25 (02): : 59 - &
12345