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 条
  • [1] Composing synchronization and real-time constraints
    Bergmans, L
    Aksit, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 36 (01) : 32 - 52
  • [2] Composing real-time systems
    Russell, Stuart
    Zilberstein, Shlomo
    IJCAI, Proceedings of the International Joint Conference on Artificial Intelligence, 1600, 1
  • [3] COMPOSING WITH REAL-TIME ANTIGRANULOCYTES SOUND
    TRUAX, B
    PERSPECTIVES OF NEW MUSIC, 1990, 28 (02) : 120 - 134
  • [4] ANALYSIS OF A SYNCHRONIZATION AND SCHEDULING DISCIPLINE FOR REAL-TIME TASKS WITH PREEMPTION CONSTRAINTS
    JEFFAY, K
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 295 - 305
  • [5] Real-time lip synchronization using wavelet network
    Chen, F
    Spinko, V
    Shi, D
    2005 International Conference on Cyberworlds, Proceedings, 2005, : 354 - 357
  • [6] Using real-time queueing theory to control lateness in real-time systems
    Lehoczky, John P.
    Performance Evaluation Review, 1997, 25 (01): : 158 - 168
  • [7] Real-time co-composing system using multi-aspects
    Balvig, JJ
    Miyachi, T
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 4, PROCEEDINGS, 2005, 3684 : 661 - 667
  • [8] Real-time constraints with the OCL
    Flake, S
    ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 425 - 426
  • [9] HLS: A framework for composing soft real-time schedulers
    Regehr, J
    Stankovic, JA
    22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2001, : 3 - 14
  • [10] Time synchronization in real-time distributed system
    Wei, Jian-Jun
    Kang, Ji-Chang
    Lei, Yan-Jing
    Chen, Fu-Long
    Zhongbei Daxue Xuebao (Ziran Kexue Ban)/Journal of North University of China (Natural Science Edition), 2007, 28 (05): : 412 - 416
12345