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:
There are two aspects of graphical specification that are referred to:
- 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".
- Functional requirements specification of safety component defined through GL.
E.g. IF <<input values are fulfilled>> THEN <<close valve>>
- Safety Integrity of GL