Skip to main content

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance

  • 433 Accesses

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 9695)


Replication is a reliability technique that involves redundancy of software or hardware components to guarantee availability for fault tolerance purposes. Several studies focused on modelling fault tolerance of real-time embedded systems using replication of AADL (Architecture Analysis & Design Language) components. Manual replication with AADL is a tedious task, error-prone and increases design time.

To support the automatic replication of AADL components, we propose in this paper an extension of the AADL Ocarina tool suite. For that, based on a set of transformation rules, we assist the designer to automatically generate standard AADL models enriched with variants and adjudicators. This is based on a three-step model driven approach. First, we enable the designer to model his or her core application using AADL. Second, the designer enriches the model with a property set that we defined to describe replication concepts. Finally, applying a set of transformation rules, we generate an intermediate AADL model enriched with different replicas using Ocarina. This generated model can be analysed, formally verified, used for application code generation or even replication of other components. To illustrate our approach, we apply an active replication to a robot system chosen as a case study.


  • Fault-tolerance
  • Replication
  • AADL modelling
  • Ocarina
  • Active replication
  • Passive replication

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-39083-3_9
  • Chapter length: 16 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   44.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-39083-3
  • 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   59.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.


  1. 1.

    More details about this case study, the textual description of its core AADL model as well as generated intermediate models are available at The description of the property set Replication_Properties, the transformation algorithms and other case studies are also given at the same link.


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

    CrossRef  Google Scholar 

  2. Carzaniga, A., Gorla, A., Pezzè, M.: Handling software faults with redundancy. In: de Lemos, R., Fabre, J.-C., Gacek, C., Gadducci, F., ter Beek, M. (eds.) Architecting Dependable Systems VI. LNCS, vol. 5835, pp. 148–171. Springer, Heidelberg (2009)

    Google Scholar 

  3. Domokos, P., Majzik, I.: Automated construction of dependability models by aspect-oriented modeling and model transformation. In: ARCS Workshops, pp. 66–75 (2006)

    Google Scholar 

  4. Gabsi, W., Zalila, B.: Fault tolerance for distributed real time dynamically reconfigurable systems from modeling to implementation. In: WETICE - AROSA, Hammamet, Tunisia, pp. 98–103. IEEE Computer Society (2013)

    Google Scholar 

  5. Gabsi, W., Zalila, B.: Towards a model level replication technique for fault tolerant systems using AADL. In: Lee, R. (ed.) Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015. SCI, vol. 612, pp. 159–175. Springer, Heidelberg (2015)

    CrossRef  Google Scholar 

  6. Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68–74 (1997)

    CrossRef  Google Scholar 

  7. Hamid, B., Radermacher, A., Vanuxeem, P., Lanusse, A., Gerard, S.: A fault-tolerance framework for distributed component systems. In: EUROMICRO-SEAA (2008)

    Google Scholar 

  8. Laprie, J.-C., Arlat, J., Béounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39–51 (1990)

    CrossRef  Google Scholar 

  9. 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 

  10. Lasnier, G., Zalila, B., Pautet, L., Hugues, J.: Ocarina: an environment for AADL models analysis and automatic code generation for high integrity applications. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 237–250. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  11. Liu, L., Wu, Z., Ma, Z., Cai, Y.: A dynamic fault tolerant algorithm based on active replication. In: Seventh International Conference on Grid and Cooperative Computing, 2008, GCC 2008, pp. 557–562 October 2008

    Google Scholar 

  12. Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M.: From AADL model to LNT specification. In: de la Puente, J.A., Vardanega, T. (eds.) Ada-Europe 2015. LNCS, vol. 9111, pp. 146–161. Springer, Heidelberg (2015)

    CrossRef  Google Scholar 

  13. Niz, D.D., Feiler, P.H.: Verification of replication architectures in AADL. In: ICECCS, pp. 365–370 (2009)

    Google Scholar 

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

    CrossRef  MATH  Google Scholar 

  15. SAE: Architecture Analysis and Design Language Annex: Behavioral Annex (2006)

    Google Scholar 

  16. SAE: Architecture Analysis and Design Language, April 2011

    Google Scholar 

  17. SAE: Architecture Analysis and Design Language Annex E: Error Model Annex, June 2014

    Google Scholar 

  18. Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: International ACM SIGADA Conference, Atlanta, pp. 1–8 (2004)

    Google Scholar 

  19. Warns, T.: Structural Failure Models for Fault-Tolerant Distributed Computing. Vieweg + Teubner Research : Software Engineering Research. Vieweg + Teubner, Wiesbaden (2010)

    CrossRef  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., Jmaiel, M. (2016). Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In: Bertogna, M., Pinho, L., Quiñones, E. (eds) Reliable Software Technologies – Ada-Europe 2016. Ada-Europe 2016. Lecture Notes in Computer Science(), vol 9695. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39082-6

  • Online ISBN: 978-3-319-39083-3

  • eBook Packages: Computer ScienceComputer Science (R0)