Shaojie Wang

Learn More
This paper describes automation methods for device driver development in IP-based embedded systems in order to achieve high reliability, productivity, reusability and fast time to market. We formally specify device behaviors using event driven finite state machines, communication channels, declaratively described rules, constraints and synthesis patterns. A(More)
This paper presents a correct-by-construction synthesis method for generating operating system based device drivers from a formally specified device behavior model. Existing driver development is largely manual using an ad-hoc design methodology. Consequently, this task is error prone and becomes a bottleneck in embedded system design methodology.Our(More)
Based on both construction methods of the epidemic models and mechanism of the worm propagation, a new SIRS model for virus propagation is derived. By using the theory of differential equations, the propagation regularity of worm virus is discussed and the threshold of removing virus is gained. The analysis techniques of the mathematical model provide(More)
This paper presents an intra-frame coding mode decision algorithm for MPEG-4 to H.264/AVC transcoding in integer transform domain. The edge direction inside a block is estimated in the integer transform domain to reduce candidate prediction modes. Based on the analysis of the variance of the sixteen subblock DC coefficients inside a macroblock,(More)
  • 1