Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554909089> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1554909089 endingPage "78" @default.
- W1554909089 startingPage "59" @default.
- W1554909089 abstract "Classical validation approach tries to prove that failed events (events that do not verify an user property) will never occur. Probabilistic validation relies on a partial analysis on a system model and tries to prove that the failed event occurrences, have a sufficiently low probability. An incorrect behavior is a very rare event: it is the consequence of a complex unknown operation sequence. The system to be validated is modeled by a stochastic Petri net. The sequence of transition firings which may lead to critical (failed) Petri net markings are characterized at the Petri net level. An efficient travel through the reachability graph must be able to visit these sequences to reach as quickly as possible critical markings. From the incidence matrix of the net and the specification of the properties to be fulfilled, we derive a linear system called the “decision system”. The set of the decision system solutions includes all characteristic vectors of sequences leading to critical markings. In this paper, we present the probabilistic validation of a Remote Procedure Call protocol. The goal is to evaluate the probability that the protocol satisfies the required “at most once” semantic. This model is solved using two probabilistic validation algorithms using the above principles. The first one is related to acyclic Markov graphs. A traversal technique combining a breadth and a depth first search traversal techniques is used considering only the critical trajectories. The second algorithm is a worst event driven and importance sampling simulation.KeywordsImportance SamplingDecision SystemRace ModelInsertion TimerReachability GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1554909089 created "2016-06-24" @default.
- W1554909089 creator A5003886856 @default.
- W1554909089 creator A5005781625 @default.
- W1554909089 creator A5047576860 @default.
- W1554909089 creator A5080407083 @default.
- W1554909089 date "1994-01-01" @default.
- W1554909089 modified "2023-09-27" @default.
- W1554909089 title "Probabilistic validation of a Remote Procedure Call protocol" @default.
- W1554909089 cites W1597490141 @default.
- W1554909089 cites W1623542952 @default.
- W1554909089 cites W1917271482 @default.
- W1554909089 cites W1983743313 @default.
- W1554909089 cites W1990889043 @default.
- W1554909089 cites W2040667028 @default.
- W1554909089 cites W2087018957 @default.
- W1554909089 cites W2165373889 @default.
- W1554909089 doi "https://doi.org/10.1007/3-540-58152-9_5" @default.
- W1554909089 hasPublicationYear "1994" @default.
- W1554909089 type Work @default.
- W1554909089 sameAs 1554909089 @default.
- W1554909089 citedByCount "2" @default.
- W1554909089 crossrefType "book-chapter" @default.
- W1554909089 hasAuthorship W1554909089A5003886856 @default.
- W1554909089 hasAuthorship W1554909089A5005781625 @default.
- W1554909089 hasAuthorship W1554909089A5047576860 @default.
- W1554909089 hasAuthorship W1554909089A5080407083 @default.
- W1554909089 hasConcept C11413529 @default.
- W1554909089 hasConcept C119857082 @default.
- W1554909089 hasConcept C121332964 @default.
- W1554909089 hasConcept C124101348 @default.
- W1554909089 hasConcept C136643341 @default.
- W1554909089 hasConcept C140745168 @default.
- W1554909089 hasConcept C154945302 @default.
- W1554909089 hasConcept C197551870 @default.
- W1554909089 hasConcept C2779662365 @default.
- W1554909089 hasConcept C38677869 @default.
- W1554909089 hasConcept C41008148 @default.
- W1554909089 hasConcept C49937458 @default.
- W1554909089 hasConcept C62520636 @default.
- W1554909089 hasConcept C74197172 @default.
- W1554909089 hasConcept C80444323 @default.
- W1554909089 hasConcept C98763669 @default.
- W1554909089 hasConceptScore W1554909089C11413529 @default.
- W1554909089 hasConceptScore W1554909089C119857082 @default.
- W1554909089 hasConceptScore W1554909089C121332964 @default.
- W1554909089 hasConceptScore W1554909089C124101348 @default.
- W1554909089 hasConceptScore W1554909089C136643341 @default.
- W1554909089 hasConceptScore W1554909089C140745168 @default.
- W1554909089 hasConceptScore W1554909089C154945302 @default.
- W1554909089 hasConceptScore W1554909089C197551870 @default.
- W1554909089 hasConceptScore W1554909089C2779662365 @default.
- W1554909089 hasConceptScore W1554909089C38677869 @default.
- W1554909089 hasConceptScore W1554909089C41008148 @default.
- W1554909089 hasConceptScore W1554909089C49937458 @default.
- W1554909089 hasConceptScore W1554909089C62520636 @default.
- W1554909089 hasConceptScore W1554909089C74197172 @default.
- W1554909089 hasConceptScore W1554909089C80444323 @default.
- W1554909089 hasConceptScore W1554909089C98763669 @default.
- W1554909089 hasLocation W15549090891 @default.
- W1554909089 hasOpenAccess W1554909089 @default.
- W1554909089 hasPrimaryLocation W15549090891 @default.
- W1554909089 hasRelatedWork W1483014095 @default.
- W1554909089 hasRelatedWork W1597490141 @default.
- W1554909089 hasRelatedWork W1626572155 @default.
- W1554909089 hasRelatedWork W2042010283 @default.
- W1554909089 hasRelatedWork W2045217754 @default.
- W1554909089 hasRelatedWork W2057685117 @default.
- W1554909089 hasRelatedWork W2142832157 @default.
- W1554909089 hasRelatedWork W2160792115 @default.
- W1554909089 hasRelatedWork W2162034610 @default.
- W1554909089 hasRelatedWork W2276955912 @default.
- W1554909089 hasRelatedWork W2348884595 @default.
- W1554909089 hasRelatedWork W2373916399 @default.
- W1554909089 hasRelatedWork W2555157141 @default.
- W1554909089 hasRelatedWork W2765738866 @default.
- W1554909089 hasRelatedWork W2769300991 @default.
- W1554909089 hasRelatedWork W2889087802 @default.
- W1554909089 hasRelatedWork W3003365409 @default.
- W1554909089 hasRelatedWork W3131435727 @default.
- W1554909089 hasRelatedWork W3133725719 @default.
- W1554909089 hasRelatedWork W3194184469 @default.
- W1554909089 isParatext "false" @default.
- W1554909089 isRetracted "false" @default.
- W1554909089 magId "1554909089" @default.
- W1554909089 workType "book-chapter" @default.