Esterel Technologies>Products>SCADE Display>V&V at Model Level

Verification & Validation at Model Level

SCADE Display Ergonomics Checker

The SCADE Display Ergonomics 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 Ergonomics 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