Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016048336> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2016048336 endingPage "935" @default.
- W2016048336 startingPage "930" @default.
- W2016048336 abstract "Embedded systems are often assembled from black box components. System-level analyses, including verification and timing analysis, typically assume the system description, such as RTL or source code, as an input. There is therefore a need to automatically generate formal models of black box components to facilitate analysis.We propose a new method to generate models of real-time embedded systems based on machine learning from execution traces, under a given hypothesis about the system's model of computation. Our technique is based on a novel formulation of the model generation problem as learning a dependency graph that indicates partial ordering between tasks. Tests based on an industry case study demonstrate that the learning algorithm can scale up and that the deduced system model accurately reflects dependencies between tasks in the original design. These dependencies help us formally prove properties of the system and also extract data dependencies that are not explicitly stated in the specifications of black box components." @default.
- W2016048336 created "2016-06-24" @default.
- W2016048336 creator A5000590935 @default.
- W2016048336 creator A5006911267 @default.
- W2016048336 creator A5020860417 @default.
- W2016048336 creator A5057725502 @default.
- W2016048336 creator A5064230639 @default.
- W2016048336 date "2007-04-16" @default.
- W2016048336 modified "2023-09-28" @default.
- W2016048336 title "Interactive presentation: Automatic model generation for black box real-time systems" @default.
- W2016048336 cites W1494491461 @default.
- W2016048336 cites W1984735703 @default.
- W2016048336 cites W1989445634 @default.
- W2016048336 cites W2009207944 @default.
- W2016048336 cites W2077137185 @default.
- W2016048336 cites W2113248059 @default.
- W2016048336 cites W2119355229 @default.
- W2016048336 cites W2149348837 @default.
- W2016048336 cites W2165172064 @default.
- W2016048336 cites W2171979200 @default.
- W2016048336 cites W2211070276 @default.
- W2016048336 cites W346640903 @default.
- W2016048336 doi "https://doi.org/10.5555/1266366.1266566" @default.
- W2016048336 hasPublicationYear "2007" @default.
- W2016048336 type Work @default.
- W2016048336 sameAs 2016048336 @default.
- W2016048336 citedByCount "3" @default.
- W2016048336 countsByYear W20160483362013 @default.
- W2016048336 countsByYear W20160483362021 @default.
- W2016048336 crossrefType "proceedings-article" @default.
- W2016048336 hasAuthorship W2016048336A5000590935 @default.
- W2016048336 hasAuthorship W2016048336A5006911267 @default.
- W2016048336 hasAuthorship W2016048336A5020860417 @default.
- W2016048336 hasAuthorship W2016048336A5057725502 @default.
- W2016048336 hasAuthorship W2016048336A5064230639 @default.
- W2016048336 hasConcept C11413529 @default.
- W2016048336 hasConcept C132525143 @default.
- W2016048336 hasConcept C154945302 @default.
- W2016048336 hasConcept C16311509 @default.
- W2016048336 hasConcept C19768560 @default.
- W2016048336 hasConcept C41008148 @default.
- W2016048336 hasConcept C45374587 @default.
- W2016048336 hasConcept C80444323 @default.
- W2016048336 hasConcept C94966114 @default.
- W2016048336 hasConceptScore W2016048336C11413529 @default.
- W2016048336 hasConceptScore W2016048336C132525143 @default.
- W2016048336 hasConceptScore W2016048336C154945302 @default.
- W2016048336 hasConceptScore W2016048336C16311509 @default.
- W2016048336 hasConceptScore W2016048336C19768560 @default.
- W2016048336 hasConceptScore W2016048336C41008148 @default.
- W2016048336 hasConceptScore W2016048336C45374587 @default.
- W2016048336 hasConceptScore W2016048336C80444323 @default.
- W2016048336 hasConceptScore W2016048336C94966114 @default.
- W2016048336 hasLocation W20160483361 @default.
- W2016048336 hasOpenAccess W2016048336 @default.
- W2016048336 hasPrimaryLocation W20160483361 @default.
- W2016048336 hasRelatedWork W116862987 @default.
- W2016048336 hasRelatedWork W121119536 @default.
- W2016048336 hasRelatedWork W142347750 @default.
- W2016048336 hasRelatedWork W1491449306 @default.
- W2016048336 hasRelatedWork W1604756673 @default.
- W2016048336 hasRelatedWork W1953237395 @default.
- W2016048336 hasRelatedWork W1989317729 @default.
- W2016048336 hasRelatedWork W2061291692 @default.
- W2016048336 hasRelatedWork W2149348837 @default.
- W2016048336 hasRelatedWork W2157827846 @default.
- W2016048336 hasRelatedWork W2300531905 @default.
- W2016048336 hasRelatedWork W2391251187 @default.
- W2016048336 hasRelatedWork W2570062402 @default.
- W2016048336 hasRelatedWork W2751295852 @default.
- W2016048336 hasRelatedWork W2766528288 @default.
- W2016048336 hasRelatedWork W2924701772 @default.
- W2016048336 hasRelatedWork W3083346639 @default.
- W2016048336 hasRelatedWork W3175312225 @default.
- W2016048336 hasRelatedWork W3205783487 @default.
- W2016048336 hasRelatedWork W2216376162 @default.
- W2016048336 isParatext "false" @default.
- W2016048336 isRetracted "false" @default.
- W2016048336 magId "2016048336" @default.
- W2016048336 workType "article" @default.