Integration of cyber physical system based on aspect oriented

被引：0
|
作者：
Qiu, Wei [1 ]
Zhang, Lichen [2 ]
机构：
[1] School of Computer Science, Jiaying University, Meizhou, Guangdong, 514015, China
[2] Faculty of Computer Science, Guangdong University of Technology, Guangzhou, Guangdong, 510090, China
来源：
Journal of Convergence Information Technology | 2012年 / 7卷 / 22期
关键词：
Unified Modeling Language - Embedded systems - Real time systems - Formal languages - Formal methods;
D O I：
10.4156/jcit.vol7.issue22.43
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：368 / 375
相关论文
共 50 条
  • [1] Towards Aspect Based Components Integration Framework for Cyber-Physical System
    Ali, Sadia
    Hafeez, Yaser
    Bilal, Muhammad
    Saeed, Saqib
    Kwak, Kyung Sup
    CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 70 (01): : 653 - 668
  • [2] Formal Support for Cyber Physical System Specification Using Aspect-Oriented Approach
    Zhang, Lichen
    2011 TENTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES), 2011, : 31 - 35
  • [3] Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL
    Zhang, Lichen
    2013 IEEE 15TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2013 IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (HPCC_EUC), 2013, : 2104 - 2111
  • [4] Aspect-Oriented QoS Specification for Cyber-Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 399 - 406
  • [5] A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 391 - 398
  • [6] Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    ADVANCES IN COMPUTER SCIENCE, ENVIRONMENT, ECOINFORMATICS, AND EDUCATION, PT II, 2011, 215 : 316 - 322
  • [7] Aspect-Oriented Approach to Modeling Railway Cyber Physical Systems
    Zhang, Lichen
    2013 12TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2013, : 29 - 33
  • [8] Aspect-oriented development method for nonfunctional characteristics of cyber physical systems based on MDA approach
    Zhang, L. (zhanglichen1962@163.com), 1600, Academy Publisher (07):
  • [9] Aspect-Oriented Formal Specification for Real Time Cyber Physical Systems
    Zhang, Lichen
    2011 INTERNATIONAL CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND AUTOMATION (CCCA 2011), VOL III, 2010, : 593 - 596
  • [10] Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems
    Wasicek, Armin
    Derler, Patricia
    Lee, Edward A.
    2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
12345