5L.T.Clark,E.J.Hoffillan,J.Miller,et al.An embedded 32-bit microproeessor core or low-power and high-performance applications[J].In:Proeeeding of IEEE Journal of Solid-State Circuits.San Francisco.2001.US:IEEE Press,2001:1599-1608.
6Luolei,Zhu Minyuan.A Formal Semantic Definition of DEVIL[M].US:ACM Sigplan Notices,2003.
7LynuxWorks,Inc.Using the Microprocessor MMU for Software Protection in Real-Time Systems[Z].2004.
8Lynux works,Inc.Advanced Design Tools for Safety Critical Systems SafeAir Ⅱ Final Report[Z].2004.
