PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Semini L. Formal description and validation for an integrity policy supporting multiple levels of criticality. C.B. Weinstock,J. Rushby (eds.). (IEEE Computer Society). 1999.
 
 
Abstract
(English)
Formal methods are increasingly used to validate the design of softwar and hardware components of safety critical system. In particular formal validation is needed for those mechanism which support the overall dependability of the systems. Inside the GUARDS project, a novel integrity mechanism has been proposed to implement the Multiple Levels of Criticality model within an object-oriented framework. In this paper we present the application of model checking techniques to the formal validation of this integrity level mechanism.
DOI: 10.1109/DCFTS.1999.814293
Subject algebra
Automatic logic units
Software safety


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