Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 9695))
Included in the following conference series:
486Accesses
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
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 5719
- Price includes VAT (Japan)
- Softcover Book
- JPY 7149
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
More details about this case study, the textual description of its core AADL model as well as generated intermediate models are available athttp://goo.gl/QeXJMr. The description of the property setReplication_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. Computer30(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. Computer23(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
ReDCAD, University of Sfax, B.P. 1173, 3038, Sfax, Tunisia
Wafa Gabsi, Bechir Zalila & Mohamed Jmaiel
Digital Research Center of Sfax Technopark of Sfax, B.P. 275, Sakiet Ezzit, 3021, Sfax, Tunisia
Mohamed Jmaiel
- Wafa Gabsi
You can also search for this author inPubMed Google Scholar
- Bechir Zalila
You can also search for this author inPubMed Google Scholar
- Mohamed Jmaiel
You can also search for this author inPubMed Google Scholar
Corresponding author
Correspondence toWafa Gabsi.
Editor information
Editors and Affiliations
Università di Modena e Reggio Emilia, Modena, Italy
Marko Bertogna
CISTER Research Centre, Porto, Portugal
Luis Miguel Pinho
Barcelona Supercomputing Center, Barcelona, Spain
Eduardo Quiñones
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
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)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative