Abbrevation
LADC
City
Rio de Janeiro
Country
Brazil
Deadline Paper
Start Date
End Date
Abstract

<p style="text&#8211;align: justify;">LADC is the major Latin&#8211;American event dedicated to discuss many issues related to computer system dependability&#046; The LADC program will present technical sessions, workshops, tutorials, keynote talks from top international experts in the area and an industrial track&#046; The symposium scope spans system, software, and hardware dependability researchs and technological challenges&#046;</p> <p style="text&#8211;align: justify;">Major topics include, but are not limited to:</p> <ul><li style="text&#8211;align: justify;">Dependability of hardware: fault tolerant architectures, multi&#8211;core systems, virtualization, nanoscale computers, hardware dependability assessment;</li><li style="text&#8211;align: justify;">Dependability of software: frameworks and software architectures for dependability, runtime monitoring, adaptation, model driven dependability engineering, testing, verification, software certification;</li><li style="text&#8211;align: justify;">Dependability of networks: LAN, WAN, mobile, ad&#8211;hoc, sensor networks, protocols;</li><li style="text&#8211;align: justify;">Dependability of data: storage, databases;</li><li style="text&#8211;align: justify;">Dependability of maintenance: tuning performance and availability, security configuration;</li><li style="text&#8211;align: justify;">Dependability and human issues: human&#8211;computer interaction, management of complex systems;</li><li style="text&#8211;align: justify;">Security: foundations, policies, protocols, access control, intrusion detection, intrusion tolerance;</li><li style="text&#8211;align: justify;">Safety: incidents &amp; accidents, risk perception and analysis, safety&#8211;critical applications and systems;</li><li style="text&#8211;align: justify;">Critical infrastructure protection; – Algorithms and methods for dependable and secure computing;</li><li style="text&#8211;align: justify;">Dependability and security modeling, measurement and benchmarking&#046;</li></ul> <p> </p>