DESSERT'2019

10th International IEEE Conference
Dependable Systems, Services and Technologies
Leeds, United Kingdom, June 5-7, 2019

IEEE
  • Information

  • Deadlines

    Paper submission: January 25, 2019

    Notification of paper acceptance: February 18, 2019

    Final manuscript: February 28, 2019

    Registration and payment: March 25, 2019

    Program draft publication: April 8, 2019

    Conference date: June 5-7, 2019

  • Contacts

  • Archive

Home

Welcome to DESSERT’2019

The 10th IEEE International Conference on
Dependable Systems, Services and Technologies (DESSERT’2019)

2019 Theme:
IoT, Big Data and AI for a Smart and Safe Future

Leeds, United Kingdom
June 5-7, 2019

Organizers

Leeds Beckett University, Leeds, United Kingdom

National Aerospace University KhAI, Kharkiv, Ukraine

Background & Key topics

The annual DESSERT conference began since 2006 and its primary focus has been on methodologies, techniques and tools for dependability, security and safety assessment and assurance of software and hardware components, computer systems, networks and infrastructures. DESSERT’2019 is responding to current major challenges relating to state-of-the-art information and communication technologies and paradigms such as cloud and fog computing, Internet of things and everything, big data, software defined applications, edge computing, cyberphysical systems and etc. Relevant areas of interest encompasses regulations, analysis, modeling, development, verification, operation and maintenance of hardware, software and human related components, computer systems, networks and infrastructures for safety-, mission- and business-critical applications.

DESSERT’2019 is addressing the main dependability challenges related to the IoT, Big Data and AI for a Smart and Safe Future. Authors are invited to submit original manuscripts demonstrating recent advances in in all areas relevant to these challenges, including, but not limited to

  • Methodology and trends of dependable and resilient computing
  • Methodologies and trends of smart and pervasive computing
  • Methodologies and trends in sustainable and green computing and communications
  • Safety and security of instrumentation and control systems (I&C) of critical infrastructures
  • Dependability, security and resilience of web, Internet-, cloud-, fog- and dew- computing
  • Dependability, safety and cyber security of IoT systems for human and industry domains
  • Formal methods for development and verification of safety-critical systems
  • Assurance case-based techniques for safety and security critical applications
  • AI and intelligent systems for safety and security
  • Reliability and safety of unmanned vehicles, drones and UAV fleets
  • Big data and data mining techniques for business and critical domains
  • Blockchain security and trustworthiness