2011
Other
Metadata Only Access
Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button
Ferrari A, Illiashenko Oleg, Parfenov Sergii
Rhapsody; Formal modeling; Railway signaling; Evaluation
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.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:207036,
title = {Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button},
author = {Ferrari A and Illiashenko Oleg and Parfenov Sergii},
year = {2011}
}CNR authorsLaboratories
0000-0002-0636-5663CNR IRIS