Matches in SemOpenAlex for { <https://semopenalex.org/work/W153904579> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W153904579 abstract "We present a framework for modeling and analysis of adaptive embedded systems, based on the model of timed automata with tasks. The model is extended with primitives allowing modeling of adaptivity, by testing the potential schedulability of a given task, in the context of the set of currently enqueued tasks. This makes it possible to describe adaptive embedded systems, in which decisions to admit further tasks or take other measures of adaptivity is based on available CPU resources, external, or internal events. We show that this model can be encoded in the framework of timed automata, and hence that the problem is decidable. We also validate the framework, by using the Uppaal tool." @default.
- W153904579 created "2016-06-24" @default.
- W153904579 creator A5025773724 @default.
- W153904579 creator A5027719943 @default.
- W153904579 creator A5079870005 @default.
- W153904579 date "2012-01-01" @default.
- W153904579 modified "2023-09-24" @default.
- W153904579 title "Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems" @default.
- W153904579 cites W1482831602 @default.
- W153904579 cites W1914485921 @default.
- W153904579 cites W1936851409 @default.
- W153904579 cites W2036081705 @default.
- W153904579 cites W2101508170 @default.
- W153904579 cites W2122113444 @default.
- W153904579 cites W2127200569 @default.
- W153904579 cites W4252976664 @default.
- W153904579 doi "https://doi.org/10.1007/978-3-642-28872-2_9" @default.
- W153904579 hasPublicationYear "2012" @default.
- W153904579 type Work @default.
- W153904579 sameAs 153904579 @default.
- W153904579 citedByCount "3" @default.
- W153904579 countsByYear W1539045792013 @default.
- W153904579 countsByYear W1539045792014 @default.
- W153904579 crossrefType "book-chapter" @default.
- W153904579 hasAuthorship W153904579A5025773724 @default.
- W153904579 hasAuthorship W153904579A5027719943 @default.
- W153904579 hasAuthorship W153904579A5079870005 @default.
- W153904579 hasBestOaLocation W1539045791 @default.
- W153904579 hasConcept C112505250 @default.
- W153904579 hasConcept C120314980 @default.
- W153904579 hasConcept C151730666 @default.
- W153904579 hasConcept C153269930 @default.
- W153904579 hasConcept C154945302 @default.
- W153904579 hasConcept C162324750 @default.
- W153904579 hasConcept C177264268 @default.
- W153904579 hasConcept C187736073 @default.
- W153904579 hasConcept C199360897 @default.
- W153904579 hasConcept C2779343474 @default.
- W153904579 hasConcept C2780451532 @default.
- W153904579 hasConcept C41008148 @default.
- W153904579 hasConcept C52970973 @default.
- W153904579 hasConcept C80444323 @default.
- W153904579 hasConcept C86803240 @default.
- W153904579 hasConceptScore W153904579C112505250 @default.
- W153904579 hasConceptScore W153904579C120314980 @default.
- W153904579 hasConceptScore W153904579C151730666 @default.
- W153904579 hasConceptScore W153904579C153269930 @default.
- W153904579 hasConceptScore W153904579C154945302 @default.
- W153904579 hasConceptScore W153904579C162324750 @default.
- W153904579 hasConceptScore W153904579C177264268 @default.
- W153904579 hasConceptScore W153904579C187736073 @default.
- W153904579 hasConceptScore W153904579C199360897 @default.
- W153904579 hasConceptScore W153904579C2779343474 @default.
- W153904579 hasConceptScore W153904579C2780451532 @default.
- W153904579 hasConceptScore W153904579C41008148 @default.
- W153904579 hasConceptScore W153904579C52970973 @default.
- W153904579 hasConceptScore W153904579C80444323 @default.
- W153904579 hasConceptScore W153904579C86803240 @default.
- W153904579 hasLocation W1539045791 @default.
- W153904579 hasOpenAccess W153904579 @default.
- W153904579 hasPrimaryLocation W1539045791 @default.
- W153904579 hasRelatedWork W128966792 @default.
- W153904579 hasRelatedWork W142305101 @default.
- W153904579 hasRelatedWork W1549417369 @default.
- W153904579 hasRelatedWork W1844232432 @default.
- W153904579 hasRelatedWork W2012423213 @default.
- W153904579 hasRelatedWork W2102804475 @default.
- W153904579 hasRelatedWork W2112461649 @default.
- W153904579 hasRelatedWork W2134658184 @default.
- W153904579 hasRelatedWork W2135876957 @default.
- W153904579 hasRelatedWork W2142206559 @default.
- W153904579 hasRelatedWork W2159666177 @default.
- W153904579 hasRelatedWork W2171206721 @default.
- W153904579 hasRelatedWork W2187038411 @default.
- W153904579 hasRelatedWork W2561987465 @default.
- W153904579 hasRelatedWork W2562722502 @default.
- W153904579 hasRelatedWork W2614673262 @default.
- W153904579 hasRelatedWork W2884377853 @default.
- W153904579 hasRelatedWork W2997511915 @default.
- W153904579 hasRelatedWork W635082912 @default.
- W153904579 hasRelatedWork W2106092731 @default.
- W153904579 isParatext "false" @default.
- W153904579 isRetracted "false" @default.
- W153904579 magId "153904579" @default.
- W153904579 workType "book-chapter" @default.