International Workshop on Cross-Layer Dependability for the Internet of Things In conjunction with the 29th IEEE International Symposium on Software Reliability Engineering
2018-10-15 ~ 2018-10-18
Memphis, United States of America
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
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.