Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003159491> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2003159491 abstract "Theoretical models like CSP and CCS describe computation using synchronization. Such models define independent system entities or processes that cooperate by explicit communication. In safety critical systems these communications represent visible actions which, if they do not occur or are delayed beyond their deadline, will cause a failure to occur. This paper describes the basic methodology for converting a formal description of a system into the information needed to predict system behavior as a function of observable parameters. Currently under development is a tool to permit stochastic analyses of CSP-based system specifications. The CSP-based grammar used by this tool is presented and isomorphisms between CSP-based specifications and Petri net-based stochastic models are shown. A brief example of the translation between these two formalisms is given along with (1) an analytical derivation of timing failure probability and cost minimization, and (2) discrete and continuous time Markovian analysis which provide reliability predictions for candidate designs. The translation process is currently being automated." @default.
- W2003159491 created "2016-06-24" @default.
- W2003159491 creator A5001793251 @default.
- W2003159491 creator A5004353960 @default.
- W2003159491 creator A5019549865 @default.
- W2003159491 date "1995-03-28" @default.
- W2003159491 modified "2023-09-24" @default.
- W2003159491 title "Reliability analysis of CSP specifications - A new method using Petri nets" @default.
- W2003159491 cites W2036034087 @default.
- W2003159491 doi "https://doi.org/10.2514/6.1995-996" @default.
- W2003159491 hasPublicationYear "1995" @default.
- W2003159491 type Work @default.
- W2003159491 sameAs 2003159491 @default.
- W2003159491 citedByCount "7" @default.
- W2003159491 crossrefType "proceedings-article" @default.
- W2003159491 hasAuthorship W2003159491A5001793251 @default.
- W2003159491 hasAuthorship W2003159491A5004353960 @default.
- W2003159491 hasAuthorship W2003159491A5019549865 @default.
- W2003159491 hasConcept C111498074 @default.
- W2003159491 hasConcept C116253237 @default.
- W2003159491 hasConcept C120314980 @default.
- W2003159491 hasConcept C121332964 @default.
- W2003159491 hasConcept C127413603 @default.
- W2003159491 hasConcept C155214134 @default.
- W2003159491 hasConcept C156325763 @default.
- W2003159491 hasConcept C163258240 @default.
- W2003159491 hasConcept C171018156 @default.
- W2003159491 hasConcept C184337299 @default.
- W2003159491 hasConcept C197551870 @default.
- W2003159491 hasConcept C199360897 @default.
- W2003159491 hasConcept C200601418 @default.
- W2003159491 hasConcept C2524010 @default.
- W2003159491 hasConcept C33923547 @default.
- W2003159491 hasConcept C38677869 @default.
- W2003159491 hasConcept C41008148 @default.
- W2003159491 hasConcept C43214815 @default.
- W2003159491 hasConcept C62520636 @default.
- W2003159491 hasConcept C75606506 @default.
- W2003159491 hasConcept C80444323 @default.
- W2003159491 hasConceptScore W2003159491C111498074 @default.
- W2003159491 hasConceptScore W2003159491C116253237 @default.
- W2003159491 hasConceptScore W2003159491C120314980 @default.
- W2003159491 hasConceptScore W2003159491C121332964 @default.
- W2003159491 hasConceptScore W2003159491C127413603 @default.
- W2003159491 hasConceptScore W2003159491C155214134 @default.
- W2003159491 hasConceptScore W2003159491C156325763 @default.
- W2003159491 hasConceptScore W2003159491C163258240 @default.
- W2003159491 hasConceptScore W2003159491C171018156 @default.
- W2003159491 hasConceptScore W2003159491C184337299 @default.
- W2003159491 hasConceptScore W2003159491C197551870 @default.
- W2003159491 hasConceptScore W2003159491C199360897 @default.
- W2003159491 hasConceptScore W2003159491C200601418 @default.
- W2003159491 hasConceptScore W2003159491C2524010 @default.
- W2003159491 hasConceptScore W2003159491C33923547 @default.
- W2003159491 hasConceptScore W2003159491C38677869 @default.
- W2003159491 hasConceptScore W2003159491C41008148 @default.
- W2003159491 hasConceptScore W2003159491C43214815 @default.
- W2003159491 hasConceptScore W2003159491C62520636 @default.
- W2003159491 hasConceptScore W2003159491C75606506 @default.
- W2003159491 hasConceptScore W2003159491C80444323 @default.
- W2003159491 hasLocation W20031594911 @default.
- W2003159491 hasOpenAccess W2003159491 @default.
- W2003159491 hasPrimaryLocation W20031594911 @default.
- W2003159491 hasRelatedWork W125992398 @default.
- W2003159491 hasRelatedWork W1489651731 @default.
- W2003159491 hasRelatedWork W1582165937 @default.
- W2003159491 hasRelatedWork W2055382337 @default.
- W2003159491 hasRelatedWork W2102636388 @default.
- W2003159491 hasRelatedWork W2107383428 @default.
- W2003159491 hasRelatedWork W2123867210 @default.
- W2003159491 hasRelatedWork W2126206596 @default.
- W2003159491 hasRelatedWork W2140458629 @default.
- W2003159491 hasRelatedWork W2167619856 @default.
- W2003159491 hasRelatedWork W2357826318 @default.
- W2003159491 hasRelatedWork W2371175588 @default.
- W2003159491 hasRelatedWork W2380449062 @default.
- W2003159491 hasRelatedWork W2387360633 @default.
- W2003159491 hasRelatedWork W2388665107 @default.
- W2003159491 hasRelatedWork W2390033414 @default.
- W2003159491 hasRelatedWork W2391467754 @default.
- W2003159491 hasRelatedWork W2621354179 @default.
- W2003159491 hasRelatedWork W3016043131 @default.
- W2003159491 hasRelatedWork W1658881543 @default.
- W2003159491 isParatext "false" @default.
- W2003159491 isRetracted "false" @default.
- W2003159491 magId "2003159491" @default.
- W2003159491 workType "article" @default.