Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000338814> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2000338814 endingPage "553" @default.
- W2000338814 startingPage "533" @default.
- W2000338814 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: a generalized task graph model, a comprehensive classification of timing constraints, algorithms for derivation and validation of timing constraints of the system modeled in the generalized task graph model, a codesign methodology that combines the model and the algorithms, and the implementation of this methodology 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.
- W2000338814 created "2016-06-24" @default.
- W2000338814 creator A5043774457 @default.
- W2000338814 creator A5063301291 @default.
- W2000338814 creator A5078959213 @default.
- W2000338814 date "1998-10-01" @default.
- W2000338814 modified "2023-09-27" @default.
- W2000338814 title "A timing-driven design and validation methodology for embedded real-time systems" @default.
- W2000338814 cites W1978118906 @default.
- W2000338814 cites W2019285863 @default.
- W2000338814 cites W2098191187 @default.
- W2000338814 cites W2102159907 @default.
- W2000338814 cites W2118898228 @default.
- W2000338814 cites W2151635387 @default.
- W2000338814 cites W2161484642 @default.
- W2000338814 cites W2161491771 @default.
- W2000338814 cites W2171432916 @default.
- W2000338814 doi "https://doi.org/10.1145/296333.296338" @default.
- W2000338814 hasPublicationYear "1998" @default.
- W2000338814 type Work @default.
- W2000338814 sameAs 2000338814 @default.
- W2000338814 citedByCount "26" @default.
- W2000338814 crossrefType "journal-article" @default.
- W2000338814 hasAuthorship W2000338814A5043774457 @default.
- W2000338814 hasAuthorship W2000338814A5063301291 @default.
- W2000338814 hasAuthorship W2000338814A5078959213 @default.
- W2000338814 hasConcept C11413529 @default.
- W2000338814 hasConcept C127413603 @default.
- W2000338814 hasConcept C132525143 @default.
- W2000338814 hasConcept C149635348 @default.
- W2000338814 hasConcept C162324750 @default.
- W2000338814 hasConcept C187736073 @default.
- W2000338814 hasConcept C27458966 @default.
- W2000338814 hasConcept C2776036281 @default.
- W2000338814 hasConcept C2780451532 @default.
- W2000338814 hasConcept C41008148 @default.
- W2000338814 hasConcept C55439883 @default.
- W2000338814 hasConcept C78519656 @default.
- W2000338814 hasConcept C79403827 @default.
- W2000338814 hasConcept C80444323 @default.
- W2000338814 hasConcept C93682380 @default.
- W2000338814 hasConceptScore W2000338814C11413529 @default.
- W2000338814 hasConceptScore W2000338814C127413603 @default.
- W2000338814 hasConceptScore W2000338814C132525143 @default.
- W2000338814 hasConceptScore W2000338814C149635348 @default.
- W2000338814 hasConceptScore W2000338814C162324750 @default.
- W2000338814 hasConceptScore W2000338814C187736073 @default.
- W2000338814 hasConceptScore W2000338814C27458966 @default.
- W2000338814 hasConceptScore W2000338814C2776036281 @default.
- W2000338814 hasConceptScore W2000338814C2780451532 @default.
- W2000338814 hasConceptScore W2000338814C41008148 @default.
- W2000338814 hasConceptScore W2000338814C55439883 @default.
- W2000338814 hasConceptScore W2000338814C78519656 @default.
- W2000338814 hasConceptScore W2000338814C79403827 @default.
- W2000338814 hasConceptScore W2000338814C80444323 @default.
- W2000338814 hasConceptScore W2000338814C93682380 @default.
- W2000338814 hasIssue "4" @default.
- W2000338814 hasLocation W20003388141 @default.
- W2000338814 hasOpenAccess W2000338814 @default.
- W2000338814 hasPrimaryLocation W20003388141 @default.
- W2000338814 hasRelatedWork W1566172022 @default.
- W2000338814 hasRelatedWork W2000338814 @default.
- W2000338814 hasRelatedWork W2080747924 @default.
- W2000338814 hasRelatedWork W2112154728 @default.
- W2000338814 hasRelatedWork W2127988328 @default.
- W2000338814 hasRelatedWork W2366403765 @default.
- W2000338814 hasRelatedWork W2979640679 @default.
- W2000338814 hasRelatedWork W3200266554 @default.
- W2000338814 hasRelatedWork W3217558247 @default.
- W2000338814 hasRelatedWork W1489697166 @default.
- W2000338814 hasVolume "3" @default.
- W2000338814 isParatext "false" @default.
- W2000338814 isRetracted "false" @default.
- W2000338814 magId "2000338814" @default.
- W2000338814 workType "article" @default.