Concurrency In Dependable Computing

Author : Paul Ezhilchelvan,Alexander Romanovsky
Publisher : Springer Science & Business Media
Page : 312 pages
File Size : 42,9 Mb
Release : 2013-03-14
Category : Computers
ISBN : 9781475735734

Get Book

Concurrency in Dependable Computing by Paul Ezhilchelvan,Alexander Romanovsky Pdf

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures. Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically. Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols. Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.

Author : Juerg Kohlas,Bertrand Meyer,André Schiper
Publisher : Springer
Page : 306 pages
File Size : 47,6 Mb
Release : 2006-11-23
Category : Computers
ISBN : 9783540368236

Get Book

Dependable Systems: Software, Computing, Networks by Juerg Kohlas,Bertrand Meyer,André Schiper Pdf

Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology. The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.

Author : Gary M. Koob,Clifford G. Lau
Publisher : Springer Science & Business Media
Page : 224 pages
File Size : 41,5 Mb
Release : 1994-09-30
Category : Computers
ISBN : 9780792394853

Get Book

Foundations of Dependable Computing by Gary M. Koob,Clifford G. Lau Pdf

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. The companion volume subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.

Author : Gary M. Koob,Clifford G. Lau
Publisher : Springer Science & Business Media
Page : 325 pages
File Size : 40,9 Mb
Release : 2007-08-19
Category : Computers
ISBN : 9780585280028

Get Book

Foundations of Dependable Computing by Gary M. Koob,Clifford G. Lau Pdf

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead. A companion to this volume (published by Kluwer) subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. Another companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems.

Author : Andrzej Hlawiczka,Joao G.S. Silva,Luca Simoncini
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 45,9 Mb
Release : 1996-09-18
Category : Computers
ISBN : 3540617728

Get Book

Dependable Computing - EDCC-2 by Andrzej Hlawiczka,Joao G.S. Silva,Luca Simoncini Pdf

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

Author : Carl E. Landwehr,Brian Randell,Luca Simoncini
Publisher : Springer Science & Business Media
Page : 380 pages
File Size : 43,9 Mb
Release : 2013-06-29
Category : Computers
ISBN : 9783709140093

Get Book

Dependable Computing for Critical Applications 3 by Carl E. Landwehr,Brian Randell,Luca Simoncini Pdf

This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.

Author : Andrea Bondavalli,Francisco Brasileiro,Sergio Rajsbaum
Publisher : Springer
Page : 242 pages
File Size : 51,9 Mb
Release : 2007-09-12
Category : Computers
ISBN : 9783540752943

Get Book

Dependable Computing by Andrea Bondavalli,Francisco Brasileiro,Sergio Rajsbaum Pdf

This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.

Author : Michel Raynal
Publisher : Springer Science & Business Media
Page : 530 pages
File Size : 49,8 Mb
Release : 2012-12-30
Category : Computers
ISBN : 9783642320279

Get Book

Concurrent Programming: Algorithms, Principles, and Foundations by Michel Raynal Pdf

This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book. In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems.

Author : Klaus Echtle,Dieter Hammer,David Powell
Publisher : Springer Science & Business Media
Page : 642 pages
File Size : 50,9 Mb
Release : 1994-09-21
Category : Computers
ISBN : 3540584269

Get Book

Dependable Computing - EDCC-1 by Klaus Echtle,Dieter Hammer,David Powell Pdf

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

Author : Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen
Publisher : CRC Press
Page : 346 pages
File Size : 45,8 Mb
Release : 2009-09-28
Category : Computers
ISBN : 9781420072143

Get Book

Introduction to Concurrency in Programming Languages by Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen Pdf

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book describes the historical development of current programming languages and the common threads that exist among them. It also contains several chapters on design patterns for parallel programming and includes quick reference guides to OpenMP, Erlang, and Cilk. Ancillary materials are available on the book's website.

Author : Jan Hlavicka,Erik Maehle,Andras Pataricza
Publisher : Springer
Page : 462 pages
File Size : 45,5 Mb
Release : 2003-06-26
Category : Computers
ISBN : 9783540482543

Get Book

Dependable Computing - EDDC-3 by Jan Hlavicka,Erik Maehle,Andras Pataricza Pdf

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took over the responsibility for this conference, but there are three national in terest groups that sent delegates to the steering committee and support its activities, especially by promoting the conference materials. As can be seen from these materi als, they are the SEE Working Group “Dependable Computing” (which is a successor organizationof AFCET)in France,theGI/ITG/GMATechnicalCommitteeonDepend ability and Fault Tolerance in Germany, and the AICA Working Group “Dependability of Computer Systems” in Italy. In addition, committees of several global professional organizations, such as IEEE and IFIP, support this conference. Prague has been selected as a conference venue for several reasons. It is an easily accessible location that may attract many visitors by its beauty and that has a tradition in organizing international events of this kind (one of the last FTSD conferences took place here).

Author : Jean-Pierre Rosen,Alfred Strohmeier
Publisher : Springer
Page : 432 pages
File Size : 48,7 Mb
Release : 2003-08-03
Category : Technology & Engineering
ISBN : 9783540449478

Get Book

Reliable Software Technologies -- Ada-Europe 2003 by Jean-Pierre Rosen,Alfred Strohmeier Pdf

The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.

Author : Brian Randell,Jean-Claude Laprie,Hermann Kopetz,Bev Littlewood
Publisher : Springer Science & Business Media
Page : 592 pages
File Size : 50,5 Mb
Release : 2013-11-11
Category : Computers
ISBN : 9783642797897

Get Book

Predictably Dependable Computing Systems by Brian Randell,Jean-Claude Laprie,Hermann Kopetz,Bev Littlewood Pdf

Author : Bengt Jonsson,Joachim Parrow
Publisher : Springer
Page : 541 pages
File Size : 51,7 Mb
Release : 2006-04-10
Category : Computers
ISBN : 9783540486541

Get Book

CONCUR '94: Concurrency Theory by Bengt Jonsson,Joachim Parrow Pdf

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

Author : Johann Blieberger,Alfred Strohmeier
Publisher : Springer
Page : 370 pages
File Size : 49,5 Mb
Release : 2003-08-02
Category : Computers
ISBN : 9783540480464

Get Book

Reliable Software Technologies - Ada-Europe 2002 by Johann Blieberger,Alfred Strohmeier Pdf

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.