LADC is the major Latin-American event dedicated to discussing the many issues related to computer system dependability.
The symposium scope spans system, software, and hardware dependability research and technological challenges. Major topics include, but are not limited to:
• Engineering dependable systems: hardware, networking, software, deployment, and maintenance;
• Dependability of hardware: fault tolerant architectures, multi-core systems, virtualization, nanoscale computers, hardware dependability assessment;
• Dependability of software: frameworks and software architectures for dependability, runtime monitoring, adaptation, model driven dependability engineering, testing, verification, software certification;
• Dependability of networks: LAN, WAN, mobile, ad-hoc, sensor networks, protocols;
• Dependability of data: storage, databases;
• Dependability of maintenance: tuning performance and availability, security configuration;
• Dependability and human issues: human-computer interaction, management of complex systems;
• Security: foundations, policies, protocols, access control, intrusion detection, intrusion tolerance;
• Safety: incidents & accidents, risk perception and analysis, safety-critical applications and systems;
• Critical infrastructure protection;
• Algorithms and methods for dependable and secure computing;
• Dependability and security modeling, measurement and benchmarking.
There will be an award for the best paper of the Conference. The five best papers of the Conference will be invited to submit extended and revised versions for publication in a special issue of the Journal of the Brazilian Computing Society (JBCS)
. The Conference proceedings will be published by IEEE CS.