Esterel Technologies>Products>SCADE Display>Prototype & Design>SCADE Display Modeler

SCADE Display Modeler

Advanced Graphical Prototyping and Specification Capabilities

Advanced Graphical Prototyping and Specification

SCADE Display Modeler Screenshot

SCADE Display’s intuitive development environment provides both programmers and non-programmers with a tool suite supporting advanced prototyping and specification of embedded displays.

SCADE Display offers, through its unique OGLX™ technology, an enhanced support of OpenGL safety-critical graphic features (including vector drawings, complex masks, bitmaps and texture-mapping, alpha-blending, haloing and anti-aliasing support), providing display system engineers with unprecedented high level of graphics quality and performance while benefiting from the inherent openness of OpenGL solutions.

Support of External OpenGL 2D/3D Graphics Code

The intrinsic layered architecture of SCADE Display supports the development of 2D/3D applications by combining external OpenGL 2D/3D graphics code (such as legacy code, 3D terrain maps, 3D objects, tunnels, digital maps, etc.) with SCADE Display generated code.

This SCADE Display structured formalism not only allows increasing reuse of specification parts, but also supports work share and concurrent development of graphical specifications.

Embedded Font Management

Embedded font management capabilities include the creation of stroke and bitmap fonts, as well as TrueType®/OpenType® fonts importing, enabling international/multi-lingual display development, supporting Unicode fonts, Cyrillic, Chinese, Japanese, Russian, or Korean character sets.

Verification & Validation at Model Level

SCADE Display Design Checker

The SCADE Display Design Checker module provides the unique capability to enforce the compliance of a display specification to methodological, naming and graphical design rules as early as the prototyping and design phases.

The set of rules that can be automatically checked and corrected through the SCADE Display Design Checker range from:

• Methodological: specification tables rule (checks that the current specification tables – colors, line widths, line stipples – are identical to the environment reference tables), layer ratio rule (checks that the current layer ratio matches the Default dimensions options), etc.
• Naming: object naming pattern rule, object naming unicity rule, plug naming rule, etc.
• Graphical Design Optimization: object superposition rule (checks that no object completely hides another object, whatever the input values), line optimization rule (checks that broken lines are used instead of several lines, when necessary), object colors rule (checks that no graphical object has identical outline and fill colors), etc.

SCADE Display Model Corrector

This powerful module, which also provides the user with suggested corrections, enables the optimisation of graphical specifications, preventing the generation of useless calls to the graphics library, thus maximizing the generated code performance.

A recommendation checklist can also be interactively defined and stored.

Model Checker Checklist

A Model Checker Report presents the description of all warnings and errors detected by checker verification, and a Checklist Report presents the rules remaining unchecked in the checklist.

Rapid Specification Simulation

SCADE Display enables rapid simulation of the specification through a simple and intuitive GUI, without the need to write complex scenarios.

Rapid Simulation of a Multi-screen Display