Abstract | ||
---|---|---|
In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The presented analysis methodology uses a functional SystemC implementation of communicating processes as input. Necessary model extensions towards capturing of static non-preemptive scheduling are introduced and the integration of the software scheduling in the formal analysis process is explained. The applicability of the approach in an automated design flow is presented using a SystemC model of a JPEG encoder. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/DATE.2009.5090718 | Nice |
Keywords | Field | DocType |
embedded systems,hardware description languages,scheduling,software performance evaluation,JPEG encoder,automated design flow,embedded system models,formal analysis process,functional SystemC implementation,static nonpreemptive software scheduling,white box performance analysis | Unified Modeling Language,White box,Computer science,Scheduling (computing),Parallel computing,SystemC,Real-time computing,Design flow,Software,Schedule,Hardware description language | Conference |
ISSN | ISBN | Citations |
1530-1591 | 978-1-4244-3781-8 | 3 |
PageRank | References | Authors |
0.43 | 19 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Viehl | 1 | 181 | 25.01 |
Michael Pressler | 2 | 3 | 0.43 |
Oliver Bringmann | 3 | 586 | 71.36 |
Wolfgang Rosenstiel | 4 | 1462 | 212.32 |