Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015

Part of the book series: Studies in Computational Intelligence ((SCI,volume 612))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  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 http://goo.gl/EEQhLK.

  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 http://goo.gl/EEQhLK.

References

  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)

    Article  Google Scholar 

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

    Article  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)

    Article  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)

    Article  MATH  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

  1. ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038, Sfax, Tunisia

    Wafa Gabsi & Bechir Zalila

Authors
  1. Wafa Gabsi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bechir Zalila
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wafa Gabsi .

Editor information

Editors and Affiliations

  1. Software Engineering and Information Technology Institute, Central Michigan University, Mount Pleasant, Michigan, USA

    Roger Lee

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. https://doi.org/10.1007/978-3-319-23509-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23509-7_12

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation