The combination of ObjectGEODE and the LynxOS real-time kernel has provided embedded systems developers with a design and development environment and RTOS to fully address the needs of real-time software development teams. Thanks to LynxOS’s full-POSIX compliance, the user can develop the system on the host for behavioral debugging before going down to the target. The integration solution streamlines the embedded development process from the SDL design down to the final implementation of the target applications. Based on UML, SDL, MSC and ASN.1 standards, ObjectGEODE covers analysis, design, model checking, and full code and test generation phase. With a click of a button, it generates POSIX-compliant code that can be directly compiled to run on LynxOS.
Company: CS VERILOG
Product URL: Click here for more information