Internet of Vehicles. Technologies and Services for Smart Cities: 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings ... Notes in Computer Science Book 10689)

Annotation This book constitutes the proceedings of the 4th International Conference on Internet of Vehicles, IOV 2017, held in Kanazawa, Japan, in November 2017. The 19 papers presented in this volume were carefully reviewed and selected from 40 submissions. They deal with advances in the state of the art and practice of the IoV architectures, protocols, services and applications, as well as identifying emerging research topics and define the future directions of Internet of Vehicles Preface 6 Organization 7 Contents 10 Vehicular Communications: Standards and Challenges 12 1 Introduction 12 2 IEEE 802.11p-Based Intelligent Transport Systems 14 2.1 Dedicated Short Range Communications 14 2.2 ETSI ITS-G5 15 3 LTE-V Standards for V2X 17 3.1 Uu Interface and PC5 Interface 18 3.2 Technical Enhancements for Supporting V2X in LTE 19 3.3 Advanced V2X Applications 20 4 Research Challenges 20 4.1 Coexistence of IEEE 802.11p-Based ITS and LTE-Based ITS 20 4.2 Autonomous Driving 21 4.3 Security and Privacy 22 5 Conclusion 22 References 23 Helmet-Mounted Display System of Motorcyclist with Collision Detecting and Navigation 24 Abstract 24 1 Introduction 24 2 System Hardware Architecture 25 3 System Firmware and Software Principle 26 4 System Presentation 28 5 Conclusion 29 Acknowledgment 29 References 29 Metaheuristic Algorithm of Multi-passengers Routing Path for Ride-Sharing Vehicle 30 Abstract 30 1 Introduction 30 2 Related Work 32 3 Proposed Method 33 3.1 Linear Programming Model 33 3.2 Simulated Annealing-Based Waiting Time Algorithm 35 3.3 Simulated Annealing-Based Short Path Algorithm 37 4 Simulation 38 4.1 Simulation Setting 38 4.2 Simulation Result 39 5 Conclusion 40 Acknowledgment 41 References 41 A Rush-Hour Vehicles Scheduling Strategy in Online Car-Sharing System Based on Urban Trajectory Data Analysis 42 Abstract 42 1 Introduction 42 2 Related Work 43 3 Solution 43 3.1 Preparations 43 3.2 Prediction Algorithm 45 3.3 Cost Accounting Model 46 3.4 Optimal Solution 47 3.5 Scheduling Strategy 47 4 Case Study 48 4.1 Experimental Data Set 48 4.2 Experimental Data Set 49 5 Conclusion 50 Acknowledgement 51 References 51 Accurate Traffic Flow Estimation in Urban Roads with Considering the Traffic Signals 52 Abstract 52 1 Introduction 52 2 Fundamental Diagram 53 3 Flow Estimation with Traffic Signal 54 3.1 Map Matching 55 3.2 Traffic Signal Identification 56 3.3 Speed and Density Estimation 57 3.4 Flow Estimation 58 4 Evaluation 58 4.1 Data Sets 59 4.2 Speed-Flow Relationship 59 4.3 Accuracy on Flow Estimation 60 5 Conclusion 62 Acknowledgement 62 References 62 Performance Analysis and Modeling of Central Navigation Cloud 64 1 Introduction 64 2 Related Work 66 2.1 CNC 66 2.2 Cloud Computing 66 3 Models 67 3.1 Map Model 67 3.2 Cloud Center Model 67 4 Results 72 4.1 Simulation Parameters 72 4.2 Simulations 73 4.3 Real Data Set 75 5 Conclusion 77 References 77 Optimal Power Allocation for Multi-group Multicast Under Sensing-Based Spectrum Sharing Cognitive Radio Networks 79 1 Introduction 79 2 System Model 80 3 Overall Rate Optimization 83 4 Numerical Results and Discuss 87 5 Conclusions 89 References 89 A New Routing Protocol Based on OLSR Designed for UANET Maritime Search and Rescue 90 Abstract 90 1 Introduction 90 2 Gray Code and OLSR Routing Protocol 91 2.1 The Basic Concept of Gray Code 91 2.2 The Concept and Core Mechanism of OLSR Routing Protocol 92 3 EAGC-OLSR Algorithms Operations 93 3.1 Dynamic Bit Error Threshold Mechanism 93 3.2 Improved MPR Nodes Selection Mechanism 94 3.3 Modification of Hello Packet Format in EAGC-OLSR Protocol 95 4 Performance Evaluation 96 5 Conclusion 101 Acknowledgements 101 References 101 Multi-Task Oriented Participant Recruitment for Vehicular Crowdsensing 103 1 Introduction 103 2 System Overview and Problem Formulation 105 2.1 Vehicular Crowdsensing System 105 2.2 Problem Formulation 105 3 Multi-task Oriented Participant Recruitment 106 3.1 Single Task 107 3.2 Multi-Task 108 4 Performance Evaluation 110 4.1 Experimental Setup 110 4.2 Simulation Results 112 5 Related Work 113 6 Conclusion and Future Work 114 References 114 Driving Fatigue Detecting Method Based on Temperature Insensitive ECG Parameters 116 1 Introduction 116 2 Preliminaries 118 2.1 ECG and HRV 118 2.2 ECG Signal Acquisition 119 2.3 Preprocessing Approach Selection 119 3 Test Procedure 120 4 Data Processing 122 4.1 Fatigue Scale Questionnaire and ECG Wave 122 4.2 Temperature Insensitive ECG Parameters 123 4.3 Fatigue Decision Threshold 125 4.4 Data Validation 127 5 Conclusions 128 References 129 Communication Quality in Anticipatory Vehicle Swarms: A Simulation-Based Model 130 Abstract 130 1 Introduction 130 2 Timed Anticipatory Networks of Autonomous Vehicles 132 3 Simulation of Anticipatory Vehicle Swarms 136 3.1 Initial Assumptions and the Structure of the Simulation Algorithm 136 3.2 Decision-Making Algorithms 139 3.3 Simulation Results: The Impact of Communication on Swarm Performance 141 4 Conclusions 144 Acknowledgement 144 References 145 A Cyber-Physical Systems Approach to Optimizing Internet of Vehicles Architecture with Rapidly Evolving Technology 146 1 Introduction 146 2 Description 147 3 Problem Formulation 149 4 Modeling 149 4.1 Objectives 150 4.2 Constraints 151 5 Conclusion 151 6 Future Work 153 References 153 Research on Finding Base Stations Related to a Specific Region 155 Abstract 155 1 Introduction 155 2 Problem Analysis and Modeling 156 2.1 Problem Analysis 156 2.2 Regional Modeling 157 2.3 Modeling the Rectangular Bounding Box of the Region 158 2.4 Expand the BOXmin 158 3 Implementation and Simulation of Search Algorithm 158 3.1 Method of Searching for Base Stations with Coordinates in the Region 158 3.2 Method of Searching for Base Stations Those Coverage Overlaps the Region 161 3.3 The Implementation of the Base Station Search Method 162 3.4 Simulation and Result Analysis 162 4 Summary 164 References 164 Intelligent Computing for Vehicle Form Design: A Case Study of Sand Making Machine 165 Abstract 165 1 Introduction 165 2 Sand Making Machine 166 2.1 A Brief Description 166 2.2 Experiment Samples of Sand Making Machine 168 3 Neural Networks (NNs) 169 4 Intelligent Design Decision Support System 171 5 Conclusion 172 Acknowledgement 172 References 172 An Ad-Hoc Mesh Network for Flight-Deck Interval Management of Airplanes 173 1 Introduction 173 2 Related Work 174 2.1 Physical and Datalink Layers 174 2.2 Network Layer 177 2.3 Transport Layer and Above 177 3 Design of Networking Protocol 177 3.1 Physical Layer 178 3.2 Datalink Layer 178 3.3 Network Layer 178 3.4 Transport Layer 179 4 Feasibility Study of Physical, Datalink, and Network Layers 179 5 Experimental Results 181 6 Discussion 182 7 Conclusion 183 A Proposed Protocol 183 A.1 Physical Layer 183 A.2 Datalink Layer 184 A.3 Network Layer 184 A.4 Transport Layer 184 B Simulation Program 185 References 185 TLS for Cooperative ITS Services 187 1 Introduction 187 2 TLS Overview 189 3 ETSI and IEEE Certificates Overviews 190 4 Use Cases 191 5 Proposal 193 5.1 Architecture and TLS Extension 193 5.2 Cipher Suites 194 5.3 Error Messages 195 5.4 Verification of Certificate 196 6 Formal Validation 196 7 Implementation and Validation over OPENSSL 198 8 Conclusion 199 References 199 Distributed Simulation Platform for Autonomous Driving 201 Abstract 201 1 Introduction 201 1.1 Anatomy of Autonomous Driving Simulators 202 1.2 Applications of Autonomous Driving Simulators 202 1.3 Challenges of Autonomous Driving Simulators 203 2 A ROS-Based Autonomous Driving Simulator 203 2.1 ROSBag 203 2.2 Simulation Dataset 204 2.3 The Demand on Computing Power 204 3 A Spark-Based Distributed Simulation Platform 205 3.1 Binary Data Streaming 206 3.2 Data Retrieval Through ROSBag Cache 207 4 Performance Evaluation 208 4.1 ROSBag Cache Performance 208 4.2 Scalability 209 5 Related Work 210 6 Conclusions 210 References 211 Toward Fog-Based Event-Driven Services for Internet of Vehicles: Design and Evaluation 212 Abstract 212 1 Introduction 213 2 Related Work 214 3 Fog-Based Event-Driven Service Mechanism 214 3.1 The Principle of Event-Driven Service Design 215 3.2 Overview of EPA Model 215 3.3 Overview of EPA Composition 216 4 Scenario Simulation and Event-Driven Service Evaluation 217 4.1 Case Study 217 4.2 Fog-Based Event-Driven Service Setup 217 4.3 Event-Based Traffic Simulation System 218 4.4 Experiment Setup and Evaluation Results 220 5 Discussion 222 6 Conclusion 222 Acknowledgments 222 References 223 Theoretical Proving of Optimal Communication Radius Against Traffic Congestion in Simplified 224 Abstract 224 1 Introduction 225 2 Related Work 225 3 System Models 226 3.1 Topology Model 226 3.2 Mobility Model 227 3.3 Traffic Congestion Model 228 4 Theoretical Proofs 232 5 Numerical Results 233 6 Conclusions 234 Acknowledgments 234 Authors’ Contributions 234 References 235 Author Index 236 Front Matter ....Pages I-XII Vehicular Communications: Standards and Challenges (Nian Xia, Chu-Sing Yang)....Pages 1-12 Helmet-Mounted Display System of Motorcyclist with Collision Detecting and Navigation (Wen-Ching Chiu, Ping-Hsiao Hsieh, Wan-Lin Wu, Chih-Lung Lin)....Pages 13-18 Metaheuristic Algorithm of Multi-passengers Routing Path for Ride-Sharing Vehicle (Wei-Che Chien, Hsin-Hung Cho, Yao-Chung Chang, Chin-Feng Lai, Han-Chieh Chao)....Pages 19-30 A Rush-Hour Vehicles Scheduling Strategy in Online Car-Sharing System Based on Urban Trajectory Data Analysis (Xintong Wang, Zhihan Liu, Yi Jia)....Pages 31-40 Accurate Traffic Flow Estimation in Urban Roads with Considering the Traffic Signals (Yuan-Cheng Lai, Shun-Yi Huang)....Pages 41-52 Performance Analysis and Modeling of Central Navigation Cloud (Zhiqiang Li, Yanheng Liu, Jian Wang, Peng Zhou)....Pages 53-67 Optimal Power Allocation for Multi-group Multicast Under Sensing-Based Spectrum Sharing Cognitive Radio Networks (Xiaoyu Li, Shouyi Yang, Xiaojuan Zhao, Qing Cheng)....Pages 68-78 A New Routing Protocol Based on OLSR Designed for UANET Maritime Search and Rescue (Yi Wu, Lei Xu, Xiao Lin, Jie Fang)....Pages 79-91 Multi-Task Oriented Participant Recruitment for Vehicular Crowdsensing (Wenlong Zong, Zhihan Liu, Shu Yang, Quan Yuan, Fangchun Yang)....Pages 92-104 Driving Fatigue Detecting Method Based on Temperature Insensitive ECG Parameters (Min Chen, Fengxi Li, Jianmei Lei, Zi Zeng, Qingwen Han, Qian Chen)....Pages 105-118 Communication Quality in Anticipatory Vehicle Swarms: A Simulation-Based Model (Andrzej M. J. Skulimowski, Arkadiusz Ćwik)....Pages 119-134 A Cyber-Physical Systems Approach to Optimizing Internet of Vehicles Architecture with Rapidly Evolving Technology (David M. Curry, Cihan H. Dagli)....Pages 135-143 Research on Finding Base Stations Related to a Specific Region (Hangman Wang, Xiaoqi Zhao, Zijie Xiong, Yulong Wang)....Pages 144-153 Intelligent Computing for Vehicle Form Design: A Case Study of Sand Making Machine (Feng Zheng, Chun-Chun Wei, Yang-Cheng Lin, Juan Du, Jiacheng Yao)....Pages 154-161 An Ad-Hoc Mesh Network for Flight-Deck Interval Management of Airplanes (Ichi Kanaya, Eri Itoh)....Pages 162-175 TLS for Cooperative ITS Services (Mounira Msahli, Ahmed Serhrouchni, Houda Labiod, Arnaud Kaiser, Brigitte Lonc)....Pages 176-189 Distributed Simulation Platform for Autonomous Driving (Jie Tang, Shaoshan Liu, Chao Wang, Chen Liu)....Pages 190-200 Toward Fog-Based Event-Driven Services for Internet of Vehicles: Design and Evaluation (Yung-Li Hu, Chu-Yu Wang, Ching-Kai Kao, Shao-Yu Chang, David S. L. Wei, Yennun Huang et al.)....Pages 201-212 Theoretical Proving of Optimal Communication Radius Against Traffic Congestion in Simplified (Meng Jin, Yanheng Liu, Jian Wang, Zhao Liu, Shaoqing Xu)....Pages 213-224 Back Matter ....Pages 225-225