2011 | OriginalPaper | Buchkapitel
Aspect-Oriented QoS Specification for Cyber-Physical Systems
verfasst von : Lichen Zhang, Jifeng He
Erschienen in: Convergence and Hybrid Information Technology
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.