Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160258739> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2160258739 abstract "The Clock Constraint Specification Language (CCSL) provides expressions and relations to specify the time requirements and causal dependencies of systems. It was initially proposed, in the context of MARTE: the UML profile for Modeling and Analysis of Real-Time and Embedded Systems. In this paper, we propose a method to verify CCSL specifications. We give a formal state-based interpretation of a fundamental subset of CCSL clock constraints. Based on it, we translate a CCSL specification into a Promela model and feed the result into the model checker SPIN. Then we show some patterns for expressing the properties of the model and do the verification. A digital filter application is used as an example to illustrate the approach." @default.
- W2160258739 created "2016-06-24" @default.
- W2160258739 creator A5008254881 @default.
- W2160258739 creator A5018665207 @default.
- W2160258739 creator A5039943423 @default.
- W2160258739 date "2011-04-01" @default.
- W2160258739 modified "2023-10-18" @default.
- W2160258739 title "Verification of MARTE/CCSL Time Requirements in Promela/SPIN" @default.
- W2160258739 cites W2023499821 @default.
- W2160258739 cites W2078877482 @default.
- W2160258739 cites W2100500718 @default.
- W2160258739 cites W2112992577 @default.
- W2160258739 cites W2115309705 @default.
- W2160258739 cites W2116912109 @default.
- W2160258739 cites W2151250735 @default.
- W2160258739 cites W3023258080 @default.
- W2160258739 cites W3137220996 @default.
- W2160258739 cites W4253563042 @default.
- W2160258739 doi "https://doi.org/10.1109/iceccs.2011.14" @default.
- W2160258739 hasPublicationYear "2011" @default.
- W2160258739 type Work @default.
- W2160258739 sameAs 2160258739 @default.
- W2160258739 citedByCount "34" @default.
- W2160258739 countsByYear W21602587392012 @default.
- W2160258739 countsByYear W21602587392013 @default.
- W2160258739 countsByYear W21602587392014 @default.
- W2160258739 countsByYear W21602587392015 @default.
- W2160258739 countsByYear W21602587392016 @default.
- W2160258739 countsByYear W21602587392017 @default.
- W2160258739 countsByYear W21602587392018 @default.
- W2160258739 countsByYear W21602587392019 @default.
- W2160258739 crossrefType "proceedings-article" @default.
- W2160258739 hasAuthorship W2160258739A5008254881 @default.
- W2160258739 hasAuthorship W2160258739A5018665207 @default.
- W2160258739 hasAuthorship W2160258739A5039943423 @default.
- W2160258739 hasConcept C110251889 @default.
- W2160258739 hasConcept C151730666 @default.
- W2160258739 hasConcept C199360897 @default.
- W2160258739 hasConcept C2776329536 @default.
- W2160258739 hasConcept C2779343474 @default.
- W2160258739 hasConcept C41008148 @default.
- W2160258739 hasConcept C86803240 @default.
- W2160258739 hasConceptScore W2160258739C110251889 @default.
- W2160258739 hasConceptScore W2160258739C151730666 @default.
- W2160258739 hasConceptScore W2160258739C199360897 @default.
- W2160258739 hasConceptScore W2160258739C2776329536 @default.
- W2160258739 hasConceptScore W2160258739C2779343474 @default.
- W2160258739 hasConceptScore W2160258739C41008148 @default.
- W2160258739 hasConceptScore W2160258739C86803240 @default.
- W2160258739 hasLocation W21602587391 @default.
- W2160258739 hasLocation W21602587392 @default.
- W2160258739 hasOpenAccess W2160258739 @default.
- W2160258739 hasPrimaryLocation W21602587391 @default.
- W2160258739 hasRelatedWork W117130080 @default.
- W2160258739 hasRelatedWork W1601693417 @default.
- W2160258739 hasRelatedWork W194304868 @default.
- W2160258739 hasRelatedWork W197558729 @default.
- W2160258739 hasRelatedWork W2095156325 @default.
- W2160258739 hasRelatedWork W2100500368 @default.
- W2160258739 hasRelatedWork W2148239084 @default.
- W2160258739 hasRelatedWork W2151898527 @default.
- W2160258739 hasRelatedWork W2342939409 @default.
- W2160258739 hasRelatedWork W2741430969 @default.
- W2160258739 isParatext "false" @default.
- W2160258739 isRetracted "false" @default.
- W2160258739 magId "2160258739" @default.
- W2160258739 workType "article" @default.