文档介绍:CENIIT research project 00-11 Fault Tolerance in Real-time Distributed Systems Simin Nadjm-Tehrani Dept. puter and Information Systems The above project proposal was originally formulated around develop- ment of an incremental proof management system to support an incremental design methodology for analysis of system fault tolerance. The work was expected to be valuable in development of safety-critical systems and in par- ticular aerospace systems. As a result of early feedback by other industrial members of the CENIIT board, the project was later reformulated to cover availability and thereby analysis of fault tolerance worked systems. plete redirection of the topic should perhaps be seen as the single most bene?t of the exposure to the CENIIT context, from which a whole group of new research activities were spawned in the years e. 1 Results during 00-05 Today’s systems are to a large extent built works in which critical services are to be guaranteed. In recent years I have been facinated by the many threats to service availability worked systems. Many of my pa- pers treat threats to availability in terms of overloads, failures or attacks. The developed methods are evaluated using realistic scenarios from - munications and works, or tested in specially developed simulated en- vironments with realistic models of tra?c patterns. I have also managed to pursue my original intere