NDLI: Verification of Replication Architectures in AADL

Content Provider	IEEE Xplore Digital Library
Author	de Niz, D. Feiler, P.H.
Copyright Year	2009
Abstract	An established approach to achieve fault tolerance is to deploy multiple copies of the same functionality on multiple processors to ensure that if one processor fails another can provide the same functionality. This approach is known as replication. In spite of the number of studieson the topic, designing a replication pattern is still error prone. This is due to the fact that its final behavior is theresult of the combination of design decisions that involves reasoning about a collection of non-deterministic eventssuch as hardware failures and parallel computations. Inthis paper we present an approach to model replicationpatterns in the Architecture Analysis and Design Language(AADL) and analyze potentially unintended behaviors. Suchan approach takes advantage of the strong semantics of AADL to model replication patterns at the architecture level.The approach involves developing two AADL models. Thefirst one defines the intended behavior in synchronous callsequences. And the second model describes the replication architecture. These two models are then compared using adifferential model in Alloy [5] where the requirements of thefirst model and the concurrency and potential failure of the second are combined. The additional behaviors discoveredin this model are presented to the designer as potential errors in the design. The designer then has the opportunity tomodify the replication architecture to correct these behaviorsor qualify them as valid behaviors. Finally, we validated ourapproach by recreating the verification experiment presentedin [6] but limiting ourselves to the AADL syntax.
Starting Page	365
Ending Page	370
File Size	172600
Page Count	6
File Format	PDF
ISBN	9780769537023
DOI	10.1109/ICECCS.2009.18
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-06-02
Publisher Place	Germany
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Object oriented modeling Computer architecture Fault tolerant systems Concurrent computing Pattern analysis Automotive engineering Runtime Fault tolerance Software engineering USA Councils Embedded AADL Replication Model-Based Engineering Model-Based Development Verification Real-Time
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Object-oriented software development with fault tolerance for distributed real-time systems

Solutions for Supporting Composition of Service-Based Real-Time Applications

PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems

Component Replication Based on Failover Units

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

On Resource Allocation in Architectural Models

Modeling and Integrating Aspects into Component Architectures

Fault tolerance in concurrent object-oriented software through coordinated error recovery

Smart objects for dependable real-time systems

Verification of Replication Architectures in AADL

Similar Documents

Object-oriented software development with fault tolerance for distributed real-time systems

Solutions for Supporting Composition of Service-Based Real-Time Applications

PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems

Component Replication Based on Failover Units

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

On Resource Allocation in Architectural Models

Modeling and Integrating Aspects into Component Architectures

Fault tolerance in concurrent object-oriented software through coordinated error recovery

Smart objects for dependable real-time systems

Verification of Replication Architectures in AADL