Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario
Anselmi A, Bernardeschi C., Fantechi A., Gnesi S., Larosa S., Mongardi G., Torielli F.
Software
Viene descritta un'esperienza fatta in un progetto pilota di rivalidazione- mediante specifica e verifica formale- della specifica semi-formale di un sottosistema software di controllo ferroviario.In questo progetto è stato utilizzato l'ambiente di specifica grafico/algebrica e verifica logica JACK, che integra una serie di strumenti software di specifica e verifica di sistemi concorrenti e distribuiti, offrendo un'interfaccia grafica per facilitare l'uso degli strumenti.L'esperienza effettuata ci ha permesso di concludere che il metodo formale è applicabile con successo alla verifica di sistemi reali.
Source: Aica Congresso Annuale Atti, pp. 71–78, Chia, Cagliari, Italy, 27-29 Settembre 1995
Back to previous page
@inproceedings{oai:it.cnr:prodotti:409082,
title = {Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario},
author = {Anselmi A and Bernardeschi C. and Fantechi A. and Gnesi S. and Larosa S. and Mongardi G. and Torielli F.},
booktitle = {Aica Congresso Annuale Atti, pp. 71–78, Chia, Cagliari, Italy, 27-29 Settembre 1995},
year = {1995}
}
0000-0002-4648-4667