tailieunhanh - Model-Based Design for Embedded Systems- Part 6

Model-Based Design for Embedded Systems- P6: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 26 Model-Based Design for Embedded Systems Proceedings of the Tenth International Symposium on Hardware Software Codesign pp. 187-192 New York 2002. ACM. 12. K. Richter M. Jersak and R. Ernst. A formal approach to mpsoc performance verification. IEEE Computer 36 4 60-67 2003. 13. L. Thiele S. Chakraborty and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proceedings Symposium on Circuits and Systems volume 4 pp. 101-104 Geneva Switzerland 2000. 14. L. Thiele E. Wandeler and N. Stoimenov. Real-time interfaces for composing real-time systems. In International Conference on Embedded Software EMSOFT 06 pp. 34-43 Seoul Korea 2006. 15. K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40 2-3 117-134 1994. 16. E. Wandeler and L. Thiele. Interface-based design of real-time systems with hierarchical scheduling. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium RTAS pp. 243-252 San Jose CA April 2006. 17. E. Wandeler. Modular performance analysis and interface-based design for embedded realtime systems. PhD thesis ETH Zurich 2006. 18. E. Wandeler A. Maxiaguine and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. Real-Time Systems 29 2 205-225 March 2005. 19. E. Wandeler A. Maxiaguine and L. Thiele. Performance analysis of greedy shapers in real-time systems. In Design Automation and Test in Europe DATE pp. 444-449 Munich Germany March 2006. 20. E. Wandeler and L. Thiele. Optimal TDMA time slot and cycle length allocation. In Asia and South Pacific Desing Automation Conference ASP-DAC pp. 479-484 Yokohama Japan January 2006. 21. E. Wandeler and L. Thiele. Real-Time Calculus RTC Toolbox. http Rtctoolbox 2006. 22. E. Wandeler and L. Thiele. Workload correlations in multi-processor hard real-time systems. Journal of Computer and System Sciences 73 2 207-224 March 2007. 2 SystemC-Based .