Dependability Components for Distributed and Network Systems

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