Architecting Dependable Systems II by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky

By Rogério de Lemos, Cristina Gacek, Alexander Romanovsky

As software program platforms turn into ubiquitous, the problems of dependability develop into increasingly more serious. provided that recommendations to those matters needs to be taken under consideration from the very starting of the layout procedure, it's acceptable that dependability is addressed on the architectural point. This book results from an attempt to compile the study groups of software program architectures and dependability. encouraged through the ICSE 2003 Workshop on software program Architectures for responsible structures, the e-book makes a speciality of subject matters correct to bettering the cutting-edge in architecting responsible structures. The 15 completely reviewed papers originate in part from the workshop; others have been solicited so that it will in attaining entire assurance of all suitable elements. The papers are geared up into topical sections on architectures for dependability, fault-tolerance in software program architectures, dependability research in software program architectures, and business event.

Show description

Read Online or Download Architecting Dependable Systems II PDF

Similar software design & engineering books

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

This quantity includes completely refereed and revised complete papers chosen from the shows on the first workshop held less than the auspices of the ESPRIT easy examine motion 6453 kinds for Proofs and courses in Nijmegen, The Netherlands, in may possibly 1993. because the entire ESPRIT BRA 6453, this quantity is dedicated to the theoretical foundations, layout and functions of structures for conception improvement.

Software Engineering Research, Management and Applications 2010

The aim of the eighth convention on software program Engineering, man made Intelligence study, administration and purposes (SERA 2010) hung on might 24 – 26, 2010 in Montreal, Canada used to be to compile scientists, engineers, machine clients, and scholars to percentage their studies and alternate new principles and study effects approximately all facets (theory, purposes and instruments) of desktop and knowledge technology, and to debate the sensible demanding situations encountered alongside the way in which and the suggestions followed to resolve them.

Machine-to-Machine Communications: Architectures, Technology, Standards, and Applications

With the variety of machine-to-machine (M2M)–enabled units projected to arrive 20 to 50 billion through 2020, there's a severe have to comprehend the calls for imposed by means of such platforms. Machine-to-Machine Communications: Architectures, know-how, criteria, and functions deals rigorous therapy of the numerous elements of M2M communique, together with its integration with present expertise.

Extra info for Architecting Dependable Systems II

Example text

The service group represents the controlled process. It can be influenced by the monitor by restarting crashed services. The feedback from the process to the monitor is only implicitly present in the architecture. The monitor periodically checks via the lookup service if a specific service has not crashed. 40 Matthias Tichy and Holger Giese The availability of the application service group is influenced by the service failure rate The measured availability of the application services is fed into the parameter identification unit.

Instead, the observed obstacles should be addressed by a component-wise analysis which at run-time monitors and controls the dynamic reconfiguration of the architecture to prevent system reliability and availability to decrease below the required level. Such a software tries to compensate failures (originated from defects of its hardware and software components) by means of repair and it tries to compensate changes of the environment by adaption of its maintenance activities to keep the system’s availability and reliability above the required level.

In Figure 4 the model of our example scenario is shown in form of a generalized stochastic Petri net. All architecture parameters (times and quantities), which have been described in the previous section, are used in this architectural model of a group of identical application services. 36 Matthias Tichy and Holger Giese Fig. 4. GSPN model of the architecture A Self-optimizing Run-Time Architecture for Configurable Dependability of Services 37 The net consists of mainly three parts. The lower left part of the system models the different states of the application service instances.

Download PDF sample

Rated 4.71 of 5 – based on 24 votes