This paper describes the developement of a Design Issue Management System (DIMS). Although human factors engineering has been recognized as one of the critical activities in the design of man-machine system, it has been hardly successful nor effective in practice to cope with the hyman factors requirements by regulations. For supporting the human factors engineering in nuclear power plants, DIMS ahs three major modules : Design Requirements Data Base, Design Issue Tracking System, Issue Evaluation Support System. These modules function as formal verification architects that the licensing authority requests for verifying the safety of the equip- ment and facilities in nuclear power plants. An example application to an operator support system, named Critical Function Monitoring System, during its independent review of the human factors shows the usage and the benefit of DIMS.