A TAOPN approach to modeling and scheduling cyber-physical systems

2013 International Conference on Information Science and Applications, ICISA 2013

Volumn , Issue , 2013, Pages

  Qian, Zhilin ^a,b   Yu, Huiqun ^a  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SHANGHAI KEY LABORATORY OF COMPUTER SOFTWARE EVALUATING AND TESTING   (China)

Author keywords

aspect oriented method; CPS; modeling; Petri net; scheduling

Indexed keywords

ASPECT-ORIENTED; CONTINUOUS ANALYSIS; CONTINUOUS PETRI NET; CPS; CYBER PHYSICAL SYSTEMS (CPSS); MODELING AND SCHEDULING; SCHEDULABILITY ANALYSIS; SCHEDULING ANALYSIS;

EMBEDDED SYSTEMS; INFORMATION SCIENCE; PETRI NETS; SCHEDULING; WEAVING;

MODELS;

EID: 84883745514     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICISA.2013.6579475     Document Type: Conference Paper

References (12)

1. E. A. Lee, "Cyber Physical Systems: Design Challenges, " in proceedings of 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, 2008, pp. 363-369
2. K. J. Lin and M Panahi, "A real-time service-oriented framework to Support Sustainable Cyber-Physical Systems, " in proceedings of 8th IEEE International conference on Industrial Informatics (INDIN), Osaka, 2010, pp. 15-21
3. R. Alur, C. Courcoubetis, T. Henzinger and P. Ho. "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, " Hybrid Systems, vol. 736, Lecture Notes in Computer Science, pp. 209-229, 1993
4. R. David and H. Alla, "On Hybrid Petri Nets, " Journal of Discrete Event Dynamic Systems. vol. 11, no. 1-2, pp. 9-40, 2001
5. R. David and H. Alla, "Autonomous and Timed Continuous Petri Nets, " Advances in Petri Nets, vol. 674, Lecture Notes in Computer Science. pp. 71-90, 1993
6. R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets, 2nd ed, Heidelberg: Springer-Verlag. 2010
7. G. Kiczales, "Aspect Oriented Programming, " in Proceedings of the European Conference on Object-Oriented Programming(ECOOP), Heidelberg: Springer-Verlag, 1997
8. Z. L. Qian, H. Q. Yu, "An AOcontPN modeling approach to Cyberphysical system, " Journal of East China University of Science and Technology, in press
9. D. Xu and K. Nygard, "Threat-driven modeling and verification of secure software using aspect-oriented Petri nets, " IEEE Transactions on Software Engineering, vol. 32, no. 4, pp. 265-278, 2006
10. N. H. Yang, H. Q. Yu, H. Sun and Z. L. Qian, "Modeling Activity Diagrams with Extended Petri Nets, " Intelligent Automation and Soft Computing, vol. 17, no. 5, pp. 559-569, 2011
11. A. D. Stoyenko, C. Hamacher and R. C. Holt, "Analyzing hard real-time programs for guaranteed schdulability, " IEEE Transactions on software engineering, vol. 17, no. 8, pp. 737-750, 1991
12. D. Xu, X. He and Y. Deng, "Compositional schedulability analysis of realtime systems using time Petri nets, " IEEE Transactions on software engineering, vol. 28, no. 10, pp. 984-996, 2002.