Accession Number : ADA532679


Title :   The Horus and Ensemble Projects: Accomplishments and Limitations


Descriptive Note : Conference paper


Corporate Author : CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE


Personal Author(s) : Birman, Ken ; Constable, Bob ; Hayden, Mark ; Hickey, Jason ; Kreitz, Christoph ; Renesse, Robbert van ; Rodeh, Ohad ; Vogels, Werner


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a532679.pdf


Report Date : Jan 2000


Pagination or Media Count : 14


Abstract : The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. Our intent was to understand the degree to which a single system could offer flexibility and yet maintain high performance, to explore the integration of fault-tolerance with security and real-time mechanisms, and to increase trustworthiness of our solutions by applying formal methods. Here, we summarize the accomplishments of the effort and evaluate the successes and failures of the approach.


Descriptors :   *FAULT TOLERANCE , REAL TIME , SECURITY , COMMUNICATIONS PROTOCOLS , COMMUNICATION AND RADIO SYSTEMS , COMPUTER NETWORKS , VERIFICATION , RELIABILITY


Subject Categories : Test Facilities, Equipment and Methods


Distribution Statement : APPROVED FOR PUBLIC RELEASE