Dependability Components for Distributed and Network Systems

CCR-9972368Arora，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.