2011
Report  Unknown

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.

Source: ISTI Technical reports, 2011



Back to previous page
BibTeX entry
@techreport{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},
	institution = {ISTI Technical reports, 2011},
	year = {2011}
}