LADC is the major Latin–American event oriented to disseminate computer<br>system dependability research advances. The LADC 2018 program will<br>present technical sessions, workshops, tutorials, fast abstracts,<br>keynote talks from international experts in the area and an industrial<br>track. The symposium scope includes software and system dependability<br>research works and technological challenges.<br>LADC looks for works exploring new territory, continuing a significant<br>research, or reflecting on practical experience. The main track at LADC<br>2018 is soliciting original, unpublished research papers in three<br>categories: (1) full research (regular) papers, (2) practical experience<br>reports, and (3) short papers. Full research manuscripts should explore<br>technology problem and propose a complete solution with results.<br>Practical experience reports are expected to provide an in–depth<br>exposition of practitioner experience and empirical studies. Short<br>papers should present preliminary research work (position papers), or a<br>prototype/tool description, outlining the architecture, implementation<br>and usage of substantive operational systems or tools for the research<br>and practice of dependable and secure systems. Papers will be assessed<br>with criteria appropriate to each category.<br>All aspects of dependable and secure computer systems and systems of<br>systems are within the scope of LADC, including fault tolerant<br>architectures, protocols and algorithms, models for performance,<br>dependability and security evaluation, as well as, experimentation and<br>assessment of dependable and secure systems. Authors are invited to<br>submit original papers on all aspects of research and practice on<br>creating, validating, deploying, and maintaining dependable and secure<br>systems.<br>Major topics include, but are not limited to:<br>Frameworks and software architectures for dependability, runtime<br>monitoring, adaptation, model–driven engineering for the design of<br>dependable and secure systems, testing, verification & validation,<br>software certification.<br>Dependability and security of cyber–physical systems and systems of<br>systems, communication networks and protocols, data storage and databases.<br>Dependability and human issues, human–computer interaction, management<br>of complex systems.<br>Security foundations, policies, protocols, access control, intrusion<br>detection, intrusion tolerance.<br>Safety–critical systems and applications, incidents & accidents, risk<br>perception, analysis and management.<br>Dependability and security modeling, measurement and benchmarking.<br>Maintenance, tuning of performance and availability, security<br><div>configuration.</div><div><br></div>
Abbrevation
LADC
City
Iguassu
Country
Brazil
Deadline Paper
Start Date
End Date
Abstract