Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563935708> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1563935708 abstract "Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties such as “the probability that a particular hardware fails”. Such properties can be evaluated by using probabilistic model checking. However, this technique fails on models representing realistic embedded and real-time systems because of the state space explosion. To overcome this problem, we propose a verification framework based on Statistical Model Checking. Our framework is able to evaluate probabilistic and temporal properties on large systems modelled in SystemC, a standard system-level modelling language. It is fully implemented as an extension of the Plasma-lab statistical model checker. We illustrate our approach on a multi-lift system case study." @default.
- W1563935708 created "2016-06-24" @default.
- W1563935708 creator A5030129842 @default.
- W1563935708 creator A5034198109 @default.
- W1563935708 creator A5057227260 @default.
- W1563935708 date "2014-10-01" @default.
- W1563935708 modified "2023-10-18" @default.
- W1563935708 title "Dynamic Verification of SystemC with Statistical Model Checking" @default.
- W1563935708 cites W1481625184 @default.
- W1563935708 cites W1529130237 @default.
- W1563935708 cites W1937002962 @default.
- W1563935708 cites W1975808583 @default.
- W1563935708 cites W1992580876 @default.
- W1563935708 cites W1994007303 @default.
- W1563935708 cites W1996480057 @default.
- W1563935708 cites W2119925465 @default.
- W1563935708 cites W2238201325 @default.
- W1563935708 hasPublicationYear "2014" @default.
- W1563935708 type Work @default.
- W1563935708 sameAs 1563935708 @default.
- W1563935708 citedByCount "1" @default.
- W1563935708 countsByYear W15639357082015 @default.
- W1563935708 crossrefType "report" @default.
- W1563935708 hasAuthorship W1563935708A5030129842 @default.
- W1563935708 hasAuthorship W1563935708A5034198109 @default.
- W1563935708 hasAuthorship W1563935708A5057227260 @default.
- W1563935708 hasBestOaLocation W15639357081 @default.
- W1563935708 hasConcept C110251889 @default.
- W1563935708 hasConcept C173608175 @default.
- W1563935708 hasConcept C199360897 @default.
- W1563935708 hasConcept C2776928060 @default.
- W1563935708 hasConcept C41008148 @default.
- W1563935708 hasConceptScore W1563935708C110251889 @default.
- W1563935708 hasConceptScore W1563935708C173608175 @default.
- W1563935708 hasConceptScore W1563935708C199360897 @default.
- W1563935708 hasConceptScore W1563935708C2776928060 @default.
- W1563935708 hasConceptScore W1563935708C41008148 @default.
- W1563935708 hasLocation W15639357081 @default.
- W1563935708 hasLocation W15639357082 @default.
- W1563935708 hasOpenAccess W1563935708 @default.
- W1563935708 hasPrimaryLocation W15639357081 @default.
- W1563935708 hasRelatedWork W174007698 @default.
- W1563935708 hasRelatedWork W1985198438 @default.
- W1563935708 hasRelatedWork W2044605986 @default.
- W1563935708 hasRelatedWork W2106199032 @default.
- W1563935708 hasRelatedWork W2151898527 @default.
- W1563935708 hasRelatedWork W2364866360 @default.
- W1563935708 hasRelatedWork W2368689097 @default.
- W1563935708 hasRelatedWork W2419489257 @default.
- W1563935708 hasRelatedWork W3161745424 @default.
- W1563935708 hasRelatedWork W47563837 @default.
- W1563935708 isParatext "false" @default.
- W1563935708 isRetracted "false" @default.
- W1563935708 magId "1563935708" @default.
- W1563935708 workType "report" @default.