Verification of temporal requirements of complex systems using UML patterns, application to a railway control example
Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni · 2009
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.