Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00953396
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:46:34 AM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

Collections

Citation

Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), 2010, Cairo, Egypt. pp.287-292, ⟨10.1109/ICCES.2010.5674870⟩. ⟨hal-00953396⟩

Share

Metrics

Record views

193