Architecting Dependable Systems IV

Architecting Dependable Systems IV
Author: Rogério de Lemos
Publisher: Springer Science & Business Media
Total Pages: 446
Release: 2007-08-15
Genre: Computers
ISBN: 3540740333

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Architecting Dependable Systems VI

Architecting Dependable Systems VI
Author: Rogério de Lemos
Publisher: Springer
Total Pages: 346
Release: 2009-10-27
Genre: Computers
ISBN: 3642102484

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.

Architecting Dependable Systems III

Architecting Dependable Systems III
Author: Rogério de Lemos
Publisher: Springer Science & Business Media
Total Pages: 357
Release: 2005-09-15
Genre: Computers
ISBN: 3540289682

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.

Software Architecture

Software Architecture
Author: Ronald Morrison
Publisher: Springer
Total Pages: 377
Release: 2008-09-22
Genre: Computers
ISBN: 3540880305

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering. It is the follow-up of a successful series of European workshops on software architecture held in the UK in 2004 (Springer LNCS 3047), Italy in 2005 (Springer LNCS 3527), and France in 2006 (Springer LNCS 4344). It evolved into a series of European conferences whose first edition was ECSA 2007, held in Madrid, Spain during September 24–26, 2007 (Springer LNCS 4758). This year’s conference was held at the beautiful Coral Beach Hotel and Resort near Paphos in Cyprus. As with the previous versions of the conference, ECSA 2008 (Springer LNCS 5292) provided an international forum for researchers and practitioners from academia and industry to present innovative research and to discuss a wide range of topics in the area of software architecture. It focused on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. Covered topics included architecture modelling, architecture description languages, architectural aspects, architecture analysis, transformation and synthesis, architecture evolution, quality attributes, model-driven engineering, built-in testing and architecture-based support for component-based and service-oriented systems. The conference attracted paper submissions from 29 countries (Australia, Belgium, Brazil, Canada, China, Chile, Denmark, Finland, France, Germany, Greece, Ireland, Italy, Lithuania, Luxembourg, Malta, The Netherlands, Norway, Pakistan, Peru, - land, Portugal, Romania, South Africa, Spain, Turkey, the UK, USA, and Venezuela).

Architecting Critical Systems

Architecting Critical Systems
Author: Holger Giese
Publisher: Springer
Total Pages: 203
Release: 2010-06-07
Genre: Computers
ISBN: 3642135560

Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques, and tools must address issues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will fulfill their specified services in a dependable and secure manner. The different attributes of dependability and security cannot be considered in isolation for today’s critical systems, as architecting critical systems essentially means finding the right trade-off among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security, and testing/analysis, each addressing to some extent the architecting of critical systems from their specific perspective. To this end, the symposium united the following three former events: the Workshop on Architecting Dependable Systems (WADS); the Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA); and the Workshop on Views on Designing Complex Architectures.

Architecting Dependable Systems IV

Architecting Dependable Systems IV
Author: Rogério de Lemos
Publisher: Springer
Total Pages: 446
Release: 2007-08-29
Genre: Computers
ISBN: 354074035X

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Author: David Powell
Publisher: Springer Science & Business Media
Total Pages: 249
Release: 2013-04-17
Genre: Computers
ISBN: 1475733534

The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology.

Dependable Systems and Networks (DSN 2001) (Formerly FTCS)

Dependable Systems and Networks (DSN 2001) (Formerly FTCS)
Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 562
Release: 2001
Genre: Architecture
ISBN: 9780769511016

Proceedings of a July 2001 conference, covering all aspects of dependability in classical and networked computer systems, as well as topical areas in IT. There is a special focus on safety and security issues in embedded, multimedia, and Internet applications. Papers are in sections on modeling, algorithms, software demos, replication, software robustness, survivability and security, wireless and mobile communications, real-time, testing and runtime error detection, models for fault tolerance, hardware architecture and design, group-oriented systems, and practical experiences. Specific topics include model- based synthesis of fault trees from MATLAB, a dynamic replica selection algorithm for tolerating timing faults, constructing self- testable software components, and intrusion-tolerant group management in enclaves. This volume lacks a subject index. c. Book News Inc.