Abstract:
Compliance with the safety standards is mandatory during the planning of as well as the development
of safety critical systems. In some safety-critical domains, standards define guidance in the
form of requirements that should be fulfilled by the processes used to engineer systems. For compliance
assessment with such standards, process plans should be created. However, process plans
are not enough evidence for showing compliance. In the AMASS project, the need for justifications
is highlighted to demonstrate that the process plans fulfill the applicable requirements.
This thesis implements a tool-support for facilitating the certification liaison process. More specifically,
the facilitation consists in guidance for modelling planned processes and the requirements
listed in the standards in Eclipse Process Framework (EPF) Composer in order to enable the automatic
generation of baselines, post-planning processes and evidence models, needed during the
execution phase and change impact tracking for manual monitoring of the compatibility between
plans and their execution. The transformation is achieved by using Epsilon Transformation Language
(ETL). Specifically, a set of ETL transformation rules are used to transform the standards’
requirements into the baseline models and diagrams; whereas the safety processes are transformed
into the first-view of post-planning processed and evidence models.
This model transformation facilitates the compliance demonstration and thus the plan and its
substantiation’s approval. The applicability of the proposed method is demonstrated for the railway
and space domains. In the former case, we focused on EN 50126 and EN 50129 compliant safety plan
acceptance and approval process, focusing on the safety demonstration for the generic products.
In the latter case, the Attitude and Orbit Control Subsystem (AOCS) development plan is taken
into consideration, which follows the ECSS-E-ST-40C (Space engineering–Software) standard
