Skip to main content

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

  • 793 Accesses

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.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-23509-7_12
  • Chapter length: 17 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-23509-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   119.99
Price excludes VAT (USA)
Hardcover Book
USD   169.99
Price excludes VAT (USA)
Fig. 1
Fig. 2
Fig. 3


  1. 1.

    Recovery Block.

  2. 2.

    N Self-Checking Programming.

  3. 3.

    N-Version Programming.

  4. 4.

    More details about the Replication_Properties property set, the transformation algorithms and the case study are available at

  5. 5.

    The textual model generated after applying the list of transformation rules of the model shown in Fig. 3 and enriched with properties in listing 2 is available at


  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)

    CrossRef  Google Scholar 

  2. Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within marte. Softw. Syst. Model. 10(3), 313–336 (2011)

    CrossRef  Google Scholar 

  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. 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. 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. 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. Laprie, J.-C., Béounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39–51 (1990)

    CrossRef  Google Scholar 

  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. Niz, D.D., Feiler, P.H.: Verification of replication architectures in aadl. In: ICECCS, pp. 365–370 (2009)

    Google Scholar 

  10. Pinho, L., Vasques, F., Wellings, A.: Replication management in reliable real-time systems. Real-Time Syst. 26(3), 261–296 (2004)

    MATH  CrossRef  Google Scholar 

  11. SAE.: Architecture Analysis and Design Language (April 2011)

    Google Scholar 

  12. SAE.: Architecture Analysis and Design Language Annex E: Error Model Annex (June 2014)

    Google Scholar 

  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. Vergnaud, T., Zalila, B., Hugues, J.: Ocarina: a Compiler for the AADL. Technical Report, Telecom Paristech - France (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Wafa Gabsi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Gabsi, W., Zalila, B. (2016). Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. In: Lee, R. (eds) Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015. Studies in Computational Intelligence, vol 612. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23508-0

  • Online ISBN: 978-3-319-23509-7

  • eBook Packages: EngineeringEngineering (R0)