A generic process to build reliable distributed software components from early to late stages of software development

The 2010 International Conference on Computer Engineering & Systems Pub Date : 2010-12-23 DOI:10.1109/ICCES.2010.5674870

Mariam Lahami, M. Krichen, M. Jmaiel, Akram Idani

{"title":"A generic process to build reliable distributed software components from early to late stages of software development","authors":"Mariam Lahami, M. Krichen, M. Jmaiel, Akram Idani","doi":"10.1109/ICCES.2010.5674870","DOIUrl":null,"url":null,"abstract":"In this paper, we propose an incremental software development process that addresses reliability concerns, from early to late stages of software development. Contrary to existing techniques, in our proposal we merge two dependability means: fault prevention and fault forecasting techniques in order to build reliable distributed software systems. The design stage is focused on obtaining coherent specification of each individual component using an incremental refinement technique. After obtaining a consistent specification of each component, we deal with generating its code safely. In addition, we define consistent component assemblies by checking their compatibility at the integration level. The runtime testing stage is based on the fault forecasting technique which allows an emprirical estimation of the overall system reliability. Such process is used to get confidence that the obtained system behaves correctly according to its specification and fulfils all requirements and expectations. As an example, this paper introduces B formal method and Fractal component model to build reliable and trustworthy Fractal based applications.","PeriodicalId":124411,"journal":{"name":"The 2010 International Conference on Computer Engineering & Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 2010 International Conference on Computer Engineering & Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCES.2010.5674870","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

In this paper, we propose an incremental software development process that addresses reliability concerns, from early to late stages of software development. Contrary to existing techniques, in our proposal we merge two dependability means: fault prevention and fault forecasting techniques in order to build reliable distributed software systems. The design stage is focused on obtaining coherent specification of each individual component using an incremental refinement technique. After obtaining a consistent specification of each component, we deal with generating its code safely. In addition, we define consistent component assemblies by checking their compatibility at the integration level. The runtime testing stage is based on the fault forecasting technique which allows an emprirical estimation of the overall system reliability. Such process is used to get confidence that the obtained system behaves correctly according to its specification and fulfils all requirements and expectations. As an example, this paper introduces B formal method and Fractal component model to build reliable and trustworthy Fractal based applications.

查看原文本刊更多论文

从软件开发的早期到后期阶段构建可靠的分布式软件组件的通用过程

在本文中，我们提出了一个增量的软件开发过程，从软件开发的早期到后期，解决了可靠性问题。为了构建可靠的分布式软件系统，我们将故障预防和故障预测两种可靠性技术相结合。设计阶段的重点是使用增量细化技术获得每个单独组件的一致规范。在获得每个组件的一致规范之后，我们处理安全地生成其代码。此外，我们通过在集成级别检查组件集的兼容性来定义一致的组件集。运行测试阶段基于故障预测技术，可以对整个系统的可靠性进行经验估计。这样的过程是用来确保所获得的系统按照其规范正确地运行，并满足所有的需求和期望。作为实例，本文介绍了B形式化方法和分形构件模型来构建可靠可信的分形应用。

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

求助全文

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

来源期刊

The 2010 International Conference on Computer Engineering & Systems

自引率

0.00%

发文量