Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL

Conference paper
Part of the Studies in Computational Intelligence book series (SCI, volume 612)


The replication, a technique widely used for fault tolerance purposes, is defined as the redundancy of software, hardware or both units and their consideration in the execution of the application. In this paper, we propose a new technique to design replication using the AADL language and its extensibility with property sets. We choose AADL to take advantage of its strong semantics at architecture level. We enable the designer to model his application using AADL and to enrich it with the property set Replication_Properties. We defined this property set to describe the adopted concepts of replication. Then, based on a set of transformation rules, we generate an intermediate AADL model enriched with different replicas. Currently, we are extending the Ocarina tool suite to support automatic generation of the target model.


Model Transformation Fault Tolerance Transformation Rule Active Replication Consensus Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11–33 (2004)CrossRefGoogle Scholar
  2. 2.
    Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within marte. Softw. Syst. Model. 10(3), 313–336 (2011)CrossRefGoogle Scholar
  3. 3.
    Carzaniga, A., Gorla, A.: and M. Pezz. Handling software faults with redundancy. In: Lemos, R., Fabre, J.-C., Gacek, C., Gadducci, F., Beek, M. (eds.) Architecting Dependable Systems VI. Lecture Notes in Computer Science, vol. 5835, pp. 148–171. Springer, Berlin Heidelberg (2009)Google Scholar
  4. 4.
    Domokos, P., Majzik, I.: Design and analysis of fault tolerant architectures by model weaving. In: International Symposium on High-Assurance Systems Engineering (HASE) (2005)Google Scholar
  5. 5.
    Gabsi, W., Bouaziz, R., Zalila, B.: Towards an aspect oriented language compliant with real time constraints. In: WETICE - AROSA, pp. 68–73. IEEE Computer Society, Hammamet, Tunisia (2013)Google Scholar
  6. 6.
    Gabsi, W., Zalila, B.: Fault tolerance for distributed real time dynamically reconfigurable systems from modeling to implementation. In: WETICE - AROSA, pp. 98–103. IEEE Computer Society, Hammamet, Tunisia (2013)Google Scholar
  7. 7.
    Laprie, J.-C., Béounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39–51 (1990)CrossRefGoogle Scholar
  8. 8.
    Lasnier, G., Robert, T., Pautet, L., Kordon, F., Behavioral modular description of fault tolerant distributed systems with aadl behavioral annex. In: NOTERE, pp. 17–24 (2010)Google Scholar
  9. 9.
    Niz, D.D., Feiler, P.H.: Verification of replication architectures in aadl. In: ICECCS, pp. 365–370 (2009)Google Scholar
  10. 10.
    Pinho, L., Vasques, F., Wellings, A.: Replication management in reliable real-time systems. Real-Time Syst. 26(3), 261–296 (2004)zbMATHCrossRefGoogle Scholar
  11. 11.
    SAE.: Architecture Analysis and Design Language (April 2011)Google Scholar
  12. 12.
    SAE.: Architecture Analysis and Design Language Annex E: Error Model Annex (June 2014)Google Scholar
  13. 13.
    Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: International ACM SIGADA Conference, pages 1–8. Atlanta (2004)Google Scholar
  14. 14.
    Vergnaud, T., Zalila, B., Hugues, J.: Ocarina: a Compiler for the AADL. Technical Report, Telecom Paristech - France (2006)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.ReDCAD Laboratory, National School of Engineers of SfaxUniversity of SfaxSfaxTunisia

Personalised recommendations