WP4

Graphical Language

Objective:
To develop justification approaches for graphical specification languages.

There will be no public deliverable for Work Package 4.

Graphical languages provide a valuable interface between the plant specialist, the C&I engineer and the software developer. To justify the applicability and reliability of such languages one must consider the following:

Justification of the graphical specification. i.e. Does it perform the task that the user requires in a way that is quickly and easily interpreted, and modelled to guarantee safe behaviour?
Availability and justification of verification and validation techniques.
Justification of the means for transfer of the graphically specified function into the underlying "engine".

There are two aspects of graphical specification that are referred to:

Functional requirements specification of safety component defined through GL. E.g. IF <<input values are fulfilled>> THEN <<close valve>>
Safety Integrity of GL