Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103302170> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2103302170 abstract "Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allowed to preempt the current interrupt handling, the design and analysis of the system become difficult due to the lack of appropriate behavioral models. This paper proposes a compositional model for nested interrupts and an analysis named environmental simulation. We present a new kind of timed transition system, named controller automata, to treat interrupts. Together with an interrupt environment modeled as a timed automaton, and a scheduler as a timed automaton with semaphores, the system behaviors with nested interrupts are realized by a sequence of transitions with time. Although various verification problems for this model are undecidable in general, it is shown that the reachability of error states is practically solvable with our implementation of the environmental simulation by Maude." @default.
- W2103302170 created "2016-06-24" @default.
- W2103302170 creator A5022583120 @default.
- W2103302170 creator A5025628453 @default.
- W2103302170 creator A5091768839 @default.
- W2103302170 date "2009-07-01" @default.
- W2103302170 modified "2023-09-25" @default.
- W2103302170 title "Environmental Simulation of Real-Time Systems with Nested Interrupts" @default.
- W2103302170 cites W1482831602 @default.
- W2103302170 cites W2036081705 @default.
- W2103302170 cites W2098979034 @default.
- W2103302170 cites W2101508170 @default.
- W2103302170 cites W2118802216 @default.
- W2103302170 cites W2122113444 @default.
- W2103302170 cites W2127200569 @default.
- W2103302170 cites W2130773092 @default.
- W2103302170 doi "https://doi.org/10.1109/tase.2009.12" @default.
- W2103302170 hasPublicationYear "2009" @default.
- W2103302170 type Work @default.
- W2103302170 sameAs 2103302170 @default.
- W2103302170 citedByCount "9" @default.
- W2103302170 countsByYear W21033021702012 @default.
- W2103302170 countsByYear W21033021702013 @default.
- W2103302170 countsByYear W21033021702014 @default.
- W2103302170 countsByYear W21033021702015 @default.
- W2103302170 crossrefType "proceedings-article" @default.
- W2103302170 hasAuthorship W2103302170A5022583120 @default.
- W2103302170 hasAuthorship W2103302170A5025628453 @default.
- W2103302170 hasAuthorship W2103302170A5091768839 @default.
- W2103302170 hasConcept C110251889 @default.
- W2103302170 hasConcept C111919701 @default.
- W2103302170 hasConcept C112505250 @default.
- W2103302170 hasConcept C11413529 @default.
- W2103302170 hasConcept C120314980 @default.
- W2103302170 hasConcept C136643341 @default.
- W2103302170 hasConcept C149635348 @default.
- W2103302170 hasConcept C153269930 @default.
- W2103302170 hasConcept C161406801 @default.
- W2103302170 hasConcept C173018170 @default.
- W2103302170 hasConcept C192034797 @default.
- W2103302170 hasConcept C28472234 @default.
- W2103302170 hasConcept C30788636 @default.
- W2103302170 hasConcept C41008148 @default.
- W2103302170 hasConcept C41661131 @default.
- W2103302170 hasConcept C79403827 @default.
- W2103302170 hasConcept C80444323 @default.
- W2103302170 hasConcept C95203288 @default.
- W2103302170 hasConceptScore W2103302170C110251889 @default.
- W2103302170 hasConceptScore W2103302170C111919701 @default.
- W2103302170 hasConceptScore W2103302170C112505250 @default.
- W2103302170 hasConceptScore W2103302170C11413529 @default.
- W2103302170 hasConceptScore W2103302170C120314980 @default.
- W2103302170 hasConceptScore W2103302170C136643341 @default.
- W2103302170 hasConceptScore W2103302170C149635348 @default.
- W2103302170 hasConceptScore W2103302170C153269930 @default.
- W2103302170 hasConceptScore W2103302170C161406801 @default.
- W2103302170 hasConceptScore W2103302170C173018170 @default.
- W2103302170 hasConceptScore W2103302170C192034797 @default.
- W2103302170 hasConceptScore W2103302170C28472234 @default.
- W2103302170 hasConceptScore W2103302170C30788636 @default.
- W2103302170 hasConceptScore W2103302170C41008148 @default.
- W2103302170 hasConceptScore W2103302170C41661131 @default.
- W2103302170 hasConceptScore W2103302170C79403827 @default.
- W2103302170 hasConceptScore W2103302170C80444323 @default.
- W2103302170 hasConceptScore W2103302170C95203288 @default.
- W2103302170 hasLocation W21033021701 @default.
- W2103302170 hasOpenAccess W2103302170 @default.
- W2103302170 hasPrimaryLocation W21033021701 @default.
- W2103302170 hasRelatedWork W11326594 @default.
- W2103302170 hasRelatedWork W1535142600 @default.
- W2103302170 hasRelatedWork W2059675458 @default.
- W2103302170 hasRelatedWork W2089327660 @default.
- W2103302170 hasRelatedWork W2103302170 @default.
- W2103302170 hasRelatedWork W2130702347 @default.
- W2103302170 hasRelatedWork W2202657245 @default.
- W2103302170 hasRelatedWork W23348632 @default.
- W2103302170 hasRelatedWork W2399240136 @default.
- W2103302170 hasRelatedWork W2804291498 @default.
- W2103302170 isParatext "false" @default.
- W2103302170 isRetracted "false" @default.
- W2103302170 magId "2103302170" @default.
- W2103302170 workType "article" @default.