NDLI: Model driven configuration of fault tolerance solutions for component-based software system

Please wait, while we are loading the content...

Quantitative reactive models

Bottom-up meta-modelling: an interactive approach

Relaxing claims: coping with uncertainty while evaluating assumptions at run time

Automated and transparent model fragmentation for persisting large models

Modeling the linguistic architecture of software products

Incremental consistency checking for complex design rules and larger model changes

Multi-perspectives on feature models

Inter-association constraints in UML2: comparative analysis, usage recommendations, and modeling guidelines

An exploratory study of forces and frictions affecting large-scale model-driven development

Detecting specification errors in declarative languages with constraints

ATLTest: a white-box test generation approach for ATL transformations

A modeling approach to support the similarity-based reuse of configuration data

Generation of operational transformation rules from examples of model transformations

An approach for synchronizing UML models and narrative text in literate modeling

Experiences of applying UML/MARTE on three industrial projects

Transition to model-driven engineering: what is revolutionary, what remains the same?

Sensitivity analysis in model-driven engineering

Weaving-based configuration and modular transformation of multi-layer systems

FacadeMetamodel: masking UML

Dynamic evolution of context-aware systems with models at runtime

Formally defining and iterating infinite models

Cross-language support mechanisms significantly aid software development

Evaluating the impact of aspects on inconsistency detection effort: a controlled experiment

Generating better partial covering arrays by modeling weights on sub-product lines

The coroutine model of computation

A model-driven approach to support engineering changes in industrial robotics software

From UML and OCL to relational logic and back

Empirical evaluation on FBD model-based test coverage criteria using mutation analysis

Model driven configuration of fault tolerance solutions for component-based software system

Using feature model to build model transformation chains

Model matching for trace link generation in model-driven software development

Cost estimation for model-driven engineering

Towards an automatic service discovery for UML-based rich service descriptions

Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing

Research-based innovation: a tale of three projects in model-driven engineering

T-square: a domain specific language for rapid workflow development

An eclipse modelling framework alternative to meet the models@runtime requirements

Query-driven soft interconnection of EMF models

Do professional developers benefit from design pattern documentation? a replication in the context of source code comprehension

On integrating structure and behavior modeling with OCL

Towards business application product lines

Assume-guarantee scenarios: semantics and synthesis

Managing related models in vehicle control software development

On verifying ATL transformations using 'off-the-shelf' SMT solvers

Seeing errors: model driven simulation trace visualization

Applying a consistency checking framework for heterogeneous models and artifacts in industrial product lines

A generic approach simplifying model-to-model transformation chains

Matching business process workflows across abstraction levels

Evaluating the effort of composing design models: a controlled experiment

A product line modeling and configuration methodology to support model-based testing: an industrial case study

An industrial system engineering process integrating model driven architecture and model based design

Model driven configuration of fault tolerance solutions for component-based software system

Content Provider	ACM Digital Library
Author	Wu, Yihan Song, Hui Huang, Gang Zhang, Ying
Abstract	Fault tolerance is very important for complex component-based software systems, but its configuration is complicated and challenging. In this paper, we propose a model driven approach to semi-automatic configuration of fault tolerance solutions. At design time, a set of reusable fault tolerance solutions are modeled as architecture styles, with the key properties verified by model checking. At runtime, the runtime software architecture of the target system is automatically constructed by the code generated from the given architectural meta-model. Then, the impact of each component on the system reliability is automatically analyzed to recommend which components should be considered in the fault tolerance configuration. Finally, after which components are guaranteed by what fault tolerance solution is decided by the system administration, the architecture model is automatically changed by merging with the selected fault tolerance styles and finally, these changes are automatically propagated to the target system. This approach is evaluated on Java enterprise systems.
Starting Page	514
Ending Page	530
Page Count	17
ISBN	9783642336652
ISSN	03029743
DOI	10.1007/978-3-642-33666-9_33
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-09-30
Publisher Place	Berlin, Heidelberg
Access Restriction	Subscribed
Subject Keyword	Fault tolerance Component-based system Software architecture Mode driven approach Dynamic configuration
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Science

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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