Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743189451> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2743189451 abstract "Abstract Commonly, simulation by using an existing network simulation tool or a simulator developed from scratch is employed for validation of analytical network performance models. An analytical model of star-shaped wireless sensor networks has been proposed in the literature in which, upon receiving a query from the coordinator, each sensor node sends one data frame to it by executing the IEEE 802.15.4 unslotted carrier-sense multiple access with collision avoidance algorithm. The model consists of expressions for calculation of the probability of successful receipt of the data at a certain time and the like. The authors of the model have written a special simulation program in order to validate the expressions. Our aim was to employ probabilistic model checker PRISM instead. PRISM only requires the user to formally specify the network as a kind of state machine and the queries about the probabilities sought in the form of logical formulas. It finds the probabilities automatically and can present them on graphs. We show how to specify the networks formally in such a way that all the expressions from the analytical model can be validated with PRISM. For those networks containing a few nodes, the validation can be carried out by normal model checking, which, in contrast to the simulation, always checks all the possible network behaviors, whereas statistical model checking can be used for the larger networks." @default.
- W2743189451 created "2017-08-17" @default.
- W2743189451 creator A5062086504 @default.
- W2743189451 date "2017-09-01" @default.
- W2743189451 modified "2023-09-28" @default.
- W2743189451 title "Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks" @default.
- W2743189451 cites W1513465166 @default.
- W2743189451 cites W1988873236 @default.
- W2743189451 cites W2041509965 @default.
- W2743189451 cites W2123693351 @default.
- W2743189451 cites W2132266737 @default.
- W2743189451 doi "https://doi.org/10.1016/j.simpat.2017.08.002" @default.
- W2743189451 hasPublicationYear "2017" @default.
- W2743189451 type Work @default.
- W2743189451 sameAs 2743189451 @default.
- W2743189451 citedByCount "7" @default.
- W2743189451 countsByYear W27431894512018 @default.
- W2743189451 countsByYear W27431894512019 @default.
- W2743189451 countsByYear W27431894512020 @default.
- W2743189451 countsByYear W27431894512021 @default.
- W2743189451 crossrefType "journal-article" @default.
- W2743189451 hasAuthorship W2743189451A5062086504 @default.
- W2743189451 hasConcept C104122410 @default.
- W2743189451 hasConcept C110251889 @default.
- W2743189451 hasConcept C11413529 @default.
- W2743189451 hasConcept C120314980 @default.
- W2743189451 hasConcept C124101348 @default.
- W2743189451 hasConcept C126042441 @default.
- W2743189451 hasConcept C127413603 @default.
- W2743189451 hasConcept C139940560 @default.
- W2743189451 hasConcept C154945302 @default.
- W2743189451 hasConcept C31258907 @default.
- W2743189451 hasConcept C41008148 @default.
- W2743189451 hasConcept C48103436 @default.
- W2743189451 hasConcept C49937458 @default.
- W2743189451 hasConcept C62611344 @default.
- W2743189451 hasConcept C66938386 @default.
- W2743189451 hasConcept C79403827 @default.
- W2743189451 hasConcept C80444323 @default.
- W2743189451 hasConceptScore W2743189451C104122410 @default.
- W2743189451 hasConceptScore W2743189451C110251889 @default.
- W2743189451 hasConceptScore W2743189451C11413529 @default.
- W2743189451 hasConceptScore W2743189451C120314980 @default.
- W2743189451 hasConceptScore W2743189451C124101348 @default.
- W2743189451 hasConceptScore W2743189451C126042441 @default.
- W2743189451 hasConceptScore W2743189451C127413603 @default.
- W2743189451 hasConceptScore W2743189451C139940560 @default.
- W2743189451 hasConceptScore W2743189451C154945302 @default.
- W2743189451 hasConceptScore W2743189451C31258907 @default.
- W2743189451 hasConceptScore W2743189451C41008148 @default.
- W2743189451 hasConceptScore W2743189451C48103436 @default.
- W2743189451 hasConceptScore W2743189451C49937458 @default.
- W2743189451 hasConceptScore W2743189451C62611344 @default.
- W2743189451 hasConceptScore W2743189451C66938386 @default.
- W2743189451 hasConceptScore W2743189451C79403827 @default.
- W2743189451 hasConceptScore W2743189451C80444323 @default.
- W2743189451 hasFunder F4320322554 @default.
- W2743189451 hasLocation W27431894511 @default.
- W2743189451 hasOpenAccess W2743189451 @default.
- W2743189451 hasPrimaryLocation W27431894511 @default.
- W2743189451 hasRelatedWork W1835984060 @default.
- W2743189451 hasRelatedWork W1969735340 @default.
- W2743189451 hasRelatedWork W197456253 @default.
- W2743189451 hasRelatedWork W1999103908 @default.
- W2743189451 hasRelatedWork W2016459973 @default.
- W2743189451 hasRelatedWork W2050298729 @default.
- W2743189451 hasRelatedWork W2115116604 @default.
- W2743189451 hasRelatedWork W2231034225 @default.
- W2743189451 hasRelatedWork W2473096724 @default.
- W2743189451 hasRelatedWork W2561489297 @default.
- W2743189451 hasRelatedWork W2623130094 @default.
- W2743189451 hasRelatedWork W2755139963 @default.
- W2743189451 hasRelatedWork W2772856499 @default.
- W2743189451 hasRelatedWork W2807791464 @default.
- W2743189451 hasRelatedWork W2974768116 @default.
- W2743189451 hasRelatedWork W349923146 @default.
- W2743189451 hasRelatedWork W884798 @default.
- W2743189451 hasRelatedWork W2135332520 @default.
- W2743189451 hasRelatedWork W2282266711 @default.
- W2743189451 hasRelatedWork W2925848596 @default.
- W2743189451 isParatext "false" @default.
- W2743189451 isRetracted "false" @default.
- W2743189451 magId "2743189451" @default.
- W2743189451 workType "article" @default.