Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Front Cover
Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva
Springer Science & Business Media, Oct 11, 2005 - Computers - 266 pages
The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this ?eld. LADC2005, thesecondeditionofthisevent, followedonthesuccessofLADC 2003, which took place at the Polytechnic School of the University of S~ ao Paulo. It was organized by LaSiD, the Distributed Systems Laboratoryassociated with the Department of Computer Science of the Federal University of Bahia. LADC 2005wassponsoredbySBC, theBrazilianComputerSociety, incooperationwith IEEETConFault-TolerantComputing, IFIPWorking Group10.4"Dependable Computing and Fault-Tolerance,"SADIO, the Argentine Society for Informatics and Operations Research, SCCC, the Chilean Computer Science Society, and SMCC, the Mexican Society for Computer Science. LADC2005wasstructuredaroundtechnicalsessions, keynotespeechesanda panel.Twoworkshopswereco-locatedwithLADC2005: WDAS(Latin-American Workshop on Dependable Automation Systems) and WTD (3rd Workshop on Theses and Dissertations on Dependable Computing). WDAS is a forum where members of academia and industry can meet to discuss speci?c dependability issues related to automation systems. WTD is a student forum dedicated to the discussion of ongoing and recent work in the ?eld of dependability carried out at graduate level.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Probabilistic Validation of Computer System Survivability
1
Timed Asynchronous Distributed Systems
2
WLAN in Automation More Than an Academic Exercise?
4
Using Stratified Sampling for Fault Injection
9
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without SourceCode
20
The NekoStat Extension
35
Airborne Software Concerns in Civil Aviation Certification
52
A Method for Modeling and Testing Exceptions in ComponentBased Software Development
61
Scheduling FixedPriority Hard RealTime Tasks in the Presence of Faults
154
On the Monitoring Period for FaultTolerant Sensor Networks
174
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
191
ParsimonyBased Approach for Obtaining ResourceEfficient and Trustworthy Execution
206
Generating Fast Atomic Commit from Hyperfast Consensus
226
GroupBased Replication of OnLine Transaction Processing Servers
245
Third Workshop on Theses and Dissertations on Dependable Computing
261
LatinAmerican Workshop on Dependable Automation Systems
262

Verifying FaultTolerant Distributed Systems Using ObjectBased Graph Grammars
80
Describing the Functional Model of Dependable RealTime Systems
101
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme
121
On the Effects of Errors During Boot
131
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems
143
Software Architectures for Dependable Systems
263
FaultTolerant Techniques for Concurrent Objects
265
Agreement Protocols in Environments with Temporal Uncertainties
266
Author Index
267
Copyright

Other editions - View all

Common terms and phrases