| Security embedded system is responsible for bank’s safety. To achieve a higher level of security, system demands more functionality and more rigorous business logic. Then system becomes hugeness and complexity, and the development work is rather difficulty. Under this background, this paper studies the overall scheme, designs and implements the security embedded system by workflow net and reuse technology.Based on the analysis of system requirements, this paper designs the overall schema of the security embedded system. System requirements are detailed by four aspects: business requirement, user requirement, functional requirement and performance requirement. Then two types of realization ideas that one is based on bank security subsystem and the other is based on the bank internal functional partition are compared according to the requirements, from which the overall scheme is formed. The workflow net is used to design the business process of the system, and a theorem that a sound WF-net is still sound after adding constraints is put forward. With the graphical, mathematical representation and verification tools, the workflow net is better than normal flow diagram to analysis the complex process in this paper. Through the comparison of the workflow net of common scene and bank security system, the theorem is raised. YAWL Editor is used to analyze the workflow net, and the consequence shows the correctness of system business process and the theorem. By using reuse technology in hardware and software, the security embedded system is designed and implemented with less difficult. In hardware, reuse technology is used in the hardware circuit board, the main processor and the peripheral circuit. In software, reuse technology is used in analysis, design and code.Through the statistics or analysis of system size, workload and cost, the experiments in bank branches, the effects of overall scheme, workflow net and reuse technology to reduce the difficulty of design and implement and to improve the quality of the system has been confirmed. |