Dependability Benchmarking for Computer Systems

Dependability Benchmarking for Computer Systems
Author: Karama Kanoun
Publisher: John Wiley & Sons
Total Pages: 384
Release: 2008-10-03
Genre: Computers
ISBN: 0470370831

A comprehensive collection of benchmarks for measuring dependability in hardware-software systems As computer systems have become more complex and mission-critical, it is imperative for systems engineers and researchers to have metrics for a system's dependability, reliability, availability, and serviceability. Dependability benchmarks are useful for guiding development efforts for system providers, acquisition choices of system purchasers, and evaluations of new concepts by researchers in academia and industry. This book gathers together all dependability benchmarks developed to date by industry and academia and explains the various principles and concepts of dependability benchmarking. It collects the expert knowledge of DBench, a research project funded by the European Union, and the IFIP Special Interest Group on Dependability Benchmarking, to shed light on this important area. It also provides a large panorama of examples and recommendations for defining dependability benchmarks. Dependability Benchmarking for Computer Systems includes contributions from a credible mix of industrial and academic sources: IBM, Intel, Microsoft, Sun Microsystems, Critical Software, Carnegie Mellon University, LAAS-CNRS, Technical University of Valencia, University of Coimbra, and University of Illinois. It is an invaluable resource for engineers, researchers, system vendors, system purchasers, computer industry consultants, and system integrators.

Dependable Computing

Dependable Computing
Author: Marco Vieira
Publisher: Springer
Total Pages: 216
Release: 2013-11-13
Genre: Computers
ISBN: 3642387896

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.

Measuring Software Dependability by Robustness Benchmarking

Measuring Software Dependability by Robustness Benchmarking
Author: Arup Mukherjee
Publisher:
Total Pages: 24
Release: 1994
Genre: Software engineering
ISBN:

The resultant benchmark has successfully been used to identify new response class structures that were not detected in a similar situation by other less organized techniques."

Dependable Computing

Dependable Computing
Author: Rogério le Lemos
Publisher: Springer Science & Business Media
Total Pages: 384
Release: 2003-09-29
Genre: Computers
ISBN: 3540202242

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.

Performance Evaluation and Benchmarking

Performance Evaluation and Benchmarking
Author: Raghunath Nambiar
Publisher: Springer Science & Business Media
Total Pages: 278
Release: 2009-11-05
Genre: Business & Economics
ISBN: 3642104231

This book constitutes the reviewed proceedings of the first Conference on Performance Evaluation and Benchmarking, TPCTC 2009, held in Lyon, France, August 24-28,2009. The 16 full papers and two keynote papers were carefully selected from 34 submissions. This book considers issues such as appliance, business intelligence, cloud computing, complex event processing, database performance optimizations, green computing, data compression, disaster tolerance and recovery, energy and space efficiency, hardware innovations, high speed data generation, hybrid workloads or operational data warehousing, unstructured data management, software management and maintenance, virtualization and very large memory systems

Advances in Dependability Engineering of Complex Systems

Advances in Dependability Engineering of Complex Systems
Author: Wojciech Zamojski
Publisher: Springer
Total Pages: 503
Release: 2017-05-29
Genre: Technology & Engineering
ISBN: 331959415X

This book gathers the proceedings of the 2017 DepCoS-RELCOMEX, an annual conference series that has been organized by the Department of Computer Engineering at the Faculty of Electronics, Wrocław University of Science and Technology, since 2006. Its mission is to continue the heritage of the other two cycles of events – the RELCOMEX conferences (1977–89) and Microcomputer Schools (1985–95) – so this year we can celebrate the 40th anniversary of its origins. In contrast to those preceding series, which were focused on conventional reliability analysis, the goal of DepCoS is to promote a more comprehensive approach to system performability, which is now commonly called dependability. This innovative research area provides answers to the latest challenges in reliability evaluation for contemporary complex systems. Its novelty is based on a multi-disciplinary approach to system theory, technology and maintenance of systems operating in real environments. Dependability analyses concentrate on the efficient completion of tasks, services and jobs by a system considered as a combination of technical, information and human assets, in contrast to “classical” reliability, which is generally limited to the analysis of technical resources and associated components and structures. The selection of papers for this volume illustrates the diversity of topics that need to be considered, from mathematical models and design methodologies through software engineering and data security issues, to practical engineering problems in technical systems. In addition, this edition of the conference hosted the 7th CrISS-DESSERT Workshop, which was devoted to the analysis and assurance of safety and cyber security in critical infrastructure and computer systems.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: Maritta Heisel
Publisher: Springer Science & Business Media
Total Pages: 349
Release: 2004-09-09
Genre: Computers
ISBN: 3540231765

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

Dependability Benchmarking for Oltp Systems

Dependability Benchmarking for Oltp Systems
Author: Marco Vieira
Publisher: LAP Lambert Academic Publishing
Total Pages: 188
Release: 2010-03
Genre:
ISBN: 9783838307022

On-Line Transaction Processing (OLTP) systems are the core of the information systems that support the daily operations of organizations. The nonexistence of a practical way to evaluate dependability attributes, typically leads systems administrators to concentrate on performance tuning and neglect the aspects related to dependability. Transactional systems industry holds a well-established infrastructure for performance evaluation, where the benchmarks from the Transactional Performance Processing Council (TPC) represent the most successful benchmarking initiative of all computer industry. However, as performance evaluation has been the main focus, there are no dependability benchmarks for OLTP systems. This book addresses the dependability benchmarking problem and presents the DBench-OLTP benchmark. This benchmark specifies the measures and all components required to evaluate and compare performance and dependability in typical transactional systems. The use of DBench-OLTP is demonstrated through the evaluation and comparison of several systems that represent real alternatives for typical transactional environments, such as many e-commerce applications.

Dependable Computing Systems

Dependable Computing Systems
Author: Hassan B. Diab
Publisher: John Wiley & Sons
Total Pages: 693
Release: 2005-10-05
Genre: Computers
ISBN: 0471674222

A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.

Dependable Computer Systems

Dependable Computer Systems
Author: Wojciech Zamojski
Publisher: Springer Science & Business Media
Total Pages: 314
Release: 2011-05-13
Genre: Technology & Engineering
ISBN: 3642213936

Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources. This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.