HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 : Thursday, February 17, 2022 - 2:32:05 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