Study on Formal Modeling and Safety Verification of Train-to-Train Communication
المؤلف
المصدر
Wireless Communications and Mobile Computing
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-06-04
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
VBTC (vehicle-to-vehicle communication based train control) has gradually become an important research trend in the field of rail transit.
This has resulted in advantages of decreasing the number of pieces of wayside equipment and improving the efficiency of real-time system communication.
Characteristics and mechanism of train-to-train communication, as key implementation technology of safety critical system, are given and discussed.
A new method, based on the LTS (labelled transition system) model checking, is proposed for verifying the safety properties in the communication procedure.
The LTS method is adapted to model system behaviours; analysis and safety verification are checked by means of LTSA (labelled transition system analyzer) software.
The results show that it is an efficient method to verify safety properties, as well as to assist the complex system’s design and development.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Feng, Haonan. 2018. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing،Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Feng, Haonan. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing No. 2018 (2018), pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Feng, Haonan. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing. 2018. Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1215901
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر