scholarly journals Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture

2021 ◽  
Author(s):  
Zhenjiang Qian ◽  
Yong Jin ◽  
Gaofei Sun ◽  
Xiaoshuang Xing ◽  
Kaijian Xia
Keyword(s):  
Operating System ◽  
Intelligent Transportation Systems ◽  
Operational Semantics ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
State Model ◽  
Automaton Theory ◽  
Design And Implementation ◽  
System Task ◽  
Formal Design

AbstractThe accuracy of design and implementation of an operating system in intelligent transportation systems is difficult to describe and validate because of its complexity. In this paper, we describe an OS in intelligent transportation systems with automaton theory and establish an OS state model. Based on this model, we construct an isomorphic model in Isabelle/HOL, describe the work objects and operational semantics of the system, and verify the system at the assembly level. We use a micro-kernel OS prototype (VSOS) for intelligent transportation systems as an example to illustrate our method and verify the correctness of design and implementation in VSOS with Isabelle/HOL. Verification shows that the proposed method is feasible.

Design and implementation of microstrip array antenna for intelligent transportation systems application

Frequenz ◽  
2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Arun Kumar Singh ◽  
Arun Kumar ◽  
Samarendra Nath Sur ◽  
Rabindranath Bera ◽  
Bansibadan Maji
Keyword(s):  
Intelligent Transportation Systems ◽  
Intelligent Transportation System ◽  
Impedance Matching ◽  
Intelligent Transportation ◽  
Transportation System ◽  
Transportation Systems ◽  
Array Antenna ◽  
Design And Implementation ◽  
Microstrip Patch ◽  
Microstrip Array Antenna

Abstract This article proposes a design and implementation of array Microstrip Patch antenna of configuration 2 × 2 at an operating frequency of 3.5 GHz. The proposed design takes a dimension of 80 mm × 92 mm × 1.6 mm with four radiating elements arranged in rectangular form with an optimized separation between the patches. All the radiating elements were connected through a corporate series network with an inset feed to have better impedance matching. The model gives an efficiency of 90.99% with a bandwidth of 510 MHz and with fractal configuration, the bandwidth further enhances to 1.12 GHz. The maximum gain measured was found as 11.01 dBi at θ = 10° and ɸ = 360° and 10.45 dBi with fractal configuration. The designed antenna is proposed to be used in RADAR which will be used in the intelligent transportation system for the detection of nearby (short-range) vehicles in the blind zone. This kind of Radar also finds its application in collision avoidance and activating airbags/break boosting and thus helping mankind by saving lives. The article gives an idea of the use of an array antenna in intelligent transportation system for better gain and efficient results.

Quality indicator of the smart city transportation and logistics system

2020 ◽  
Vol 19 (11) ◽  
pp. 2116-2135
Author(s):  
G.V. Savin
Keyword(s):  
Intelligent Transportation Systems ◽  
Smart City ◽  
Urban Areas ◽  
Human Life ◽  
Life Quality ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Logistics System ◽  
Organization And Management

Subject. The article considers functioning and development of process flows of transportation and logistics system of a smart city. Objectives. The study identifies factors and dependencies of the quality of human life on the organization and management of stream processes. Methods. I perform a comparative analysis of previous studies, taking into account the uniquely designed results, and the econometric analysis. Results. The study builds multiple regression models that are associated with stream processes, highlights interdependent indicators of temporary traffic and pollution that affect the indicator of life quality. However, the identified congestion indicator enables to predict the time spent in traffic jams per year for all participants of stream processes. Conclusions. The introduction of modern intelligent transportation systems as a component of the transportation and logistics system of a smart city does not fully solve the problems of congestion in cities at the current rate of urbanization and motorization. A viable solution is to develop cooperative and autonomous intelligent transportation systems based on the logistics approach. This will ensure control over congestion, the reduction of which will contribute to improving the life quality of people in urban areas.

Sign in / Sign up

Export Citation Format

Share Document