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.
Inquire About This Product
basic information
【Features (Partial)】 ■ Control Model Design - Data flow design using block diagrams - Static verification of design models ■ Simulation - Execution in single-step, multi-step, and continuous-step modes - Simulation execution at the block level ■ Formal Verification of Safety Properties - Graphical description and automatic verification of safety properties - Provision of verification libraries ■ C Code Generation - Code generation in inline and call modes - Generation of ASAP2 files ■ Modeling Tool Interface - Import using a "modular" approach - S-function conversion of SCADE models ■ Compiler Verification Kit - Test set to verify that automatically generated C code from KCG compiles correctly with the target compiler - C sample code and test cases for subsets of KCG and model patterns ■ Code Performance Analysis - Estimation of worst-case execution time and calculation of maximum stack usage for the generated code based on the combination of target CPU and cross-compiler *For more details, please refer to the PDF document or feel free to contact us.
Price range
Delivery Time
Applications/Examples of results
For more details, please refer to the PDF document or feel free to contact us.
catalog（2）
Download All Catalogs
Company information
While focusing on MBD and CAE technologies and their surrounding technical areas, we specialize in building virtual products and collaborative design processes through cutting-edge digital engineering. We form partnerships with leading-edge software vendors of the era, providing a comprehensive engineering environment necessary to solve our customers' increasingly diverse and complex challenges using top-level domestic digital engineering technologies, including thermal fluid analysis, structural analysis, electromagnetic field analysis, acoustic analysis, system simulation, optimization technologies, embedded software development environments, and simulation process data management (SPDM) solutions.
![[Pipe Construction Estimation Software] Start for just ¥3,800 per month! Rakuou Series](https://image.www.ipros.com/public/product/image/2f7/2000816013/IPROS18020142165036151620.png?w=280&h=280)
![[Zen Nippon Publishing Co., Ltd. Cost Estimation Practical Manual Included] Cost Estimation and Quotation Software "Raku-O"](https://image.www.ipros.com/public/product/image/3a3/2000817044/IPROS79418523393103167300.png?w=280&h=280)