Learning Forum

[Daniel Solano]

I am using the SCADE Suite libraries in my project. Are they qualified?

[Benjamin Descorps]

The SCADE Suite libraries provided in the SCADE installation are not qualified.

 

Contrarily to some other model-based environments, in SCADE Suite  there is a clear and absolute distinction between:

  - predefined operators of the Scade language

  - user-defined operators

 

Predefined operators are those defined in the Scade language reference manual, such as "+", "pre" (delay) or logical "and".

User-defined operators are built from a combination of predefined operators and/or other user-defined operators.

 

Examples of user-defined operators that are often put in libraries include:

  - integrator

  - latches

  - matrix handling

  - filters

 

KCG qualification ensures that any predefined operator or user-defined operator is translated into C code that complies with its Scade specification.

KCG qualification does not guarantee that user-defined operators are correct at Scade level.

 

As an example, for a Scade operator that is intended to be a rising edge detector , it shall be verified at Scade level that this operator complies with its requirements and does not instead detect a falling edge.

 

Once this is said, libraries of Scade operators (such as filters) that are part of the SCADE Suite package are provided as examples:

- they are not part of KCG and their correctness at Scade level is beyond the scope of KCG qualification

- the adequacy of their Scade specification to the user's needs and compliance with their requirements shall be formally verified by the user