The ultra large scale of the Internet of Things (IoT) along with a number of other constraints introduce significant challenges to the software dependability of IoT. For example, frequent reconfiguration due to nodes joining/leaving a large-scale network can cause serious problems for providing timely services. More specifically, IoT provides data-centric, device-centric and service-centric functionalities under limitations such as resource and energy-constrained nodes, heterogeneity of hardware/software platform, deployment in harsh environments (e.g., industrial settings), interaction with human users, and topological dynamism (i.e., frequent changes in topology due to node/link failures). To build a robust and reliable IoT infrastructure, we need novel and holistic methods that can treat dependability aspects (e.g., fault-tolerance, security, performance, timeliness) as first class citizens at all layers of the software stack. This is a daunting challenge in part due to the conflicting requirements of some dependability aspects (e.g., resource/data redundancy may increase security vulnerabilities).

The goal of this workshop is to bring together researchers and practitioners towards forming a unified community that can share experiences and tackle these challenges in an all-inclusive approach. The focus of CD-IoT will be on the theoretical and practical aspects of modeling, designing, implementing and evaluating the dependability of the software stack of IoT systems under various constraints. CD-IoT welcomes industry experiences and submissions that include, but are not limited to, the following topics:

- High-level models and APIs for IoT programming (e.g., Aggregate programming, TOTA, MapReduce)
- Formal methods for IoT (e.g., computational fields calculus)
- Edge-node and system-wide resilience under energy and resource constraints
- Scalable network protocols for IoT; preserving correctness under scaling
- Highly resilient and reconfigurable coordination protocols (e.g., self-stabilizing) for IoT
- Mission-critical development for industrial IoT
- Energy-aware design methodologies for IoT
- Model-based methods for the development of dependable IoT
- Methods and tools for the incorporation of fault-tolerance and security aspects in IoT
- Dependability of edge/fog computing (e.g., performance, timeliness, fault-tolerance)
- Impact of device and software heterogeneity on dependability aspects
- Methods for testing and verification of dependability aspects in IoT
- Industry-specific challenges and experiences

*Publication Venue:
All accepted papers that are presented in the workshop will be published in ISSRE Workshop proceedings and in IEEE Xplore Digital Library. Please see the following link for more information: https://www.ieee.org/conferences/publishing/templates.html

*Submission Types and Page Limits:
- Regular research papers: Publish original research relevant to the scope of the workshop with a page limit of maximum 8 pages.
- Experience report papers: Present practical experiences and/or validation of already known methods in an experimental setting with a page limit of maximum 6 pages
- Position papers: Introduce novel (but potentially untested) ideas within 5 pages with a focus on problems related to the workshop aims and scope.