Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566172022> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1566172022 abstract "We address the problem of timing constraint derivation and validation for reactive and real-time embedded systems. We assume that such a system is structured into its tasks, and the structure is modeled using a task graph. Our solution uses the timing behavior committed by the environment to the system first to derive the timing constraints on the system''s internal behavior and then use them to derive and validate the timing constraints on the system''s external behavior. Our solution consists of the following contributions: (1) a generalized task graph model and a comprehensive classification of timing constraints, (2) algorithms for derivation and validation of timing constraints of the system modeled in the generalized task graph model, (3) new and improved algorithms for finding the performance of cyclic embedded systems and a comprehensive comparison of the existing algorithms, (4) a general formulation of the problem of debugging timing violations in cyclic embedded systems and its complexity, and (5) a codesign methodology that combines the model and the algorithms, and its implementation in a tool called RADHA-RATAN. The main advantages of our solution are that it simplifies the problem of ensuring timing correctness of the system by reducing the complexity of the problem from system level to task level, and that it makes the codesign methodology timing-driven in that our solution makes it possible to maintain a handle on the system''s timing correctness from very early stages in the system''s design flow." @default.
- W1566172022 created "2016-06-24" @default.
- W1566172022 creator A5043774457 @default.
- W1566172022 creator A5078959213 @default.
- W1566172022 date "1999-01-01" @default.
- W1566172022 modified "2023-09-27" @default.
- W1566172022 title "Timing analysis of embedded real-time systems" @default.
- W1566172022 hasPublicationYear "1999" @default.
- W1566172022 type Work @default.
- W1566172022 sameAs 1566172022 @default.
- W1566172022 citedByCount "13" @default.
- W1566172022 crossrefType "journal-article" @default.
- W1566172022 hasAuthorship W1566172022A5043774457 @default.
- W1566172022 hasAuthorship W1566172022A5078959213 @default.
- W1566172022 hasConcept C11413529 @default.
- W1566172022 hasConcept C132525143 @default.
- W1566172022 hasConcept C149635348 @default.
- W1566172022 hasConcept C162324750 @default.
- W1566172022 hasConcept C168065819 @default.
- W1566172022 hasConcept C187736073 @default.
- W1566172022 hasConcept C199360897 @default.
- W1566172022 hasConcept C2524010 @default.
- W1566172022 hasConcept C27458966 @default.
- W1566172022 hasConcept C2776036281 @default.
- W1566172022 hasConcept C2780451532 @default.
- W1566172022 hasConcept C33923547 @default.
- W1566172022 hasConcept C41008148 @default.
- W1566172022 hasConcept C55439883 @default.
- W1566172022 hasConcept C80444323 @default.
- W1566172022 hasConcept C93682380 @default.
- W1566172022 hasConceptScore W1566172022C11413529 @default.
- W1566172022 hasConceptScore W1566172022C132525143 @default.
- W1566172022 hasConceptScore W1566172022C149635348 @default.
- W1566172022 hasConceptScore W1566172022C162324750 @default.
- W1566172022 hasConceptScore W1566172022C168065819 @default.
- W1566172022 hasConceptScore W1566172022C187736073 @default.
- W1566172022 hasConceptScore W1566172022C199360897 @default.
- W1566172022 hasConceptScore W1566172022C2524010 @default.
- W1566172022 hasConceptScore W1566172022C27458966 @default.
- W1566172022 hasConceptScore W1566172022C2776036281 @default.
- W1566172022 hasConceptScore W1566172022C2780451532 @default.
- W1566172022 hasConceptScore W1566172022C33923547 @default.
- W1566172022 hasConceptScore W1566172022C41008148 @default.
- W1566172022 hasConceptScore W1566172022C55439883 @default.
- W1566172022 hasConceptScore W1566172022C80444323 @default.
- W1566172022 hasConceptScore W1566172022C93682380 @default.
- W1566172022 hasLocation W15661720221 @default.
- W1566172022 hasOpenAccess W1566172022 @default.
- W1566172022 hasPrimaryLocation W15661720221 @default.
- W1566172022 hasRelatedWork W1513593262 @default.
- W1566172022 hasRelatedWork W1978118906 @default.
- W1566172022 hasRelatedWork W2003519602 @default.
- W1566172022 hasRelatedWork W2007026342 @default.
- W1566172022 hasRelatedWork W2023675210 @default.
- W1566172022 hasRelatedWork W2034617104 @default.
- W1566172022 hasRelatedWork W2053894614 @default.
- W1566172022 hasRelatedWork W2098436411 @default.
- W1566172022 hasRelatedWork W2106085083 @default.
- W1566172022 hasRelatedWork W2117919995 @default.
- W1566172022 hasRelatedWork W2119000119 @default.
- W1566172022 hasRelatedWork W2134834993 @default.
- W1566172022 hasRelatedWork W2150712734 @default.
- W1566172022 hasRelatedWork W2152127804 @default.
- W1566172022 hasRelatedWork W2167904232 @default.
- W1566172022 hasRelatedWork W2170363162 @default.
- W1566172022 hasRelatedWork W2911254580 @default.
- W1566172022 hasRelatedWork W2968892517 @default.
- W1566172022 hasRelatedWork W2145069174 @default.
- W1566172022 hasRelatedWork W2285062788 @default.
- W1566172022 isParatext "false" @default.
- W1566172022 isRetracted "false" @default.
- W1566172022 magId "1566172022" @default.
- W1566172022 workType "article" @default.