Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper)

Type
Label
  • Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ferrari, Alessio [1]; Illiashenko, Oleg [2]; Parfenov, Sergii [3] (2011)
    Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ferrari, Alessio [1]; Illiashenko, Oleg [2]; Parfenov, Sergii [3] (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • TR-001-PAR-FAS-2007-2013. -- cnr.isti/2011-TR-042 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-ISTI, Pisa; [2] National Aerospace University \"KhAI\", Kharkov, Ukraine; [3] Khmelnitsky National University, Khmelnitsky, Ukraine (literal)
Titolo
  • Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (literal)
Abstract
  • 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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it