Catalogs >
ANSYS >
SCADE Suite

SCADE Suite
1 / 5Pages

Catalog excerpts

Technical Data Sheet ® Esterel Technologies’ SCADE Suite is a modelbased development environment dedicated to critical software. Enabled Activ e On Stdby Condition With native integration of the Scade language and its formal notation, SCADE Suite is the only integrated design environment for critical applications spanning requirements management, model-based design, simulation, verification, qualifiable/certified code generation, and interoperability with other development tools and platforms. SCADE Suite is tightly integrated with Esterel Technologies’ SCADE System™, enabling integration of system and software development activities, and SCADE Display®, enabling the joint model-based design of control laws and logic with the design of graphics display applications. Speed STDBY Accel > PedalsMin Stdby Condition Speed < SpeedMin Speed > SpeedMax QuickAccel QuickDecel SCADE Suite’s design environment facilitates the tight combination of software engineering development and management activities, down to code integration on target, into a seamless workflow. Read more about SCADE Suite: • • • • Software Prototyping and Design Verification and Validation Automatic Code Generation SCADE Tools Integration Tailored for Critical Applications SCADE Suite drastically reduces project certification costs by simplifying critical control application design, automating verification and certifiable/ qualifiable code generation, as well design documentation generation. SCADE Suite KCG™ Code Generator is qualifiable as a development tool under DO-178B level A requirements, IEC 61508 safety objectives at SIL 3, and EN 50128 safety objectives at SIL 3/4. SCADE Suite KCG Certification Kits provide all material required by the respective standard guidelines for the certification authorities: • Tool Qualification Plan (TQP) • Tool Operational Requirements (TOR) • Tool Accomplishment Summary (TAS) or Safety Cases (SC) • Compliance Analysis to certification standard • Software Installation Procedure (SIP) • Software Configuration Index (SCI) • and standard-specific documents More information in the technical datasheets on SCADE Suite KCG Certification Kits. DO-178B Certification Plans provide a set of generic plans supporting the certification of applications developed with SCADE Suite at level A and B. Software Prototyping and Design Advanced Model-Based Design • Graphical editing of flexible/nested dataflows and hierarchical SCADE State Machines (SSM) • Graphical decision diagrams • Array iterators to facilitate operator multiinstantiation and perform complex data processing • Model completeness and determinism guaranteed • Strongly-typed language • Static consistency checking • Intuitive and familiar visual representation • Easy reuse and readability of design • Efficient editing features, such as multiple connection drawing, navigation in model, search, unlimited undo • Comparison of semantic differences between models, packages, operators, or state machines with location and reporting features Technical Data Sheet SCADE Suite® 6.3

Open the catalog to page 1

Esterel Technologies Interactive Simulation with Rapid Prototyper™ • Building interactive graphical panels for SCADE Suite simulation sessions •Library of predefined widgets (controls and indicators) for rapid prototyping •Extendable library and customizable widgets •Variable dictionary management •Generation of Windows/PC standalone executables from interactive graphical panels Timing and Stack Size Optimization with Timing and Stack Optimizers1 • Estimation of relative WCET and stack size on a generic target for profiling and debugging SCADE Suite models • Comparison of results between...

Open the catalog to page 2

Esterel Technologies Formal Verification with Design Verifier2 • Verification of safety properties expressed in SCADE Suite • Automatic counter-example production in case of property failure • Early detection of division-by-zero errors • Transparent combination of most recent proof techniques for model checking without strong theoretical background from users Model Coverage Analysis with Qualified MTC • Thorough Model Test Coverage methodology via SCADE Suite interface to acquire, analyze and resolve coverage at model level • Model coverage based on test suite, predefined (Masking MC/DC,...

Open the catalog to page 3

Esterel Technologies Development of Graphical Applications SCADE Tools Integration SCADE Suite allows for designing the logic associated with graphics designed in SCADE Display®. Design Synchronization with System Design SCADE Suite allows refinement of software components based on structural system modeling in SCADE System™ environment: • Quick synchronization between system model in SCADE System and software subsystem components in SCADE Suite • Consistent and efficient management of I/O definitions • No duplication of efforts in synchronizing interfaces defined at system level and...

Open the catalog to page 4

Minimal/Required System Configuration OS Platforms 1 Microsoft® Windows XP Professional SP22 or SP3, Windows 7 C/C++ Compilers Visual C++® 6.0, 7.0, 7.1 Visual C++ 2005 and 2008 GNU C Compiler 3.4.5 Disk Space CD-ROM drive for installation Network adapter and TCP/IP installed and configured for license management 16-bit color, 1280x1024 screen resolution recommended SCADE Suite Product Solutions SCADE Suite® Advanced Modeler: SCADE Suite Editor SCADE Suite Simulator SCADE Configuration Management Gateway Eclipse Plug-In SCADE Suite Gateway™ for LabVIEW™ SCADE Display® Integration SCADE...

Open the catalog to page 5