Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898362197> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2898362197 abstract "The time-triggered CAN (TTCAN) protocol has been widely used in the automotive industry to fulfil the safety and real-time requirements of the application. As an extension of the standard CAN protocol, the TTCAN protocol aims to guarantee a safe and deterministic communication by introducing time-triggered messages with respect to a global synchronized time, which are scheduled in independent transmission windows within the system matrix. However, the new features bring more difficulties in designing and verifying the reliable applications in the TTCAN network. In this paper, we first present a formal probabilistic model of the TTCAN protocol with a consideration of its novel features. A TTCAN system consisting of three parts, i.e., a system matrix, an arbitration and some nodes, is modeled as discrete Markov chains model. Furthermore, five probabilistic properties are described and verified in the probabilistic model checker tool PRISM. Our work gives a quantitative analysis method for the given requirements, which facilitates the designers to a formal understanding of TTCAN protocol." @default.
- W2898362197 created "2018-11-02" @default.
- W2898362197 creator A5013464242 @default.
- W2898362197 creator A5022526821 @default.
- W2898362197 creator A5046338161 @default.
- W2898362197 creator A5060680512 @default.
- W2898362197 date "2019-09-01" @default.
- W2898362197 modified "2023-10-13" @default.
- W2898362197 title "Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective" @default.
- W2898362197 cites W1516849933 @default.
- W2898362197 cites W1544634046 @default.
- W2898362197 cites W1862398452 @default.
- W2898362197 cites W1988873236 @default.
- W2898362197 cites W1990879719 @default.
- W2898362197 cites W1994326181 @default.
- W2898362197 cites W1995549832 @default.
- W2898362197 cites W1996944555 @default.
- W2898362197 cites W2014608904 @default.
- W2898362197 cites W2038739171 @default.
- W2898362197 cites W2054998117 @default.
- W2898362197 cites W2078975846 @default.
- W2898362197 cites W2080593426 @default.
- W2898362197 cites W2086502833 @default.
- W2898362197 cites W2115002392 @default.
- W2898362197 cites W2116787148 @default.
- W2898362197 cites W2133724473 @default.
- W2898362197 cites W2134715227 @default.
- W2898362197 cites W2134991157 @default.
- W2898362197 cites W2177346856 @default.
- W2898362197 cites W2470112895 @default.
- W2898362197 cites W2527393991 @default.
- W2898362197 cites W2565703433 @default.
- W2898362197 cites W2613829783 @default.
- W2898362197 cites W2755761291 @default.
- W2898362197 doi "https://doi.org/10.1142/s0218126619501779" @default.
- W2898362197 hasPublicationYear "2019" @default.
- W2898362197 type Work @default.
- W2898362197 sameAs 2898362197 @default.
- W2898362197 citedByCount "0" @default.
- W2898362197 crossrefType "journal-article" @default.
- W2898362197 hasAuthorship W2898362197A5013464242 @default.
- W2898362197 hasAuthorship W2898362197A5022526821 @default.
- W2898362197 hasAuthorship W2898362197A5046338161 @default.
- W2898362197 hasAuthorship W2898362197A5060680512 @default.
- W2898362197 hasConcept C115903868 @default.
- W2898362197 hasConcept C12713177 @default.
- W2898362197 hasConcept C127413603 @default.
- W2898362197 hasConcept C142724271 @default.
- W2898362197 hasConcept C146978453 @default.
- W2898362197 hasConcept C154945302 @default.
- W2898362197 hasConcept C199360897 @default.
- W2898362197 hasConcept C204787440 @default.
- W2898362197 hasConcept C2778029271 @default.
- W2898362197 hasConcept C2780385302 @default.
- W2898362197 hasConcept C41008148 @default.
- W2898362197 hasConcept C49937458 @default.
- W2898362197 hasConcept C526921623 @default.
- W2898362197 hasConcept C71924100 @default.
- W2898362197 hasConceptScore W2898362197C115903868 @default.
- W2898362197 hasConceptScore W2898362197C12713177 @default.
- W2898362197 hasConceptScore W2898362197C127413603 @default.
- W2898362197 hasConceptScore W2898362197C142724271 @default.
- W2898362197 hasConceptScore W2898362197C146978453 @default.
- W2898362197 hasConceptScore W2898362197C154945302 @default.
- W2898362197 hasConceptScore W2898362197C199360897 @default.
- W2898362197 hasConceptScore W2898362197C204787440 @default.
- W2898362197 hasConceptScore W2898362197C2778029271 @default.
- W2898362197 hasConceptScore W2898362197C2780385302 @default.
- W2898362197 hasConceptScore W2898362197C41008148 @default.
- W2898362197 hasConceptScore W2898362197C49937458 @default.
- W2898362197 hasConceptScore W2898362197C526921623 @default.
- W2898362197 hasConceptScore W2898362197C71924100 @default.
- W2898362197 hasFunder F4320321001 @default.
- W2898362197 hasLocation W28983621971 @default.
- W2898362197 hasOpenAccess W2898362197 @default.
- W2898362197 hasPrimaryLocation W28983621971 @default.
- W2898362197 hasRelatedWork W1472233752 @default.
- W2898362197 hasRelatedWork W1500056358 @default.
- W2898362197 hasRelatedWork W1532337740 @default.
- W2898362197 hasRelatedWork W1607700480 @default.
- W2898362197 hasRelatedWork W1728566153 @default.
- W2898362197 hasRelatedWork W1862398452 @default.
- W2898362197 hasRelatedWork W1950759624 @default.
- W2898362197 hasRelatedWork W1961837823 @default.
- W2898362197 hasRelatedWork W1970932506 @default.
- W2898362197 hasRelatedWork W2015284020 @default.
- W2898362197 hasRelatedWork W2031779469 @default.
- W2898362197 hasRelatedWork W2069640066 @default.
- W2898362197 hasRelatedWork W2087491520 @default.
- W2898362197 hasRelatedWork W2109089653 @default.
- W2898362197 hasRelatedWork W2133724473 @default.
- W2898362197 hasRelatedWork W2157927392 @default.
- W2898362197 hasRelatedWork W2244580467 @default.
- W2898362197 hasRelatedWork W2383517651 @default.
- W2898362197 hasRelatedWork W2395590641 @default.
- W2898362197 hasRelatedWork W2125231096 @default.
- W2898362197 isParatext "false" @default.
- W2898362197 isRetracted "false" @default.
- W2898362197 magId "2898362197" @default.
- W2898362197 workType "article" @default.