SkyEye can be integrated with third-party languages or models

At present, SkyEye and SystemC have been integrated for timing simulation, and SkyEye and MATLAB or Simulink have been integrated for multi-domain co-simulation.

▲Figure-3: MATLAB and SkyEye connection diagram

Hardware modeling based on visual graphics

Hardware modeling based on visual graphics effectively reduces the communication cost between hardware engineers and software engineers. Software engineers do not depend on hardware engineers, but can make changes to the hardware configuration as needed. Through this visual graphics hardware modeling method, software personnel can quickly build a hardware model, and run and debug the same binary file as the real hardware on the hardware model, which can greatly shorten the product development cycle and improve the efficiency of software debugging.

Containerized simulation platform

The traditional model with virtual machines as the smallest resource scheduling unit has a series of problems such as low resource utilization and complex configuration. In order to adapt to the continuous development of cloud computing services, SkyEye supports Docker containerized deployment, encapsulating the correctly configured SkyEye environment into Docker, and users can directly load Docker to run the simulation environment. The Docker container can be opened and closed at any time, which is very suitable for dynamic expansion and shrinkage, making SkyEye flexibly deployed on the cloud platform. At the same time, through multiple containers, one machine can run multiple services, deploy multiple SkyEye Docker to simulate multiple processor architecture models. SkyEye Docker not only supports terminal mode output, but also supports Telnet mode, which can access the output data of the serial port through port mapping.

▲Figure-5: SkyEye Docker deployment principle

FPGA co-simulation

SkyEye realizes the co-simulation with virtual FPGA, which can support the verification method of UVM. The virtual FPGA is connected to SkyEye through the co-simulation bus, and users can independently control the simulation running speed and improve the test efficiency of larger-scale embedded systems. SkyEye itself is a multi-architecture functional level simulation platform, and has rich debugging functions, which can debug multi-core embedded systems.

▲Figure-5: SkyEye and virtual FPGA co-simulation

SkyEye missile simulation case

The simulation of the whole system environment is controlled by the Core i7 management combination to control a series of operational processes such as powering up and launching of the missile. The entire system environment includes the management combination Core i7 application, launch control system application, bomb-on-machine system application and fire control simulator under Windows.

▲Figure-7: SkyEye missile simulation case

SkyEye satellite simulation case

▲Figure-8: SkyEye satellite simulation case

SkyEye payload software simulation case

SkyEye realizes the full digital software simulation of the space station load software with embedded processors such as AT697 and Loongson, enabling the code to run virtual on the software simulation platform, and supporting test tasks such as code quality analysis.

▲Figure-9: SkyEye payload software simulation case

SkyEye large-scale avionics system simulation case

SkyEye provides an environment for building multi-machine multi-functional target systems for integrated avionics systems (ICP). It can be deployed in a distributed manner, and multiple airborne electronic sub-systems can be cross-linked through multiple transmission data buses to achieve information Measurement, acquisition, transmission, processing, monitoring and display functions, and complete tasks such as flight control, engine control, navigation, and performance management.

▲Figure-10: SkyEye large-scale avionics system simulation case

Target code coverage test tool

This product is a tool for object code testing based on simulation technology. Run the user's executable program on the built virtual target system to generate execution results, calculate code coverage, display statement coverage, branch coverage, function coverage and other information (support export coverage reports in HTML and Excel) . This tool supports the related requirements of DO-178B's A-level software target code test coverage, and also supports target code coverage tests of embedded software on various platforms, such as ARM, PowerPC, DSP, MIPS, SPARC, etc.

▲Figure-11: Target code coverage test tool

Simulation-based automatic fault injection tool

This product is an automated fault injection tool based on symbolic execution technology and simulation platform technology. Because it is based on simulation technology, the tool can flexibly inject any faults into any hardware; at the same time, it can also symbolize hardware based on symbolic execution technology, and accurately inject faults that can affect system behavior. The advantage of this tool is that it can avoid repeated injections and missed injections in traditional fault injection.

▲Figure-12: Interface of automatic fault injection tool based on simulation