Aspect-Oriented Formal Specification for Real Time Cyber Physical Systems

被引：0
|
作者：
Zhang, Lichen [1 ]
机构：
[1] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China
来源：
2011 INTERNATIONAL CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND AUTOMATION (CCCA 2011), VOL III | 2010年
基金：
中国国家自然科学基金;
关键词：
Aspect-oriented; Real Time; Cyber Physical Systems; Formal Method; TCOZ;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper proposes an approach for specifying real time cyber physical systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. There is no requirement that different aspects of a system should be expressed in the same language. So the different aspects can be specified by one formal specification technique or different formal specification techniques. In this paper we provide some ideas for aspect oriented formal specification of real time cyber physical systems. real time cyber physical systems can be divided into different aspects, each aspect can be specified independently. After each aspect has been accomplished, it can be woven back to the system. This aspect oriented formal specification method simplifies the requirement analysis process of Real Time Cyber Physical Systems. A case study illustrates the specification process of aspect-oriented formal specification for real time cyber physical systems.
引用
收藏
页码：593 / 596
页数：4
相关论文
共 50 条
  • [1] A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 391 - 398
  • [2] 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
  • [3] Aspect-Oriented Formal Specification for Real-Time Systems
    Zhang, Lichen
    ADVANCES IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 28 : 13 - 32
  • [4] Aspect-Oriented QoS Specification for Cyber-Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 399 - 406
  • [5] 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
  • [6] Aspect-oriented formal specification for multimedia systems
    Zhang, Lichen
    Wang, Lihua
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 260 - +
  • [7] Aspect-oriented specification architectures for distributed real-time systems
    Katara, M
    Mikkonen, T
    SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 180 - 190
  • [8] 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
  • [9] 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,
  • [10] 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
12345