Multiprocessor Software Verification
With Zeligsoft CE™ comprehensive verification capabilities play an important role in your project’s success. Software development for heterogeneous multiprocessor and SoC platforms is a complex task. It can become extremely difficult to verify whether devices have enough resources, capacity and the correct set of services to run their intended applications. Through its system-centric awareness for underlying software layers, CE automates the process of ensuring dependencies are satisfied.
Verify system architecture at design time
CE verifies the architecture of your entire system, or any part of your system, at any time within your design cycle. By verifying at the beginning and throughout the development cycle, costly mistakes can be avoided, integration risks are greatly minimized, and project outcomes become predictable.
Automated verification of dependencies per target environment
CE automatically verifies aspects of your multiprocessor software application and platform to ensure that component definitions, applications, logical platforms, and configurations adhere to the specifications of your target environment. Automated verification catches violations immediately, keeping developers on the path to success.
Standards-specific verification
CE verifies the application and aspects of your embedded system against industry-specific standards, such as MIL-STD-188-100 series for long-haul and tactical communications systems (Military Standards), ITU (International Telecommunications Union) standards (E & G) and those of other system design standards bodies.
For additional details, download the 
Zeligsoft CE 3.4 data sheet.
Print Page