Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications
نویسندگان
چکیده
منابع مشابه
Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications
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...
متن کاملScheduling of the FlexRAY communication protocol respecting AUTOSAR FlexRay COM stack
The objective of the paper is the formulation and solution of the frame packing and scheduling problem for the static segment with respect to AUTOSAR FlexRay COM stack. There are several other works on the static segment scheduling. The problem becomes more constrained since the release dates and deadlines of the signals are taken into account. While assuming release dates and deadlines to be m...
متن کاملOn the Formal Verification of the FlexRay Communication Protocol
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our specification and verification system. Essential properties of the FlexRay protocol are identified, formalized and verified. In particular, we show our formal verification of the FlexRay bus guardian component. Furthermore, some insights f...
متن کاملstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
Enhanced Communications Transport Protocol for Multicast Transport
This paper proposes a new multicast transport protocol, called the Enhanced Communications Transport Protocol (ECTP). The proposed protocol is currently being standardized in the ITU-T SG7 and ISO/IEC JTC 1/SC 6. The ECTP is designed to support tightly controlled multicast connections. The sender is at the heart of one-to-many multicast group communications. The sender is responsible for overal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Vehicular Technology
سال: 2010
ISSN: 1687-5702,1687-5710
DOI: 10.1155/2010/238518