Matches in SemOpenAlex for { <https://semopenalex.org/work/W2542390625> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2542390625 abstract "The Time-Triggered Ethernet (TTE) protocol is becoming widely used in safety-critical environments where failures cannot be tolerated. In this paper, a PRISM model for a TT-Ethernet is proposed based on its specification. A set of TTE properties is proposed as well. Finally, using PRISM model checker, a formal model is proposed in the form of a finite state machine. Using this approach, we were able to identify one faulty state within the network that might cause massive damage to a real-life application, thus revealing a possible weak point in Time-Triggered Ethernet." @default.
- W2542390625 created "2016-11-04" @default.
- W2542390625 creator A5032928854 @default.
- W2542390625 creator A5057248875 @default.
- W2542390625 date "2011-12-01" @default.
- W2542390625 modified "2023-09-30" @default.
- W2542390625 title "Formal verification of Time-Triggered Ethernet protocol using PRISM model checker" @default.
- W2542390625 cites W1969431893 @default.
- W2542390625 cites W1991887299 @default.
- W2542390625 cites W2023310589 @default.
- W2542390625 cites W2040135910 @default.
- W2542390625 cites W2055865878 @default.
- W2542390625 cites W2074727591 @default.
- W2542390625 cites W2328989707 @default.
- W2542390625 cites W2330724389 @default.
- W2542390625 doi "https://doi.org/10.1109/icm.2011.6177381" @default.
- W2542390625 hasPublicationYear "2011" @default.
- W2542390625 type Work @default.
- W2542390625 sameAs 2542390625 @default.
- W2542390625 citedByCount "1" @default.
- W2542390625 countsByYear W25423906252022 @default.
- W2542390625 crossrefType "proceedings-article" @default.
- W2542390625 hasAuthorship W2542390625A5032928854 @default.
- W2542390625 hasAuthorship W2542390625A5057248875 @default.
- W2542390625 hasBestOaLocation W25423906252 @default.
- W2542390625 hasConcept C110251889 @default.
- W2542390625 hasConcept C11413529 @default.
- W2542390625 hasConcept C120665830 @default.
- W2542390625 hasConcept C121332964 @default.
- W2542390625 hasConcept C142724271 @default.
- W2542390625 hasConcept C149635348 @default.
- W2542390625 hasConcept C171659815 @default.
- W2542390625 hasConcept C172173386 @default.
- W2542390625 hasConcept C204787440 @default.
- W2542390625 hasConcept C205215620 @default.
- W2542390625 hasConcept C2780385302 @default.
- W2542390625 hasConcept C30188135 @default.
- W2542390625 hasConcept C31258907 @default.
- W2542390625 hasConcept C41008148 @default.
- W2542390625 hasConcept C48103436 @default.
- W2542390625 hasConcept C60665866 @default.
- W2542390625 hasConcept C67666897 @default.
- W2542390625 hasConcept C68178114 @default.
- W2542390625 hasConcept C71924100 @default.
- W2542390625 hasConcept C79403827 @default.
- W2542390625 hasConceptScore W2542390625C110251889 @default.
- W2542390625 hasConceptScore W2542390625C11413529 @default.
- W2542390625 hasConceptScore W2542390625C120665830 @default.
- W2542390625 hasConceptScore W2542390625C121332964 @default.
- W2542390625 hasConceptScore W2542390625C142724271 @default.
- W2542390625 hasConceptScore W2542390625C149635348 @default.
- W2542390625 hasConceptScore W2542390625C171659815 @default.
- W2542390625 hasConceptScore W2542390625C172173386 @default.
- W2542390625 hasConceptScore W2542390625C204787440 @default.
- W2542390625 hasConceptScore W2542390625C205215620 @default.
- W2542390625 hasConceptScore W2542390625C2780385302 @default.
- W2542390625 hasConceptScore W2542390625C30188135 @default.
- W2542390625 hasConceptScore W2542390625C31258907 @default.
- W2542390625 hasConceptScore W2542390625C41008148 @default.
- W2542390625 hasConceptScore W2542390625C48103436 @default.
- W2542390625 hasConceptScore W2542390625C60665866 @default.
- W2542390625 hasConceptScore W2542390625C67666897 @default.
- W2542390625 hasConceptScore W2542390625C68178114 @default.
- W2542390625 hasConceptScore W2542390625C71924100 @default.
- W2542390625 hasConceptScore W2542390625C79403827 @default.
- W2542390625 hasLocation W25423906251 @default.
- W2542390625 hasLocation W25423906252 @default.
- W2542390625 hasOpenAccess W2542390625 @default.
- W2542390625 hasPrimaryLocation W25423906251 @default.
- W2542390625 hasRelatedWork W2095808935 @default.
- W2542390625 hasRelatedWork W2133771928 @default.
- W2542390625 hasRelatedWork W2136523314 @default.
- W2542390625 hasRelatedWork W2348154468 @default.
- W2542390625 hasRelatedWork W2356973692 @default.
- W2542390625 hasRelatedWork W2365124376 @default.
- W2542390625 hasRelatedWork W2366457522 @default.
- W2542390625 hasRelatedWork W2366750334 @default.
- W2542390625 hasRelatedWork W2378972954 @default.
- W2542390625 hasRelatedWork W2392312071 @default.
- W2542390625 isParatext "false" @default.
- W2542390625 isRetracted "false" @default.
- W2542390625 magId "2542390625" @default.
- W2542390625 workType "article" @default.