Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:component |
gptkb:SCADE_Suite
gptkb:SCADE_Architect gptkb:SCADE_Display gptkb:SCADE_LifeCycle gptkb:SCADE_Test |
| gptkbp:developedBy |
gptkb:ANSYS_Inc.
|
| gptkbp:feature |
gptkb:simulation
formal verification traceability automatic code generation certification kits model-based testing |
| gptkbp:hasFeature |
gptkb:DO-178C
gptkb:ISO_26262 gptkb:EN_50128 |
| https://www.w3.org/2000/01/rdf-schema#label |
ANSYS SCADE
|
| gptkbp:license |
proprietary
|
| gptkbp:platform |
gptkb:Windows
|
| gptkbp:programmingLanguage |
gptkb:Lustre
|
| gptkbp:usedFor |
embedded software design
model-based development |
| gptkbp:usedIn |
aerospace industry
automotive industry nuclear industry railway industry |
| gptkbp:website |
https://www.ansys.com/products/embedded-software/ansys-scade
|
| gptkbp:bfsParent |
gptkb:ANSYS,_Inc.
|
| gptkbp:bfsLayer |
5
|