Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566786581> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1566786581 endingPage "174" @default.
- W1566786581 startingPage "160" @default.
- W1566786581 abstract "Packet switched networks are widely used for interconnecting distributed computing platforms. RapidIO (Rapid Input/Output) is an industry standard for packet switched networks to interconnect multiple processor boards. Key performance metrics for these platforms include average-case and worst-case packet transfer latencies. We focus on verifying such quantitative properties for a RapidIO based multi-processor platform that executes a motion control application. A performance model is available in the Parallel Object-Oriented Specification Language (POOSL) that allows for simulation based estimation results. It is however required to determine the exact worst-case latency as the application is time-critical. A model checking approach has been proposed in our previous work which transforms the POOSL model into an UPPAAL model. However, such an approach only works for a fairly small system. We extend the transformation approach with various heuristics to reduce the underlying state space, thereby providing an effective approximation approach that scales to industrial problems of a reasonable complexity." @default.
- W1566786581 created "2016-06-24" @default.
- W1566786581 creator A5012697499 @default.
- W1566786581 creator A5014945719 @default.
- W1566786581 creator A5038404202 @default.
- W1566786581 creator A5058818257 @default.
- W1566786581 creator A5076467147 @default.
- W1566786581 creator A5088330531 @default.
- W1566786581 date "2010-01-01" @default.
- W1566786581 modified "2023-09-25" @default.
- W1566786581 title "UPPAAL in Practice: Quantitative Verification of a RapidIO Network" @default.
- W1566786581 cites W1593428110 @default.
- W1566786581 cites W1962072139 @default.
- W1566786581 cites W2113088395 @default.
- W1566786581 cites W2167386883 @default.
- W1566786581 cites W59365162 @default.
- W1566786581 doi "https://doi.org/10.1007/978-3-642-16561-0_20" @default.
- W1566786581 hasPublicationYear "2010" @default.
- W1566786581 type Work @default.
- W1566786581 sameAs 1566786581 @default.
- W1566786581 citedByCount "2" @default.
- W1566786581 countsByYear W15667865812014 @default.
- W1566786581 countsByYear W15667865812017 @default.
- W1566786581 crossrefType "book-chapter" @default.
- W1566786581 hasAuthorship W1566786581A5012697499 @default.
- W1566786581 hasAuthorship W1566786581A5014945719 @default.
- W1566786581 hasAuthorship W1566786581A5038404202 @default.
- W1566786581 hasAuthorship W1566786581A5058818257 @default.
- W1566786581 hasAuthorship W1566786581A5076467147 @default.
- W1566786581 hasAuthorship W1566786581A5088330531 @default.
- W1566786581 hasBestOaLocation W15667865812 @default.
- W1566786581 hasConcept C110251889 @default.
- W1566786581 hasConcept C111919701 @default.
- W1566786581 hasConcept C113775141 @default.
- W1566786581 hasConcept C120314980 @default.
- W1566786581 hasConcept C127705205 @default.
- W1566786581 hasConcept C149635348 @default.
- W1566786581 hasConcept C158379750 @default.
- W1566786581 hasConcept C31258907 @default.
- W1566786581 hasConcept C41008148 @default.
- W1566786581 hasConcept C76155785 @default.
- W1566786581 hasConcept C79403827 @default.
- W1566786581 hasConcept C80444323 @default.
- W1566786581 hasConcept C82876162 @default.
- W1566786581 hasConceptScore W1566786581C110251889 @default.
- W1566786581 hasConceptScore W1566786581C111919701 @default.
- W1566786581 hasConceptScore W1566786581C113775141 @default.
- W1566786581 hasConceptScore W1566786581C120314980 @default.
- W1566786581 hasConceptScore W1566786581C127705205 @default.
- W1566786581 hasConceptScore W1566786581C149635348 @default.
- W1566786581 hasConceptScore W1566786581C158379750 @default.
- W1566786581 hasConceptScore W1566786581C31258907 @default.
- W1566786581 hasConceptScore W1566786581C41008148 @default.
- W1566786581 hasConceptScore W1566786581C76155785 @default.
- W1566786581 hasConceptScore W1566786581C79403827 @default.
- W1566786581 hasConceptScore W1566786581C80444323 @default.
- W1566786581 hasConceptScore W1566786581C82876162 @default.
- W1566786581 hasLocation W15667865811 @default.
- W1566786581 hasLocation W15667865812 @default.
- W1566786581 hasLocation W15667865813 @default.
- W1566786581 hasOpenAccess W1566786581 @default.
- W1566786581 hasPrimaryLocation W15667865811 @default.
- W1566786581 hasRelatedWork W1133796214 @default.
- W1566786581 hasRelatedWork W14296039 @default.
- W1566786581 hasRelatedWork W1559358658 @default.
- W1566786581 hasRelatedWork W1566886392 @default.
- W1566786581 hasRelatedWork W2091999583 @default.
- W1566786581 hasRelatedWork W2168522118 @default.
- W1566786581 hasRelatedWork W2298102683 @default.
- W1566786581 hasRelatedWork W2385763152 @default.
- W1566786581 hasRelatedWork W2389505258 @default.
- W1566786581 hasRelatedWork W2579649118 @default.
- W1566786581 isParatext "false" @default.
- W1566786581 isRetracted "false" @default.
- W1566786581 magId "1566786581" @default.
- W1566786581 workType "book-chapter" @default.