Dependable Computing Research Lab

[All | BibTeX Entries] [Papers] [Reports] [Authors]   Copyright Notice

Reports


Papers:
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987

Technical Reports

Authors:


A total of people have accessed this page since 4 March 2003
For more information on these papers/reports please contact: 
notify-email-img

Last modified: 
26 Jan 2017 at 14:34:05

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

L. Montecchi, P. Lollini, and A. Bondavalli. An intermediate dependability model for state-based dependability analysis. Technical Report rcl101115 v2.1, University of Florence, Dip. Sistemi Informatica, RCL group, January 2011.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2009

Hegedüs Ábel. A model transformation-based approach for the dependability analysis of uml-based system designs with maintenance. Technical Report rcl090601, University of Florence, Dip. Sistemi Informatica, RCL group, June 2009.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2008

A. Daidone. Forever assessment: modelling details. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, December 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, and L. Falai. Reliable and self-aware clock: complete description. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, May 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Assessing the impact of cyclic/acyclic evc-dmi interactions in automatic train control systems. Technical Report rcl080401, University of Florence, Dip. Sistemi Informatica, RCL group, April 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2007

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. Modelling framework of an instance of the electric power system: functional description and implementation. Technical Report RCL071202, University of Florence, Dip. Sistemi Informatica, RCL group, December 2007.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, L. Montecchi, and A. Bondavalli. On the evaluation of hidenets use-cases having phased behavior. Technical Report RCL-071201, Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica, 12 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. Technical Report 2007-TR-012, ISTI-CNR, Italy, 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On the modeling of an instance of the electric power system. Technical report rcl061201, university of firenze, dip. sistemi e informatica, December 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A general modeling approach and its application to a umts network with soft-handover mechanism. Technical report rcl060501, university of firenze, dip. sistemi e informatica, May 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

2005

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Qos evaluation in a umts cell. Technical report rcl050601, university of firenze, dip. sistemi e informatica, June 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

2004

L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative Evaluation using neko tool: NekoStat Extensions. Technical report, University of Firenze, Dip. Sistemi e Informatica, Nov 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, A. Bondavalli, F. Di Giandomenico, and S. Porcarelli. Model-based congestion analysis during outage and system reconfiguration in GPRS networks. Technical report rcl040501, university of firenze, dip. sistemi e informatica, May 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

2001

R. Filippini and A. Bondavalli. Modeling and analysis of a scheduled maintenance system: a DSPN approach. Technical Report CNUCE-B4-2001-017, CNUCE-CNR, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

2000

F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Modeling and evaluation of the effects of outages on the quality of service of GPRS network systems. Technical Report B4-2000-028, CNUCE-CNR, December 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

I. Mura and A. Bondavalli. Markov regenerative stochastic petri nets to model and evaluate the dependability of phased missions. Technical Report B4-1999-009, CNUCE-CNR, August 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

D. Viva, A. Bondavalli, and S. Chiaradonna. Sviluppo di un caso di studio. Technical Note PDCC-TN-0004 B, PDCC-ENEA, March 22 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

D. Viva, A. Bondavalli, and S. Chiaradonna. Sperimentazione di diverse metodologie e strumenti per la modellizzazione. Technical Note PDCC-TN-0002 B, PDCC-ENEA, March 23 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

I. Majzik and A. Bondavalli. On high level dependability modeling in HIDE. Technical note Project Reference HIDE/T1.2/PDCC/4/v1, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults - mathematical details. Csr technical report, 1998.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and I. Mura. Users guide for tool-supported modelling of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6016 version a, 11 June 1998.
[ ABSTRACT and BibTeX Entry ]

D. Powell, C. Rabéjac, and A. Bondavalli. Alpha-count mechanism and inter-channel diagnosis. GUARDS Project - PDCC Technical Note Report GUARDS/I1SA1/TN/5009 version E, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli and I. Mura. Brief overview of some tools to support the modelling and evaluation of phased mission systems. GUARDS Project, PDCC Technical Note Report GUARDS/I3A4/AO/6015 version a, 11 June 1998.
[ ABSTRACT and BibTeX Entry ]

I. Majzik and A. Bondavalli. Dependability analysis in the HIDE framework. Technical note Project Reference HIDE/T1.2/PDCC/1/v1, 1998.
[ ABSTRACT and BibTeX Entry ]

D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. GUARDS Project Report GUARDS/MD2A4/TN/5011 version A, 1998.
[ ABSTRACT and BibTeX Entry ]

M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Bayesian diagnosis of transient vs permanent faults. Csr technical note, January 1998.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, I. Mura, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. PDCC Technical Note Report GUARDS/I1-SA4/TN/6010 version a, 20 January 1998.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and F. Di Giandomenico. The GUARDS approach to safety-critical real-time systems. Ercim News 32, January 1998.
[ ABSTRACT and BibTeX Entry ]

I. Mura, S. Chiaradonna, and A. Bondavalli. Modelli teorici e pratici per la rappresentazione del processo di guasto. Technical Note PDCC-TN-0001 B, PDCC-ENEA, July 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, and I. Mura. Integrazione di tecniche di fault-forecasting. Technical Note PDCC-TN-0003 A, PDCC-ENEA, December 15 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. Technical Report B4-17-06-98, IEI-CNR, June 17 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

A. Coccoli. On approaching running state restoration algorithms in Ada95. GUARDS Project - PDCC Techincal Note Report GUARDS/I1-SA4/TN/6008 version a, November 20 1997.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and I. Mura. Hierarchical modelling and evaluation of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6007 version a, November 19 1997.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, I. Mura, and M. Nelli. Analytical modelling and evaluation of the GUARDS instances: example for space applications. GUARDS Project - PDCC Activity Output Report GUARDS/D3A4/AO/6001 C, March 18 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Analytical modelling of GUARDS mechanisms and components: Example of the error filtering mechanism. ESPRIT Project 20716 GUARDS Report D3A4/AO/6002C (also GUARDS First Year Deliverable), PDCC, March 18 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Intra-channel error processing mechanisms. ESPRIT Project 20716 GUARDS Report D1A2/A0/6005B, PDCC, February 1997.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Inter-channel state restoration. Activity Output, ESPRIT Project 20716 GUARDS Report I1-SA4/6006/B, GUARDS Project - PDCC, November 14 1997.
[ ABSTRACT and BibTeX Entry ]

1996

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Discriminating fault rate and persistency to improve fault treatment. Internal Report B4-33, IEI/CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]

I. Mura, F. Di Giandomenico, and A. Bondavalli. Real-time multiprocessor systems: Performability evaluation. Internal Report B4-07-02-96, IEI-CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]

M. Nelli, A. Bondavalli, and L. Simoncini. Hierarchical modelling of HW/SW control systems: an application to dependability analysis of railway interlocking. Internal Report C96-09, CNUCE-CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. A mechanism for discriminating transient from intermittent/permanent faults. ESPRIT Project 20716 GUARDS Report D1A2/A0/6003A, GUARDS Project - PDCC, December 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Fault tolerance structures & mechanisms for the GUARDS architecture. Technical Report C96-26 (also ESPRIT Project 20716 GUARDS Report D1A2/A0/6000A), CNUCE/CNR, October 1996.
[ ABSTRACT and BibTeX Entry ]

1995

F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Esprit BRA 6362 PDCS2 Technical Report 173, June 1995.
[ ABSTRACT and BibTeX Entry ]

F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Internal Report B4-15, IEI CNR, Pisa, Italy, April 1995.
[ ABSTRACT and BibTeX Entry ]

S. La Torre, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. The effects of input correlation on the dependability of iterative software. Technical Report B4-24, IEI/CNR, May 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to dependability evaluation of fault-tolerant, iterative-execution software. Technical Report C95-41, CNUCE/CNR, December 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, M. Cipollone, F. Di Giandomenico, and F. Grandoni. Integrated error processing and fault diagnosis in multiprocessor systems. Technical Report C95-42, CNUCE/CNR, December 1995.
[ ABSTRACT and BibTeX Entry ]

1994

S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. 2nd year deliverables, ESPRIT BRA 6362 PDCS2, September 1994.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, A. Bondavalli, and L. Strigini. Comparative performability evaluation of RB, NVP and SCOP. Technical Report C94-02, CNUCE/CNR, January 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Chiaradonna, A. Bondavalli, and F. Di Giandomenico. A fault treatment approach to support dynamic redundancy in multiprocessor architectures. 2nd year deliverables, Esprit BRA 6362 PDCS2, September 1994.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Modelling correlation among successive inputs in software dependability analyses. Technical Report C94-20, CNUCE/CNR, October 1994.
[ ABSTRACT and BibTeX Entry | PDF ]