Skip to Main content Skip to Navigation
Conference papers

Modeling and Verification of Redundancy Policies

Abstract : In this paper, we present a metamodel for specifying redundable software and hardware architectures. This metamodel takes into account the constraints on the number of redundant elements, the number of allowed failures, the execution times and allocation constraints. From such a specification, we generate all possible structural configurations. Then, we check that each of these configurations can be scheduled. This has been implemented as a tool chain relying on Alloy, SynDEx, and model transformations in Eclipse/EMF. This work allows system architects to explore different hardware and software architectures to implement different redundancy policies. It has been applied on a simple case study from the Ariane V launcher.
Document type :
Conference papers
Complete list of metadata
Contributor : Elodie Dubrac Connect in order to contact the contributor
Submitted on : Monday, November 18, 2013 - 1:53:21 PM
Last modification on : Tuesday, March 30, 2021 - 12:16:04 PM


  • HAL Id : hal-00905551, version 1



Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies. ACESMB 2013, Sep 2013, MIAMI, United States. 10p. ⟨hal-00905551⟩



Record views