@inproceedings{097bf2ca9a0c4bb4a308241148e24e0f,
title = "Aspect-oriented QoS specification for cyber-physical systems",
abstract = "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. 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, RTL and ERTL. An examples depicts how aspect-oriented methods can be used.",
keywords = "Aspect-Oriented, Cyber Physical Systems, ERTL, QoS",
author = "Lichen Zhang and Jifeng He",
year = "2011",
doi = "10.1007/978-3-642-24106-2\_51",
language = "英语",
isbn = "9783642241055",
series = "Communications in Computer and Information Science",
pages = "399--406",
booktitle = "Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Proceedings",
note = "5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011 ; Conference date: 22-09-2011 Through 24-09-2011",
}