Together we can address critical certification use cases with mixed criticality by joining SYSGO‘s PikeOS RTOS and Hypervisor with Ansys' SCADE tool features for the transportation market.
We create a joint technology approach for the following Ansys products:
- SCADE Suite code generation for PikeOS environments (single- and multi-core)
- Support of SCADE multi-rate applications
No modification needed before compilation is being done due to PikeOS awareness of the exporting tools
Automatic generation of C wrapping code and PikeOS configuration file
Fully configurable by user via Python programming language
The suite is validated up to the highest standards for Safety projects significantly reducing efforts and costs
The source code does not need to be reviewed after the model verification has been performed within the graphical representation
Various certified communication stacks such as CIP or the SAFe-VX API in order to communicate with the outside world when the simulation is being used within the PikeOS environment
OpenGL ES accelerated graphics by means of SCADE display which is a versatile graphics design and development environment for embedded Human Machine Interfaces (HMI)
SCADE Architect provides a functional and architectural system modelling design platform for systems with high dependability requirements and verification in a SysML-based environment
Ansys provides a model-based embedded software development and simulation environment with a built-in automatic code generator to accelerate embedded software development projects. System and software engineers use Ansys SCADE solutions to graphically design, verify and automatically generate critical systems and software applications with high dependability requirements. SCADE solutions are highly interoperable and can be easily integrated, allowing for development optimization and increased communication among team members.