What are SCADE main features?
SCADE main features are: • Editor: Graphical Formal Block Diagrams for Precise Specifications and Easy Dialog (Data Flow and Finite State Machines) • Simulator: System Simulation (interactive and batch modes) • Design Verifier: Exhaustive Formal Proof for Early Detection of Specification Errors • SCADE C and Ada Code Generators: Automatic Embeddable C or Ada Code Generation • SCADE C Qualifiable Code Generator: DO-178B level A Qualifiable C Code Generator • SCADE Reporter: Generate HTML or RTF Reports • DOORS Link: Requirements and Test Traceability (DOORS®, by Telelogic, needed) • Source Code Control Integration: Configuration Version Management • SCADE Simulink Gateway: Automatic Connection between Simulink and SCADE Suite users for Unambiguous Communication of Requirements and Improved Productivity (Simulink®,by The Mathworks Inc., needed) • Altia Gateway: Virtual Prototyping, Realistic GUI (Altia Design®, by Altia Inc.,needed) For further information about SCADE features, please re