|
gptkbp:instanceOf
|
gptkb:software
|
|
gptkbp:acquiredBy
|
gptkb:Ansys
|
|
gptkbp:basedOn
|
gptkb:Lustre_language
|
|
gptkbp:category
|
embedded software development tool
model-based design tool
|
|
gptkbp:certification
|
gptkb:DO-178C
gptkb:IEC_61508
gptkb:ISO_26262
gptkb:EN_50128
|
|
gptkbp:developedBy
|
gptkb:Ansys
gptkb:Esterel_Technologies
|
|
gptkbp:firstReleased
|
1999
|
|
gptkbp:latestReleaseVersion
|
2023 R2
|
|
gptkbp:operatingSystem
|
gptkb:Windows
|
|
gptkbp:provides
|
gptkb:simulation
formal verification
automatic code generation
model-based testing
|
|
gptkbp:supports
|
traceability
requirements management
hierarchical state machines
graphical modeling
integration with MATLAB/Simulink
integration with other SCADE tools
synchronous dataflow language
|
|
gptkbp:usedFor
|
model-based design
safety-critical embedded software
|
|
gptkbp:usedIn
|
gptkb:aerospace_industry
automotive industry
industrial automation
railway industry
|
|
gptkbp:website
|
https://www.ansys.com/products/embedded-software/ansys-scade-suite
|
|
gptkbp:bfsParent
|
gptkb:ANSYS_SCADE
gptkb:SCADE
gptkb:Model-Based_Systems_Engineering
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
SCADE Suite
|