The DCIT’15 symposium aims at bringing together experts in Dependable Computing and Internet of Things (IoT) to discuss on relevant results in either Dependable Computing or Internet of Things or both. Special emphasis will be put on modeling, simulation, analysis, verification, design, and development of dependable (reliable, safe, and secure) IoT systems.

Topics of interest include (but not limited to):

        Software and hardware reliability, testing, verification, and validation
        Dependability measurement, modeling, evaluation, and tools
        Formal methods
        Fault-tolerance and fault-prediction
        Sensor network
        Ubiquitous computing
        Big data
        IoT and Transportation
        Smart City
        Crowd safety management and traffic flow evacuation
        IoT Modeling, simulation, and verification
        IoT architectures and infrastructures
        IoT standards and social issues
        IoT applications, services, and tools
        Reliability, safety, and security issues of IoT