Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Ansys
|
| gptkbp:developed_by |
gptkb:Ansys,_Inc.
|
| gptkbp:features |
verification tools
simulation capabilities graphical modeling |
| gptkbp:has |
user-friendly interface
training and certification programs extensive documentation a strong user community a marketplace for add-ons support for Sys ML support for UML |
| https://www.w3.org/2000/01/rdf-schema#label |
Ansys SCADE Suite
|
| gptkbp:includes |
gptkb:SCADE_Modeler
gptkb:SCADE_Test |
| gptkbp:is |
available on multiple platforms
used for software validation used for system-level design integrated with version control systems designed for embedded systems recognized for its compliance with industry standards a platform for system modeling and simulation a solution for embedded software development a tool for compliance with safety standards a tool for safety-critical software development capable of handling large projects part of Ansys product suite part of the Ansys ecosystem used by engineers and developers used for functional safety analysis used for model-based testing used for software verification widely used in safety-critical software development |
| gptkbp:is_compatible_with |
gptkb:DO-178_C
gptkb:ISO_26262 |
| gptkbp:is_used_for |
model-based design
|
| gptkbp:language |
gptkb:Ada
gptkb:C gptkb:C++ |
| gptkbp:offers |
customizable templates
real-time simulation integration with other Ansys tools |
| gptkbp:provides |
model validation
automatic code generation requirements traceability |
| gptkbp:supports |
safety-critical applications
|
| gptkbp:used_in |
gptkb:aircraft
gptkb:film_production_company railway industry |