Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). We apologize for the inconvenience.
By Topic

Using dataflow traceability between functions in the safety evaluation process

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Lemaire, E. ; INRETS, Villeneuve d''Ascq ; Lesne, F. ; Bayart, M.

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

Published in:

Computational Engineering in Systems Applications, IMACS Multiconference on  (Volume:2 )

Date of Conference:

4-6 Oct. 2006