Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101743103> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2101743103 endingPage "341" @default.
- W2101743103 startingPage "327" @default.
- W2101743103 abstract "We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describing asynchronous concurrent embedded systems. We reduce UML RT models to systems of communicating finite state machines (CFSMs). We propose a series of further abstractions that leaves us with a system of linear inequalities. Those represent the message sending and receiving effect that the control flow cycles of every process have on the overall message buffer. The test tries to establish the existence of a linear combination of the effect vectors so that at least one message can occur an unbounded number of times. We discuss the complexity of this test and present experimental results using the IBOC system that we are implementing. Scalability of the test is in part due to the fact that it is polynomial for the type of sparse control flow graphs that are derived from UML RT models. Also, the analysis is local, i.e., it avoids the combinatorial state space explosion due to concurrency of the models. We also present a method to derive upper bound estimates for the maximal occupancy of each individual message buffer. While we focus on the analysis of UML RT models, the analysis can directly be applied to any type of CFSM models." @default.
- W2101743103 created "2016-06-24" @default.
- W2101743103 creator A5003799076 @default.
- W2101743103 creator A5045470371 @default.
- W2101743103 creator A5082358544 @default.
- W2101743103 date "2004-01-01" @default.
- W2101743103 modified "2023-09-24" @default.
- W2101743103 title "A Scalable Incomplete Test for the Boundedness of UML RT Models" @default.
- W2101743103 cites W125991071 @default.
- W2101743103 cites W1487405315 @default.
- W2101743103 cites W1508873117 @default.
- W2101743103 cites W1515260872 @default.
- W2101743103 cites W1521601620 @default.
- W2101743103 cites W1590022417 @default.
- W2101743103 cites W1595979400 @default.
- W2101743103 cites W1604959559 @default.
- W2101743103 cites W2001426769 @default.
- W2101743103 cites W2017872109 @default.
- W2101743103 cites W2025970201 @default.
- W2101743103 cites W2044858512 @default.
- W2101743103 cites W2047375390 @default.
- W2101743103 cites W2099529102 @default.
- W2101743103 cites W2137577783 @default.
- W2101743103 cites W2160527279 @default.
- W2101743103 cites W2175982508 @default.
- W2101743103 cites W4238756052 @default.
- W2101743103 doi "https://doi.org/10.1007/978-3-540-24730-2_26" @default.
- W2101743103 hasPublicationYear "2004" @default.
- W2101743103 type Work @default.
- W2101743103 sameAs 2101743103 @default.
- W2101743103 citedByCount "26" @default.
- W2101743103 countsByYear W21017431032012 @default.
- W2101743103 countsByYear W21017431032013 @default.
- W2101743103 countsByYear W21017431032015 @default.
- W2101743103 crossrefType "book-chapter" @default.
- W2101743103 hasAuthorship W2101743103A5003799076 @default.
- W2101743103 hasAuthorship W2101743103A5045470371 @default.
- W2101743103 hasAuthorship W2101743103A5082358544 @default.
- W2101743103 hasBestOaLocation W21017431031 @default.
- W2101743103 hasConcept C11413529 @default.
- W2101743103 hasConcept C119857082 @default.
- W2101743103 hasConcept C120314980 @default.
- W2101743103 hasConcept C128942645 @default.
- W2101743103 hasConcept C145644426 @default.
- W2101743103 hasConcept C146939238 @default.
- W2101743103 hasConcept C152877465 @default.
- W2101743103 hasConcept C167822520 @default.
- W2101743103 hasConcept C193702766 @default.
- W2101743103 hasConcept C199360897 @default.
- W2101743103 hasConcept C2777904410 @default.
- W2101743103 hasConcept C41008148 @default.
- W2101743103 hasConcept C41298492 @default.
- W2101743103 hasConcept C48044578 @default.
- W2101743103 hasConcept C77088390 @default.
- W2101743103 hasConcept C80444323 @default.
- W2101743103 hasConceptScore W2101743103C11413529 @default.
- W2101743103 hasConceptScore W2101743103C119857082 @default.
- W2101743103 hasConceptScore W2101743103C120314980 @default.
- W2101743103 hasConceptScore W2101743103C128942645 @default.
- W2101743103 hasConceptScore W2101743103C145644426 @default.
- W2101743103 hasConceptScore W2101743103C146939238 @default.
- W2101743103 hasConceptScore W2101743103C152877465 @default.
- W2101743103 hasConceptScore W2101743103C167822520 @default.
- W2101743103 hasConceptScore W2101743103C193702766 @default.
- W2101743103 hasConceptScore W2101743103C199360897 @default.
- W2101743103 hasConceptScore W2101743103C2777904410 @default.
- W2101743103 hasConceptScore W2101743103C41008148 @default.
- W2101743103 hasConceptScore W2101743103C41298492 @default.
- W2101743103 hasConceptScore W2101743103C48044578 @default.
- W2101743103 hasConceptScore W2101743103C77088390 @default.
- W2101743103 hasConceptScore W2101743103C80444323 @default.
- W2101743103 hasLocation W21017431031 @default.
- W2101743103 hasLocation W21017431032 @default.
- W2101743103 hasOpenAccess W2101743103 @default.
- W2101743103 hasPrimaryLocation W21017431031 @default.
- W2101743103 hasRelatedWork W1556873963 @default.
- W2101743103 hasRelatedWork W1570069626 @default.
- W2101743103 hasRelatedWork W195304682 @default.
- W2101743103 hasRelatedWork W2101743103 @default.
- W2101743103 hasRelatedWork W2363242572 @default.
- W2101743103 hasRelatedWork W2363836211 @default.
- W2101743103 hasRelatedWork W2371763578 @default.
- W2101743103 hasRelatedWork W2950813614 @default.
- W2101743103 hasRelatedWork W4206056772 @default.
- W2101743103 hasRelatedWork W2067267448 @default.
- W2101743103 isParatext "false" @default.
- W2101743103 isRetracted "false" @default.
- W2101743103 magId "2101743103" @default.
- W2101743103 workType "book-chapter" @default.