![](/images/graphics-bg.png)
Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications
المؤلفون المشاركون
المصدر
International Journal of Vehicular Technology
العدد
المجلد 2010، العدد 2010 (31 ديسمبر/كانون الأول 2010)، ص ص. 1-23، 23ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2010-12-27
دولة النشر
مصر
عدد الصفحات
23
التخصصات الرئيسية
الملخص EN
The FlexRay Transport Protocol (FrTp) is designed to support reliable and efficient communication between various computers embedded in vehicles.
It uses a standardised FlexRay communication bus and introduces a go-back-N style retransmission algorithm.
A formal modelling language, Coloured Petri nets (CPN), has been applied to verify the protocol design.
Separate CPN models of the FrTp service and protocol are developed and with state space analysis-used to prove for selected configurations that FrTp is deadlock-free and conforms to the service specification when transferring a single-protocol data unit from sender to receiver.
In addition, closed-form solutions relating the state space size, retransmission limit, and number of segments are found, giving increased confidence that FrTp is error-free, even for configurations where the state explosion problem arises.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Gordon, Steven& Choosang, San. 2010. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology،Vol. 2010, no. 2010, pp.1-23.
https://search.emarefa.net/detail/BIM-456354
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Gordon, Steven& Choosang, San. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology No. 2010 (2010), pp.1-23.
https://search.emarefa.net/detail/BIM-456354
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Gordon, Steven& Choosang, San. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology. 2010. Vol. 2010, no. 2010, pp.1-23.
https://search.emarefa.net/detail/BIM-456354
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-456354
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)