3Han A.H,Young-Si Hwang,Young-Ho An,So-Jin Lee,Ki-Seok Chung. Virtual ARM Platform for embedded system de velopers[A].2008.586592.
4Macariu G,Cretu V. Timed Automata Model for Compo nent-Based Real-Time Systems[A].2010.121-130.
5Feliachi A,Le Guen H. Generating Transition Probabilities for Automatic Model-Based Test Generation[A].2010.99-102.
6Rotithor H.G. Embedded Instrumentation for Evaluating Task Sharing Performance in a Distributed Computing System[J].Instru mentation and Measurement IEEE Transactions on,1992,(04):316-321.
7Nebut C,Fleurey, F,Le Traon, Y,Jezequel,J.-M. Automatic test generation: a use case driven approach[J].IEEE Transactions on Software Engineering,2006,(03):140-155.
