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.
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
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