\n
Efficient System Simulation<\/h6>\nTime-compressed testing and powerful debugging tools<\/h3>\n
Prover iLock simulator provides efficient simulation of large sets of test cases, generated from generic PiSPEC definitions, against system designs created in Prover iLock. simulation of external code, imported into Prover iLock, is also supported. The simulation is time-compressed, which makes it considerably faster than execution on the target hardware platform. This makes it efficient to determine the functional correctness of a system during development, reduces development time and lets engineers spend their time more productively. All test cases and simulation results obtained can be exported, enabling hardware-in-the-loop testing to repeat all desktop simulation results.<\/p>\n
The simulator supports distributed systems, as well as both vital and non-vital code. The execution models in a distributed system can be mixed, making it possible to make a very accurate simulation of a distributed signaling system with communication links, remote office control systems, environment models (simulating behavior of wayside objects) and multiple platforms.<\/p>\n
Prover iLock simulator has a powerful built-in debugger, which makes it efficient to pin-point the cause of failing test cases, and to visualize the system\u2019s behavior. Simulation can also be interactive, where the user can control the input to the system from the graphical user interface of Prover iLock, and directly observe the response from the system. External components can be connected to the simulator using MQTT or OPC UA protocols.<\/p>\n
Prover iLock simulator benefits:<\/strong><\/p>\n\n- Efficient and accurate simulation of multiple signaling systems platforms<\/li>\n
- Supports both automated testing of test cases generated from PiSPEC and more traditional manual testing<\/li>\n
- Easy to use, built in debugger with ladder logic viewer and graphical visualization of the simulation state<\/li>\n
- Multiple signaling systems can be connected and simulated together via MQTT or OPC UA.<\/li>\n<\/ul>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div>
<\/div><\/div><\/div><\/div><\/div><\/div>