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, 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】 ■ Integrated development environment suitable for software development ■ Rich functionality in the editor environment ■ Certification-capable automatic C code generation for safety-critical industries ■ Support for multi-rate software ■ Support for multi-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 KCG subsets and model patterns ■ Code Performance Analysis - Estimation of worst-case execution time and calculation of maximum stack usage for the generated code with combinations 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 have formed partnerships with leading software vendors of the era to provide top-level digital engineering technologies in Japan, including solutions for 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. We offer a comprehensive engineering environment necessary to solve the diverse and complex challenges faced by our customers. Official Blog: https://www.idaj.co.jp/blog/ IDAJ YouTube Channel: https://www.youtube.com/channel/UCGCd8pB5Lwq_noIoxpgJrrw/featured X: https://twitter.com/IDAJ_CAE Facebook: https://www.facebook.com/IDAJ.CAE
![[Case Study] Robust Optimization of ABS Control Parameters](https://image.mono.ipros.com/public/product/image/363/2000439831/IPROS13691427899325207866.jpg?w=280&h=280)
![[Case Study] Optimization of IPM Motor Shape](https://image.mono.ipros.com/public/product/image/c97/2000439881/IPROS17098367841211464350.jpg?w=280&h=280)
![[Analysis Case] Exploration of Optimal Conditions for CVD Etching Process](https://image.mono.ipros.com/public/product/image/b9c/2000439905/IPROS16690566013754514640.jpg?w=280&h=280)
![[Case Study] Optimization of Heat Sink Shape](https://image.mono.ipros.com/public/product/image/946/2000439976/IPROS2368818307460003212.jpg?w=280&h=280)
