SCADE Suite

GPTKB entity

Statements (36)
Predicate Object
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
https://www.w3.org/2000/01/rdf-schema#label SCADE Suite
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 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
gptkbp:bfsLayer 6