Yunwei Dong

Work place: School of Computer Science and Technology, Northwestern Polytechnical University, Xi’an, China



Research Interests: Computer systems and computational processes, Computer Architecture and Organization, Embedded System, Data Structures and Algorithms


Yunwei Dong was born in 1968. He is a professor and PH. D student Supervisor service in School of Computer Science and Engineering at Northwestern Polytechnical University, and the vice-director of Shaanxi provincial Key Lab for Embedded System technology (KLEST). His main research interests include modeling, verification, analysis, simulation and testing methodologies for Large-Scale Complex Embedded system.

Author Articles
Code Formal Verification of Operation System

By Yu Zhang Yunwei Dong Huo Hong Fan Zhang

DOI:, Pub. Date: 8 Dec. 2010

With the increasing pressure on non-function attributes (security, safety and reliability) requirements of an operation system, high–confidence operation system is becoming more important. Formal verification is the only known way to guarantee that a system is free of programming errors. We research on formal verification of operation system kernel in system code level and take theorem proving and model checking as the main technical methods to resolve the key techniques of verifying operation system kernel in C code level. We present a case study to the verification of real-world C systems code derived from an implementation of μC/OS – II in the end.

[...] Read more.
Other Articles