References
- Akhter , S. and Roberts , J. 2006 . Multi‐Core Programming: Increasing Performance Through Software Multi‐threading , USA : Intel Press .
- Cantrill , B. and Bonwick , J. 2008 . “Real‐World Concurrency” . ACM Queue , 6 ( 5 ) : 16 – 25 .
- Hsiung , P. A. , Lin , S. W. , Tseng , C. H. , Lee , T. Y. , Fu , J. M. and See , W. B. 2004 . “VERTAF: An Application Framework for the Design and Verification of Embedded Real‐Time Software” . IEEE Transactions on Software Engineering , 30 ( 10 ) : 656 – 674 .
- Kodase , S. , Wang , S. and Shin , K. G. “Transforming Structural Model to Runtime Model of Embedded Real‐Time Systems” . Proceedings of the Design Automation and Test in Europe Conference . Munich, Germany. pp. 170 – 175 .
- Lee , E. A. 2006 . “The Problem with threads” . IEEE Computer , 39 ( 5 ) : 33 – 42 .
- Niz , D de and Rajkumar , R. “Time Weaver: A Software‐Through‐Models Framework for Embedded Real‐Time systems” . Proceedings of the International Workshop on Languages, Embedded Systems . Vol. 38 , pp. 133 – 143 . No7,
- OpenMP, 2008, Available http://www.openmp.org/. (http://www.openmp.org/.)
- Reinders , J. 2007 . Intel Threading Building Blocks: Outfitting C++ for Multi‐Core Processor Parallelism , USA : O'Reilly Media, Inc .
- Samek , M. 2002 . Practical StateCharts in C/C++ , CMP Books . imprint of CMP Media LLC
- Tsao , C.‐C. 2008 . “An Efficient Collaborative Verification Methodology for Multiprocessor Soc with Run‐Time Task Migration” . Taiwan : National Chung Cheng University . Master thesis
- Wang , F. and Hsiung , P. A. 2003 . “Efficient and User‐Friendly Verification” . IEEE Transactions on Computers , 51 ( 1 ) : 61 – 83 .
- Corresponding author. (Tel: 886–5–2720411; Fax: 886–5–2720856; Email: [email protected])