QoS Specification for Cyber-Physical Systems

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 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. Finally, we illustrate QoS aspect-oriented specification via an example of real-time fire alarm system.