PDCC reports for GUARDS project


"Fault Tolerance Structures & Mechanisms for the GUARDS Architecture", A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni, Project Reference: GUARDS/D1A2/AO/6000/a, September 1996

"Analytical Modelling and Evaluation of the GUARDS instances: example for Space Application", M. Nelli, I. Mura, A. Bondavalli, Project Reference: GUARDS/D3A4/AO/6001/c, 20 February 1997

"Analytical Modelling of GUARDS Mechanisms and Components: Example of the Error Filtering Mechanism", F. Di Giandomenico, S. Chiaradonna, A. Bondavalli, Project Reference: GUARDS/D3A4/TN/6002/c, 20 February 1997

"A Mechanism for Error Filtering Discriminating Transient from Intermittent/Permanent faults", A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni, Project Reference: GUARDS/D1A2/AO/6003 a, 16 December 1996

"Formal Specification and Verification of the Inter-channel Consistency Network", C. Bernardeschi, A. Fantechi, S. Gnesi, Project Reference: GUARDS/D3A4/AO/6004/b, 20 February 1997

"Intra-Channel Error Processing Mechanisms", A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni, Project Reference: GUARDS/D1A2/AO/6005/b, 13 February 1997

"Inter-channel State Restoration", A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni, Project Reference: GUARDS/I1-SA4/TN/6006/b, 14 November 1997.

"Hierarchical Modelling and Evaluation of Phased-Mission Systems",  I. Mura, A. Bondavalli, Project Reference: GUARDS/I3A4/AO/6007/a, 19 November 1997.

"On Approaching Running State Restoration Algorithms in Ada95", A. Coccoli, Project Reference: GUARDS/I1-SA4/TN/6008/a, 20 November 1997.

"Formal Specification and Verification of the Inter-Channel Consistency Network" C. Bernardeschi, A. Fantechi, S. Gnesi, A. Santone, Project Reference: GUARDS/I3A5/AO/6009/a, 3 December 1997.

"Dependability modeling and Evaluation of Phased Mission Systems: a DSPN Approach" A. Bondavalli, I. Mura, X. Zang, K.S. Trivedi, Project Reference: GUARDS/I3A5/AO/6010/a. 20 January 1998.

"A Symbolic Model Checker for ACTL" A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci, Project Reference: I3A5/AO/6011/a, 15 april 1998.

"A Formal Description and Verification for an Integrity Policy supporting Multiple Levels of Criticality" L. Semini, Project Reference: I3A5/AO/6012/a , 21 april 1998.

"Formal specification and Verification of the Inter-Channel Fault Treatment Mechanism" C. Bernardeschi, A. Fantechi, S. Gnesi, A. Santone, Project Reference: I3A5/AO/6013/a , may 1998.

"Recent trends in the stae explosion problem" G. Lenzi, Project Reference: I3A5/AO/6014/a, 2 june 1998.

"Brief Overwiew of Some Tools to Support the Modelling and Evaluation of Phased Mission Systems" A.Bondavalli, I.Mura, Project Reference: I3A5/AO/6015/a , 11 june 1998.

"User Guide for Tool-Supported Modelling of Phased-Mission Systems" A.Bondavalli, I.Mura, Project Reference: I3A5/AO/6016/a , 11 june 1998.

"Formal validation by model checking applied to selected GUARDS components" C. Bernardeschi, A. Fantechi, S. Gnesi, Project Reference: I3A5/AO/6017/a , 1998.


Last modified: 25 November 1998

GetBack to GroupPage