Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
More details about this case study, the textual description of its core AADL model as well as generated intermediate models are available at http://goo.gl/QeXJMr. The description of the property set Replication_Properties, the transformation algorithms and other case studies are also given at the same link.
References
Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within MARTE. Softw. Syst. Model. 10(3), 313–336 (2011)
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)
Domokos, P., Majzik, I.: Automated construction of dependability models by aspect-oriented modeling and model transformation. In: ARCS Workshops, pp. 66–75 (2006)
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)
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)
Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68–74 (1997)
Hamid, B., Radermacher, A., Vanuxeem, P., Lanusse, A., Gerard, S.: A fault-tolerance framework for distributed component systems. In: EUROMICRO-SEAA (2008)
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)
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)
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)
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
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)
Niz, D.D., Feiler, P.H.: Verification of replication architectures in AADL. In: ICECCS, pp. 365–370 (2009)
Pinho, L., Vasques, F., Wellings, A.: Replication management in reliable real-time systems. Real-Time Syst. 26(3), 261–296 (2004)
SAE: Architecture Analysis and Design Language Annex: Behavioral Annex (2006)
SAE: Architecture Analysis and Design Language, April 2011
SAE: Architecture Analysis and Design Language Annex E: Error Model Annex, June 2014
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)
Warns, T.: Structural Failure Models for Fault-Tolerant Distributed Computing. Vieweg + Teubner Research : Software Engineering Research. Vieweg + Teubner, Wiesbaden (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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. https://doi.org/10.1007/978-3-319-39083-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-39083-3_9
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)