Critical system software integrated development environment ANSYS SCADE
IDAJ Co., Ltd.
About This Product
Ansys Scade® products are tools that build software development and application life cycle management from formal languages from critical systems.
■ ANSYS SCADE product group
Ansys Scade is a product group that allows consistent processes to be developed by Ansys, Inc., a system design of a safety -critical system, built -in software development, embedded display development, and application life cycle management.
■ ANSYS SCADE ARCHITECT ™
Use sysml to design a system architecture, seamlessly import it into Ansys Scade Suite and Ansys Scade Display.
■ ANSYS SCADE SUITE®
Design and verify the detailed model of the software by the formal language scade. Once the model is correct, it will generate correct and secure code by generating authenticated automatic code.
■ Ansys Scade Display®
Design and verify the display screen specifications. If the correctness of the screen specifications can be confirmed, generate correct and secure code by generating authenticated automatic code.
■ Ansys Scade Test ™
Create, manage, test, test results, and test results for control software design models created by Ansys Scade Suite.
■ Ansys Scade Lifecycle®
Ansys Scade Lifecycle manages traceability between the gaps generated in the process from system design to software development and display development. We also support the work of automatically generating documents from each design information.
-
Product
Critical system software integrated development environment ANSYS SCADE
-
Handling Company
IDAJ Co., Ltd.
9 Models of Critical system software integrated development environment ANSYS SCADE
Items marked with have different values depending on the model number.
Click on the part number for more information about each product
| Product Image | Part Number | Price (excluding tax) | Correspondence status to various standards | function | operating system | platform |
|---|---|---|---|---|---|---|
Ansys Scade Architect |
Available upon quote | - |
editor Configurator |
Windows 10 | PC | |
Ansys Scade Suite |
Available upon quote |
Do-178C En 50128: 2011 IEC 61508 ED2 ISO 26262 |
Control model design simulation Safety properties format verification C code generation Modeling tool interface Compiler verification kit Code performance analysis |
Windows 10 | PC | |
Ansys Scade Display |
Available upon quote | - |
Graphics design Interactive design Simulation/animation Ergonomic checker C code generation Display authentication kit |
Windows 10 | PC | |
Ansys Scade Test |
Available upon quote | - |
GUI creation Model coverage analysis Host test environment Testing environment on the target |
Windows 10 | PC | |
Ansys Scade LifecyCleansys Scade |
Available upon quote | - |
Alm Gateway Report generation Certification plan Configuration management tool interface |
Windows 10 | PC | |
Ansys Scade Solutions for Arinc 661 |
Available upon quote | - | - | - | - | |
Package for automotive industry |
Available upon quote | - | - | - | - | |
Aviation industry package |
Available upon quote | - | - | - | - | |
Package for defense industry |
Available upon quote | - | - | - | - |
Click on the part number for more information about each product
Customers who viewed this product also viewed
Other products of IDAJ Co., Ltd.
View more products of IDAJ Co., Ltd.
About Company Handling This Product
- Japan
- Since 1994
- 250 employees