By Topic

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example

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
$33 $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)
Ghazel, M. ; French Nat. Inst. for Transp. & Safety Res., INRETS, Villeneuve-d''Ascq, France ; Masmoudi, M. ; Toguyeni, A.

Temporal aspects have a vital importance while dealing with the verification of critical systems. Time constraints may reflect both security and performance requirements. Thereby, verifying the temporal requirements is a major task in the validation of critical systems. In this paper, we discuss a new approach for the specification of the temporal requirements within complex systems. We also sketch a global verification method integrating the specification process proposed. The specification is made in a systematic way on the basis of some generic patterns we developed. These patterns are designed starting from a classification of temporal requirements that we have established while trying to cover at best all the usual requirements one may encounter while dealing with the verification of complex systems. The verification process of a given system is performed using observers instantiated from the proper patterns of the requirements identified. Unlike several existing approaches, our approach proposes means to assist the analyst in the requirements' specification step. Moreover, it allows for the verification of various requirements at once. A use case study from the railway operation field allows the illustration of the various concepts discussed.

Published in:

System of Systems Engineering, 2009. SoSE 2009. IEEE International Conference on

Date of Conference:

May 30 2009-June 3 2009