Using dataflow traceability between functions in the safety evaluation process

This paper deals with the safety evaluation process required by law for high safety related system in rail in Europe. A methodology is given to guide the independent analysis and evaluation process. In a general framework for requirement engineering process, the proposed methodology aims at speeding up the process of safety evaluation and to facilitate the work of the independent checker and of the assessor of the system in a systematic way. The methodology is based on a functional analysis approach using the exchange of dataflows. This methodology has been tested on the EU LOCOPROL research project signalling part and is given as an application case