Development support tool "Ansys SCADE Suite"
Safety-critical embedded control software development support tool
"Ansys SCADE Suite" is a tool that supports the development of safety-critical embedded control software using model-based development methods. It utilizes a graphical language with strict semantics to achieve a consistent software development process, from "software design and verification (semantic checks, requirements-based testing, model test coverage analysis, formal verification, worst-case execution time analysis, stack size analysis) to automatic C code generation," all within a single tool environment. 【Features】 ■ An integrated development environment suitable for software development ■ A rich set of features in the editor environment ■ Certification-capable automatic C code generation for safety-critical industries ■ Support for multi-rate software ■ Support for multi-core and many-core ECUs, etc. *For more details, please refer to the PDF materials or feel free to contact us.
- Company:IDAJ
- Price:Other