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.
Type de document :
Communication dans un congrès
Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), 2010, Cairo, Egypt. IEEE, pp.287-292, 2010, 〈10.1109/ICCES.2010.5674870〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953396
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:46:34
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

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. IEEE, pp.287-292, 2010, 〈10.1109/ICCES.2010.5674870〉. 〈hal-00953396〉

Partager

Métriques

Consultations de la notice

88