Dependability Components for Distributed and Network Systems

arora， Anish俄亥俄州立大学分布式和网络系统的可靠性组件项目摘要受确保分布式和网络系统可靠性的需求和机会的激励，这项工作调查了组件的使用，其基本任务是满足可靠性属性。这些“可靠性组件”不仅在“黑盒”（只有接口信息可用）或“白盒”（规范和实现信息也可用）的系统中被证明是有用的，而且在“灰盒”（缺乏实现信息）的系统中尤其有用。此外，还创建了一些方法，这些方法在保留可靠性属性的同时处理系统的细化，为实现系统安全性添加可靠性组件，并自动合成基于组件的可靠系统。研究的目的是影响可靠系统的可扩展性。

CCR-9972368Arora, Anish The Ohio State University Dependability Components for Distributed and Network SystemsProject SummaryMotivated by the need for and the opportunities in assuring dependability in distributed and network systems, this work investigates the use of components whose essential task is to satisfy dependability properties. These `dependability components' are being shown to be useful, not only in systems that are `black-box' (only the interface information is available) or `white-box' (the specification and implementation information is available as well), but especially in systems that are `gray-box' (the implementation information is lacking). Also, methods are being created that deal with refinement of systems while preserving dependability properties, that add dependability components for achieving system security, and that automatically synthesize component-based dependable systems. The research aims at impacting the scalability of dependable systems.