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.

lgrsnf/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing, 1 conf., LADC 2003(LNCS2847, Springer, 2003)(ISBN 3540202242)(383s)_CsLn_.pdf

nexusstc/Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings/cefebad692ef923e659b56758f5534fb.pdf

zlib/Computers/Computer Science/Karama Kanoun (auth.), Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.)/Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings_766657.pdf

Dependable Computing: First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science)

Rogerio de Lemos ; Taisy Silva Weber ; Joao Batista Camargo,Springer

Rogério le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr.

LADC 2003 (2003 São Paulo, Brazil)

Rogério de Lemos; LADC

Springer Spektrum. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer London, Limited

Lecture notes in computer science -- 2847., Berlin, New York, Germany, 2003

1 edition, November 13, 2003

Germany, Germany

Kolxo3

lg341072

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540202242","3540452141","9783540202240","9783540452140"],"issns":["0302-9743","1611-3349"],"last_page":374,"publisher":"Springer","series":"Lecture Notes in Computer Science 2847"}

Includes bibliographical references and index.

Includes bibliographical references and index.
Also available via the World Wide Web.

Front Matter....Pages -
Dependability Benchmarking: How Far Are We?....Pages 1-1
Safety-Critical Systems in Air Traffic Management....Pages 2-3
Managed Utility Computing: The Grid as Management Backplane....Pages 4-7
Plug and Play Fault Injector for Dependability Benchmarking....Pages 8-22
Non-intrusive Software-Implemented Fault Injection in Embedded Systems....Pages 23-38
Constraints on the Use of Boundary-Scan for Fault Injection....Pages 39-55
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool....Pages 56-68
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol....Pages 69-80
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures....Pages 81-101
Building Trust Chains between CORBA Objects....Pages 102-116
An Architecture for On-the-Fly File Integrity Checking....Pages 117-126
Fault Injection Tool for Network Security Evaluation....Pages 127-136
Emulation of Software Faults: Representativeness and Usefulness....Pages 137-159
Managing Adaptive Fault Tolerant CORBA Applications....Pages 160-180
Adaptable Objects for Dependability....Pages 181-196
A Genetic Algorithm for Fault-Tolerant System Design....Pages 197-213
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage....Pages 214-233
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services....Pages 234-253
A Lightweight Interface to Predict Communication Delays Using Time Series....Pages 254-263
A New Diagnosis Algorithm for Regular Interconnected Structures....Pages 264-281
A Tool for Fault Injection and Conformance Testing of Distributed Systems....Pages 282-302
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation....Pages 303-320
An Architectural-Level Exception-Handling System for Component-Based Applications....Pages 321-340
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems....Pages 341-360
Panel “Dependability Benchmarks: Can We Rely on Them?”....Pages 361-361
Workshop on Safety: Computer Systems in Critical Applications....Pages 362-362
Second Workshop on Theses and Dissertations in Dependable Computing....Pages 363-363
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML....Pages 364-365
On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial....Pages 366-368
A Practical Approach to Quality Assurance in Critical Systems....Pages 369-370
Back Matter....Pages -

This Is The ?rst Edition Of The Latin American Symposium On Dependable C- Puting (proceedings Of The Ladc). Ladc Is The Sole Latin American Event Dedicated To Discussing The Many Issues Related To Computer System Depen- Bility. This Symposium Succeeded The Well Established Brazilian Symposium On Fault Tolerant Computers, Which Was A Biennial Event That Lasted For 20 Years. Although The Symposium Was Based In Latin America, The Intention Was To Attractresearchersfromallovertheworld. Therewere46papersubmissionsfrom Europe, And South And North America. The Selection Process Was Rigorous, With Eachmanuscriptbeingsentoutforreviewtofourprogramcommitteemembers. A Total Of 19 Papers Were Selected To Be Included In The Proceedings, Of Which Two Were Experience Reports And Three Were Short Papers. In Addition To These Papers, We Also Invited Henrique Madeira And Eliane Martins To Contribute With Two Papers, And We Were Very Grateful That They Accepted Our Invitation. Ladc 2003 Was Privileged To Have A Very Prestigious And Dedicated Program Committee, That Embraced An Electronic Reviewing Process That Was Demanding And Time Consuming. We Would Like To Thank Its Members For Their Dedication And E?ort In Helping To Put Together The ?nal Program. The Electronic Subm- Sion And Reviewing Process Was Only Possible Due To The E?orts Of Alan Cleber Borim And Lisandro Zambenedetti Granville In Installing And Maintaining The Edas Conference Manager. As Part Of The Technical Program, We Also Included Three Invited Talks And A Panel. Dependability Benchmarking: How Far Are We? / Karama Kanoun -- Safety-critical Systems In Air Traffic Management / Eno Siewerdt -- Managed Utility Computing: The Grid As Management Backplane / Vijay Machiraju, Akhil Sahai And Aad Van Moorsel -- Plug And Play Fault Injector For Dependability Benchmarking / Pedro Costa, Marco Vieira, Henrique Madeira And Joao Gabriel Silva. Rogério De Lemos, Taisy Silva Weber, João Batista Camargo, Jr. (eds.). Includes Bibliographical References And Index.

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.

Lecture Notes in Computer Science
Erscheinungsdatum: 29.09.2003

2011-01-23