# Design of a System for Verification of Automatic Guided Vehicle Routes Using Computer Emulation
## 2 Materials and Methods
### Designing a System for Verification of AGV Routes Using Computer Emulation
#### 2.1.4 Design of Simulation Models Using Emulation  
The use of computer simulation in the planning and designing of logistics systems in factories is quite common today. However, its use ends with the verification of the design before the system is itself procured, implemented, and launched. Just as simulation can shorten the planning process and prevent design errors, emulation can help solve problems, especially when testing communication and control processes in manufacturing, logistics, and information systems. The use of emulation eliminates the need to physically deploy all manufacturing facilities to test the functioning of logistics and can eliminate errors before all machines and equipment are procured before the start of manufacturing. The algorithm for creating simulation models using emulation is shown in Figure 6.  
The first piece of information for the next decision-making process is information about whether there is currently a logistics system in the manufacturing company and whether we are dealing with its transformation or whether we are engaged in the creation of a new logistics system (Block 4.1). Based on this decision, we proceed with the following steps in the algorithm. The first option is to discuss the case when we are creating a new logistics system (Block 4.2). When creating a new logistics system, it is necessary to create a model of the logistics system (Block 4.2.1) as well as a model of the manufacturing system (Block 4.2.2) in parallel in the virtual environment of the simulation software. After the creation of the models of both systems and subsequent work with these models, the verification and validation of the models of both the logistics (Block 4.2.3) and manufacturingsystems (Block 4.2.4) are required. The successful verification and validation process is followed by the collection of data from both modelled systems (Blocks 4.2.5-4.2.6). The collected data are sent to the logistics and manufacturing system databases for the testing of the proposed systems (Blocks 4.2.7-4.2.8). The process of testing the proposed system is based on conducting several cycles of simulation experiments (Block 4.2.9). Subsequently, a parallel analysis of the results obtained from both created models as well as the logistics (Block 4.2.10) and manufacturing systems (4.2.11) is carried out, evaluating the statistics obtained and the selected sequence of steps within which a decision is taken on the correctness of the design of the logistics or manufacturing system, as well as on the purchase of equipment. If one or both of the suggested systems (Blocks 4.2.12-4.2.13) require additional adjustments, then an optimisation-based procedure (Block 4.2.14), subsequent model modification, and a re-conducting of the trials and testing should be performed (Block 4.2.15). After modifying the proposed solution, the algorithm returns to the process of collecting data on the analysed system (Block 4.2.16). After additional modifications, testing, and analysis of the system, which confirm the correctness of the proposed solution, it is possible to proceed to the purchase of equipment (Blocks 4.2.17-4.2.18). The delivery of the proposed machines and equipment is followed by the process of the implementation of individual elements of the system (Block 4.2.19). Then we ask if further testing is required (Block 4.2.20). After carrying out the above processes, if necessary, we follow the algorithm according to the steps that are already described in the transformation of the already existing logistics system (4.3). The transformation processes are described as follows. The transformation of the existing logistics system requires a parallel process both on the logistics side (Block 4.3.1) and the manufacturing-system side (Block 4.3.2). In these procedures, the decision module must decide whether all manufacturing machinery and equipment are present or if replacement is required by constructing virtual pictures of them in a simulation environment (Block 4.3.3) where they are checked and confirmed (Block 4.3.4).