Behavioral modular description of fault tolerant distributed systems with AADL behavioral annex

NOTERE'10 - 10th Annual International Conference on New Technologies of Distributed Systems

Volumn , Issue , 2010, Pages 17-24

  Lasnier, Gilles ^a   Robert, Thomas ^a   Pautet, Laurent ^a   Kordon, Fabrice ^b  

^a INSTITUT TELECOM   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

AADL; Behavior; Fault tolerant; Real time distributed systems

Indexed keywords

AADL; ARCHITECTURAL DESCRIPTIONS; ARCHITECTURE DESCRIPTION LANGUAGES; BEHAVIOR; DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS; DISTRIBUTED SYSTEMS; FAULT TOLERANT DISTRIBUTED SYSTEMS; FAULT-TOLERANT; MODEL-BASED ENGINEERING; MODELING CAPABILITIES; MODELING LANGUAGES; PRIMARY-BACKUP; REAL-TIME DISTRIBUTED SYSTEMS; SYNCHRONIZATION MECHANISMS;

EMBEDDED SYSTEMS; FAULT TOLERANCE; LINGUISTICS; QUALITY ASSURANCE; REAL TIME SYSTEMS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 77955936355     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NOTERE.2010.5536853     Document Type: Conference Paper

References (10)

1. SAE, Architecture Analysis & Design Language v2.0 (AS5506), September 2008.
2. H. Zou and F. Jahanian, "Real-time primary-backup (RTPB) replication with temporal consistency guarantees," in 18th Int. Conference on Distributed Computing Systems (18th ICDCS'98). Amsterdam, The Netherlands: IEEE, May 1998.
3. P. M. Melliar-Smith and L. E. Moser, "Progress in real-time fault tolerance," in SRDS'2004. IEEE Computer Society, 2004, pp. 109-111.
4. T. Ayav, P. Fradet, and A. Girault, "Implementing fault-tolerance in realtime programs by automatic program transformations," ACM Transactions on Embedded Computing Systems, vol. 7, no. 4, pp. 45:1-43, 2008.
5. M. Pease, R. Shostak, and L. Lamport, "Reaching agreement in the presence of faults," JACM, vol. 27, no. 2, pp. 228-234, Apr. 1980.
6. F. B. Schneider, "Implementing fault-tolerant services using the state machine approach: A tutorial," ACM Comput. Surv, vol. 22, no. 4, pp. 299-319, 1990.
7. D. de Niz and P. H. Feiler, "Verification of replication architectures in AADL," in ICECCS. IEEE Computer Society, 2009, pp. 365-370.
8. G. Lasnier, B. Zalila, L. Pautet, and J. Hugues, "OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications," in Reliable Software Technologies'09 - Ada Europe, Brest, France, jun 2009.
9. SAE, Annex X Behavior Annex (AS5506-X draft-2.11), September 2009.
10. The Open Group, "The Open Group Base Specifications Issue 6 IEEE Std 1003.1," 2004.