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

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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 


  1. 1.
    Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within MARTE. Softw. Syst. Model. 10(3), 313–336 (2011)CrossRefGoogle Scholar
  2. 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. 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. 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. 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)CrossRefGoogle Scholar
  6. 6.
    Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68–74 (1997)CrossRefGoogle Scholar
  7. 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. 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)CrossRefGoogle Scholar
  9. 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. 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)CrossRefGoogle Scholar
  11. 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 2008Google Scholar
  12. 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)CrossRefGoogle Scholar
  13. 13.
    Niz, D.D., Feiler, P.H.: Verification of replication architectures in AADL. In: ICECCS, pp. 365–370 (2009)Google Scholar
  14. 14.
    Pinho, L., Vasques, F., Wellings, A.: Replication management in reliable real-time systems. Real-Time Syst. 26(3), 261–296 (2004)CrossRefzbMATHGoogle Scholar
  15. 15.
    SAE: Architecture Analysis and Design Language Annex: Behavioral Annex (2006)Google Scholar
  16. 16.
    SAE: Architecture Analysis and Design Language, April 2011Google Scholar
  17. 17.
    SAE: Architecture Analysis and Design Language Annex E: Error Model Annex, June 2014Google Scholar
  18. 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. 19.
    Warns, T.: Structural Failure Models for Fault-Tolerant Distributed Computing. Vieweg + Teubner Research : Software Engineering Research. Vieweg + Teubner, Wiesbaden (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.ReDCAD, University of SfaxSfaxTunisia
  2. 2.Digital Research Center of Sfax Technopark of SfaxSfaxTunisia

Personalised recommendations