Abstract: The technology of unmanned vehicle is one of the key areas of current scientific research.However,the deve-lopment of decision system is facing the problem of insufficient security.Aiming at this problem,this paper presented a solution framework of verification-driven unmanned vehicle’s decision system based on automatic code generation.We introduced the technology of model checking to model the environment of unmanned vehicles.So this framework can find the defects that hide deeply during the designing process.With this method,the problem of insufficient security can be solved,which can also reduce the maintenance cost by synchronizing the process of software development with secu-rity checking.The tool named UNMANNED_RULE_EDIT (URE) was also implemented based on this framework.Now the tool has been tentatively used in an unmanned vehicle to support their work.

Key words: Unmanned vehicles,Decision system,Model checking,Environment modeling