Introduction to the Dependability Modeling of Computer Systems

Zamojski, Wojciech; Caban, Dariusz

doi:10.1109/depcos-relcomex.2006.35

Cited by 11 publications

(7 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Last but not least fault tolerance and system reliability has been the subject of many works and studies in the last decades [26]. A system may fail first because of incorrect specification, incorrect design, design flaws, poor testing, or undetected fault.…”

Section: Related Workmentioning

confidence: 99%

Reliable self-deployment of cloud applications

Etchevers

Salaün

Boyer

et al. 2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Cloud applications consist of a set of interconnected software elements distributed over several virtual machines, themselves hosted on remote physical servers. Most existing solutions for deploying such applications require human intervention to configure parts of the system, do not respect functional dependencies among elements that must be respected when starting them, and do not handle virtual machine failures that can occur when deploying an application. This paper presents a self-deployment protocol that was designed to automatically configure a set of software elements to be deployed on different virtual machines. This protocol works in a decentralized way, i.e., there is no need for a centralized server. It also starts the software elements in a certain order, respecting important architectural invariants. This protocol supports virtual machine and network failures, and always succeeds in deploying an application when faced with a finite number of failures. Designing such highly parallel management protocols is difficult, therefore formal modeling techniques and verification tools were used for validation purposes. The protocol was implemented in Java and was used to deploy industrial applications.

show abstract

Section: Related Workmentioning

confidence: 99%

Reliable self-deployment of cloud applications

Etchevers

Salaün

Boyer

et al. 2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…based on functional redundancy, instead of traditional approaches introducing spare components which is no longer viable [SCH], the presented framework aims at implementing the set of forward-looking means previously considered mostly separately [9]. These are: proactive detection [4,7], transparent recovery [4], and prioritized reconfiguration [3,8].…”

Section: Objectivesmentioning

confidence: 99%

“…Then, we refer to these systems as Service-oriented Information Systems (SIS). Unfortunately, because of this complexity SIS performance and even more can be jeopardized in numerous ways by incidents of various kinds [9,10]. Information system failure characteristics are summarized in [8].…”

Section: Introductionmentioning

confidence: 99%

“…In order to tackle a problem of possible threats and simultaneously handle increasing requirements imposed by continuously growing number of users, state of the art mission-critical SIS have to treat carefully a matter of dependability (also considered as "survivability" [9,10]) of business services implemented by these systems. Roughly speaking described concept of fully integrated management platform (Unified Operational System -UOS) with proposed Comprehensive Planning Platform (CPP) framework aims at increasing dependability of existing and newly designed systems focusing on functionalities they provide to end users.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Comprehensive Planning Platform Framework for Managing Service-Oriented Information Systems

Woda

Bagrij

2008

2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX

View full text Add to dashboard Cite

Proposed framework provides methodologies and tools for enhancing information systems dependability by assisting in planning the system operations. For that reason the following steps are taken: model the system, analyze its expected behaviour to identify potential problems and weaknesses, and finally automatically generate the system configurations according to various operational modes. The approach postulate for creating: the models and tools to express the policies (dependability, detection and reaction) as well as for describing the target system, its operation modes and threats.

show abstract

“…Second, to decide about the timing and extent of the maintenance activities, we propose guidelines based on system and component thresholds. We distinguish between 'system-wide maintenance' and 'componentlevel maintenance' (commonly referred to as 'global maintenance' and 'local maintenance') (Zamojski and Caban 2006;Krekora and Caban 2007;Tezcan and Wang 2007). …”

Section: Introductionmentioning

confidence: 99%

A particle swarm model for estimating reliability and scheduling system maintenance

Puzis

Shirtz

Elovici

2014

Enterprise Information Systems

View full text Add to dashboard Cite

Modifying data and information system components may introduce new errors and deteriorate the reliability of the system. Reliability can be efficiently regained with reliability centred maintenance, which requires reliability estimation for maintenance scheduling. A variant of the particle swarm model is used to estimate reliability of systems implemented according to the model view controller paradigm. Simulations based on data collected from an online system of a large financial institute are used to compare three component-level maintenance policies. Results show that appropriately scheduled component-level maintenance greatly reduces the cost of upholding an acceptable level of reliability by reducing the need in system-wide maintenance.

show abstract

Introduction to the Dependability Modeling of Computer Systems

Cited by 11 publications

References 1 publication

Reliable self-deployment of cloud applications

Reliable self-deployment of cloud applications

Comprehensive Planning Platform Framework for Managing Service-Oriented Information Systems

A particle swarm model for estimating reliability and scheduling system maintenance

Contact Info

Product

Resources

About