By Topic

QoS Modeling for Cyber-Physical Systems Using Aspect-Oriented Approach

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Jingyong Liu ; Fac. of Comput. Sci. & Technol., Guangdong Univ. of Technol., Guangzhou, China ; Lichen Zhang

Cyber-physical systems (CPSs) are physical and engineered systems whose operations are monitored. Cyber-physical systems having quality-of-service (QoS) requirements driven by the dynamics of the physical environment in which they operate. The development of cyber physical is challenging due to conflicting quality-of-service (QoS) constraints that must be explored as trade-offs among a series of alternative design decisions. The ability to model a set of possible design alternatives and to analyze and simulate the execution of the representative model helps derive the correct set of QoS parameters needed to satisfy cyber physical system requirements. The description, control, management, consultation and guarantee of QoS are very complex and challenging work, Quality of Service(QoS) is directly related to system's performance. This paper proposes an aspect-oriented QoS modeling method based on UML and formal methods. We use an aspect-oriented profile by the UML meta-model extension, and model the crosscutting concerns by this profile. In this paper, we build the aspect-oriented model for specifying Quality of Service (QoS) based on the combination of UML and RTL. We believe that the two types of notation, graphical (semi-formal) and, respectively, formal, can efficiently complement each other and provide the basis for an aspect-oriented specification approach that can be both rigorous and practical for QoS modeling. An examples depicts how aspect-oriented methods can be used.

Published in:

2011 Second International Conference on Networking and Distributed Computing

Date of Conference:

21-24 Sept. 2011