QoS specification for cyber-physical systems

Communications in Computer and Information Science

Volumn 215 CCIS, Issue PART 2, 2011, Pages 329-334

  Zhang, Lichen ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Aspect Oriented; QoS; Real Time systems

Indexed keywords

ASPECT-ORIENTED; CROSSCUTTING CONCERN; CYBER-PHYSICAL SYSTEMS; ENGINEERED SYSTEMS; META MODEL; PHYSICAL ENVIRONMENTS; QOS MODELING; QOS SPECIFICATIONS; SYSTEM'S PERFORMANCE;

COMPUTER SCIENCE; EDUCATION COMPUTING; FIRE ALARM SYSTEMS; FORMAL METHODS; QUALITY OF SERVICE; REAL TIME SYSTEMS; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 80052361806     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-23324-1_53     Document Type: Conference Paper

References (12)

1. 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)
2. Svizienis, A., Laprie, J.C., Randell, B.: Dependability of computer systems: Fundamental concepts, terminology, and examples. Technical report, LAAS-CNRS (October 2000)
3. Kiczales, G., et al.: Aspect-Oriented Programming. In: Proceedings of the 11th European Conference on Object-Oriented Programming (June 1997)
4. Frolund, S., Koistinen, J.: Quality of Service Specification in Distributed Object Systems. IEE/BCS Distributed Systems Engineering Journal 5, 179-202 (1998)
5. Aldawud, T.E., Bader, A.: A UML Profile for Aspect Oriented Modeling. In: Workshop on AOP (2001)
6. 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)
7. Lavazza, G.Q., Venturelli, M.: Combining UML and formal notations for modeling realtime systems. ACM SIGSOFT Software Engineering Notes 26, 196-206 (2001)
8. 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)
9. OMG. UMLTM Profile for Schedulability, Performance, and Time Specification formal (January 02, 2005), http://www.omg.org/cgi-bin/doc?
10. 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)
11. Jahanian, F., Mok, A.K.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. 12(9), 890-904 (1986)
12. Frolund, S., Koistinen, J.: QML: A Language for Quality of Service Specification. Technical Report HPL-98-10 (February 1998)