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