ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems

Proceedings 1997 High-Assurance Engineering Workshop Pub Date : 1997-08-11 DOI:10.1109/HASE.1997.648054

K. Tso, E. Shokri, R. Dziegiel

{"title":"ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems","authors":"K. Tso, E. Shokri, R. Dziegiel","doi":"10.1109/HASE.1997.648054","DOIUrl":null,"url":null,"abstract":"The Reusable Software Fault-tolerance Testbed (ReSoFT) has been developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware and software faults. Central to ReSoFT is a library of reusable software components from which a wide variety of software fault tolerance (SWFT) techniques can be utilized to construct highly dependable systems. The reusable components include: (1) SWFT executive components, (2) SWFT support components, (3) SWFT interface components, (4) fault-tolerant network communication components, and (5) fault-injection components. A set of graphical tools are also provided to build, monitor and test the SWFT systems. The ReSoFT testbed is developed and hosted on a network of Sun workstations running the standard Solaris operating system. The workstations are connected with dual-redundant networks to tolerate communication faults. To ensure effective reuse, object-oriented analysis and design based on the Booch method have been used to develop the reusable components. The components were implemented in Ada 95 to take advantage of its new object-oriented and real-time support features. The graphical tools were implemented in Java which provides object-oriented and platform-independent features.","PeriodicalId":319609,"journal":{"name":"Proceedings 1997 High-Assurance Engineering Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1997 High-Assurance Engineering Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1997.648054","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

Abstract

The Reusable Software Fault-tolerance Testbed (ReSoFT) has been developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware and software faults. Central to ReSoFT is a library of reusable software components from which a wide variety of software fault tolerance (SWFT) techniques can be utilized to construct highly dependable systems. The reusable components include: (1) SWFT executive components, (2) SWFT support components, (3) SWFT interface components, (4) fault-tolerant network communication components, and (5) fault-injection components. A set of graphical tools are also provided to build, monitor and test the SWFT systems. The ReSoFT testbed is developed and hosted on a network of Sun workstations running the standard Solaris operating system. The workstations are connected with dual-redundant networks to tolerate communication faults. To ensure effective reuse, object-oriented analysis and design based on the Booch method have been used to develop the reusable components. The components were implemented in Ada 95 to take advantage of its new object-oriented and real-time support features. The graphical tools were implemented in Java which provides object-oriented and platform-independent features.

查看原文本刊更多论文

ReSoFT：开发和评估软件容错系统的可重复使用测试平台

开发可重用软件容错测试平台（ReSoFT）的目的是促进开发和评估需要同时容错硬件和软件故障的高可靠性系统。ReSoFT 的核心是一个可重用软件组件库，可利用其中的各种软件容错 (SWFT) 技术构建高度可靠的系统。可重复使用的组件包括(1) SWFT 执行组件，(2) SWFT 支持组件，(3) SWFT 接口组件，(4) 容错网络通信组件，以及 (5) 故障注入组件。此外，还提供了一套图形工具，用于构建、监控和测试 SWFT 系统。ReSoFT 测试平台是在运行标准 Solaris 操作系统的 Sun 工作站网络上开发和托管的。工作站通过双冗余网络连接，可容许通信故障。为确保有效重用，在开发可重用组件时采用了基于 Booch 方法的面向对象分析和设计。组件用 Ada 95 实现，以利用其新的面向对象和实时支持功能。图形工具是用 Java 实现的，它具有面向对象和与平台无关的特点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 1997 High-Assurance Engineering Workshop

自引率

0.00%

发文量