Title :
Dependable Computing for Critical Applications 7
Abstract :
The following topics were dealt with: dependable computing for critical applications; COTS components; formal methods; distributed systems; time-triggered architecture; fault tolerance and safety; integrated modular avionics; dependability evaluation; and probabilistic guarantees
Keywords :
fault tolerant computing; software reliability; COTS components; critical applications; dependability evaluation; dependable computing; distributed systems; fault tolerance; formal method; integrated modular avionics; probabilistic guarantees; safety; time-triggered architecture; Computer applications;
Conference_Titel :
Dependable Computing for Critical Applications 7, 1999
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-7695-0284-9
DOI :
10.1109/DCFTS.1999.814285
