PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Illiashenko O., Parfenov S. Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button. TR-001-PAR-FAS-2007-2013, Technical report, 2011.
 
 
Abstract
(English)
The current document reports the evaluation of the IBM Rational Rhapsody tool for the modeling of Automatic Train Protection (ATP) systems software. The focus of the activity is on the Restrictive Signal Confirmation (RSC) button, a typical control component that, through not used in every ATP system, is considered a good representative of the expected functionality of an ATP software.
Subject Rhapsody
Formal modeling
Railway signaling
Evaluation
D.2.1 Requirements/Specifications
D.2.2 Design Tools and Techniques


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