PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bernardeschi C., Fantechi A., Gnesi S. Validazione formale di meccanismi per la tolleranza ai guasti. Internal note IEI-B4-12, 1997.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
Il progetto europeo GUARDS (Generic Upgradable Architecture for Real-time Dependable Systems) si propone di definire un'architettura hardware/software generica, che possa essere instanziata per supportare particolari applicazoni "embedded" critiche perla sicurezza, quali sistemi di controllo ferroviario sistemi di controllo di centrali nucleari, sistemi aerospaziali
Subject Formal verification
D.2.4 Software/Program Verification


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