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 metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00905551
Contributor : Elodie Dubrac <>
Submitted on : Monday, November 18, 2013 - 1:53:21 PM
Last modification on : Saturday, September 15, 2018 - 1:03:06 AM

Identifiers

  • HAL Id : hal-00905551, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

151