Esterel Technologies>Products>SCADE Suite>Model Verification & Validation>SCADE Suite Modeler

SCADE Suite Modeler

SCADE Suite Editor

SCADE Suite Editor is the primary interactivity environment within the SCADE Suite environment. Embodying a natural approach to specification capture, the developer is provided with clear and simple approach that, when coupled with the formal modelling notation, underpins the qualified/certified SCADE Suite software development process.

Integrated Deterministic Data Flow and Safe State Machine Notations

SCADE Suite simplifies the capture of complex specifications with an intuitive graphical notation. Unlimited hierarchy and nesting of data flow and Safe State Machine notations allow the developer to build the most natural model architecture, unburdened by arbitrary tool limitations.

Improved Developer Productivity

Through rigorously enforced model semantics, SCADE Suite automatically ensures the integrity of the captured specification allowing the developer to focus on building the correct application. Using the formally defined SCADE Language, a deterministic reader independent and explicit specification is guaranteed. Dangerous constructs and unpredictable manipulations are prevented from entering the specification, hence preventing the need for time consuming retrospective analysis and correction.

SCADE Suite Editor provides the developer with powerful and expressive module libraries that simplify intricate operations and manipulations. For example, a Scalar Product calculation is performed with two operators and one interconnect, rather than the arduous alternative.

SCADE Operator Libraries

SCADE Suite comes with all of the basic library operators needed to create specifications. Regardless of the application, from Flight Computers to Railway Interlocking, the library operators and/or your own libraries are available when you begin development with SCADE Suite.

SCADE Suite Simulator

The SCADE Suite Simulator provides the environment in which requirements based model level testing is performed. Furthermore, SCADE Suite technology ensures the conformity of the simulated behaviour to on-target behaviour; what you simulate is what you embed.

Inproved Application Quality

Model based verification supported by the surety that the simulated behaviour is faithfully replicated on-target allows the full benefit of Model Based Design to be realised by the developer. SCADE Suite Simulator supports variable simulation granularity of such that the user can select simulation of the total system, one part of the system, or a single module as required.

The SCADE Suite Simulator provides both interactive and batch modes of operation. In the interactive mode, the developer is presented with an animated and annotated view of the model specification showing data values and execution flow. Break-points and stop conditions further extend the productivity of the environment to debug the SCADE Suite model specification.

Batch mode provides a scripted mode for the execution of non-interactive simulation studies. With an open control interface based upon TCL/TK, the developer can create simulation studies to automatically explore the behaviour of the SCADE model.

SCADE Display Simulation Integration

Leveraging their unique industry position as suppliers of both embedded application and embedded display domains, Esterel Technologies has created a seamless integration of SCADE Suite and SCADE Display simulators. Using an interface dialog to create the port map, values calculated by the SCADE Suite computational model can be used to directly drive the SCADE Display graphical specification.