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 条
  • [31] An OCL extension for real-time constraints
    Flake, S
    Mueller, W
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 150 - 171
  • [32] Constraints for real-time digital filters
    Medel, JJ
    López, PG
    Rueda, AF
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2003, 37 (05) : 52 - 57
  • [33] Clustering and Constraints for Real-time Multicast
    Cheng, Wei
    Cheng, Shi
    Wu, Chanle
    Yue, Jun
    Ye, Gang
    He, Lian
    NAS: 2009 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, ARCHITECTURE, AND STORAGE, 2009, : 184 - 187
  • [34] Crowdsourcing under Real-Time Constraints
    Boutsis, Ioannis
    Kalogeraki, Vana
    IEEE 27TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2013), 2013, : 753 - 764
  • [35] Verifying a Real-Time Language with Constraints
    Bart, Anicet
    Truchet, Charlotte
    Monfroy, Eric
    2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), 2015, : 844 - 851
  • [36] Meeting real-time constraints in CAN
    Cavalieri, Salvatore
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2005, 1 (02) : 124 - 135
  • [37] METHODS FOR VALIDATING REAL-TIME CONSTRAINTS
    LIU, JWS
    HA, R
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 30 (1-2) : 85 - 98
  • [38] Real-Time Monitoring of Solar Modules Manufacturing
    Tsukrejev, Pavel
    Kruuser, Kaarel
    Gorbachev, Georgy
    Karjust, Kristo
    Majak, Juri
    INTERNATIONAL JOURNAL OF ENGINEERING RESEARCH IN AFRICA, 2020, 51 : 9 - 13
  • [39] The real-time multimedia synchronization mechanism for Internet
    Wei, XS
    Cao, DZ
    Xu, YX
    2000 IEEE ASIA-PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS: ELECTRONIC COMMUNICATION SYSTEMS, 2000, : 787 - 790
  • [40] Adaptive synchronization for real-time multimedia applications
    Osman, AM
    Darwish, AM
    Shaheen, SI
    MULTIMEDIA SYSTEMS AND APPLICATIONS-BOOK, 1999, 3528 : 202 - 213
12345