Home
Welcome to DESSERT’2019
The 10th 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
IEEE United Kingdom and Ireland Section
IEEE Ukraine Section
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