PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Banci M., Becucci M., Fantechi A., Spinicci E. Validation Coverage for a Component-based SDL model of a Railway Signaling System. In: International Workshop on Test and Analysis of Component Based (Barcelona, Spain, 27-28 March 2004). Proceedings, vol. 116 pp. 99 - 111. M. Pezz (Ed.) (ed.). ENTCS, Elsevier, 2005.
 
 
Abstract
(English)
In this paper we present an application of formal verification techniques to a component-based SDL model of a railway signalling system lent by General Electric Transportation Systems. A MSC-driven validation technique has been applied to verify the multiple-configuration features of the system. This work addresses the problem of validating a component-oriented designed SDL model, with a partial reuse of previously verified MSC scenarios if a new component is introducing or modified: some possible solutions based on the coverage metrics and information provided by the adopted tools are discussed.
URL: http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%2313109%232005
Subject Component-based SDL model
Railway signaling
Validation
MSC scenario
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional