Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality

Authors:
A. Fantechi;L. Semini;S. Gnesi
Affiliations:
-;-;-
Venue:
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Year:
1999

Citing 0
Cited 2

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems

IEEE Transactions on Parallel and Distributed Systems
Modeling Web Applications by the Multiple Levels of Integrity Policy

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods are increasingly used to validate the design of software and hardware components of safety critical systems. In particular, formal validation is needed for those mechanisms 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.