Abstract
Cyber-physical systems (CPSs) are physical and engineered systems whose operations are monitored. Cyber-physical systems having quality-ofservice (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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lee, E.A.: Cyber physical systems: Design challenges. In: Proc. of the 11th IEEE Int Symp on Object Oriented Real-Time Distributed Computing, pp. 363–369. IEEE, Piscataway (2008)
Svizienis, A., Laprie, J.C., Randell, B.: Dependability of computer systems: Fundamental concepts, terminology, and examples. Technical report, LAAS-CNRS (October 2000)
Kiczales, G., et al.: Aspect-Oriented Programming. In: Proceedings of the 11th European Conference on Object-Oriented Programming (June 1997)
Frolund, S., Koistinen, J.: Quality of Service Specification in Distributed Object Systems. IEE/BCS Distributed Systems Engineering Journal 5, 179–202 (1998)
Aldawud, T.E., Bader, A.: A UML Profile for Aspect Oriented Modeling. In: Workshop on AOP (2001)
Clemente, P.J., Sánchez, F., Perez, M.A.: Modelling with UML Component-based and Aspect Oriented Programming Systems. In: Seventh International Workshop on Component-Oriented Programming at European Conference on Object Oriented Programming (ECOOP), Málaga, Spain, pp. 1–7 (2002)
Lavazza, G.Q., Venturelli, M.: Combining UML and formal notations for modeling real-time systems. ACM SIGSOFT Software Engineering Notes 26, 196–206 (2001)
Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Joint Revised Submission, OMG Document realtime/03-05-02 edition (May 2003)
OMG. UMLTM Profile for Schedulability, Performance, and Time Specification formal (January 02, 2005), http://www.omg.org/cgi-bin/doc?
Wehrmeister, M.A., Freitas, E.P., Pereira, C.E., et al.: An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Santorini Island, Greece, May 7-9, pp. 428–432. IEEE Computer Society, Los Alamitos (2007)
Jahanian, F., Mok, A.K.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. 12(9), 890–904 (1986)
Frolund, S., Koistinen, J.: QML: A Language for Quality of Service Specification. Technical Report HPL-98-10 (February 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, L. (2011). QoS Specification for Cyber-Physical Systems. In: Lin, S., Huang, X. (eds) Advances in Computer Science, Environment, Ecoinformatics, and Education. CSEE 2011. Communications in Computer and Information Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23324-1_53
Download citation
DOI: https://doi.org/10.1007/978-3-642-23324-1_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23323-4
Online ISBN: 978-3-642-23324-1
eBook Packages: Computer ScienceComputer Science (R0)