Formal description and validation for an integrity policy supporting multiple levels of criticality
Fantechi A., Gnesi S., Semini L.
Algebra Automatic logic units Software safety
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.
Source: Dependable Computing for Critical Applications 7: DCCA-7, edited by Weinstock C.B., Rushby J., pp. 129–146, 1999
Metrics
Back to previous page
@inbook{oai:it.cnr:prodotti:407760,
title = {Formal description and validation for an integrity policy supporting multiple levels of criticality},
author = {Fantechi A. and Gnesi S. and Semini L.},
doi = {10.1109/dcfts.1999.814293},
booktitle = {Dependable Computing for Critical Applications 7: DCCA-7, edited by Weinstock C.B., Rushby J., pp. 129–146, 1999},
year = {1999}
}
0000-0002-4648-4667