White Box Performance Analysis Considering Static Non-Preemptive Software Scheduling

被引：0

作者：

Viehl, Alexander ^{[1
]}

Pressler, Michael ^{[1
]}

Bringmann, Oliver ^{[1
]}

Rosenstiel, Wolfgang ^{[1
]}

机构：

[1] FZI Forschungszentrum Informat, D-76131 Karlsruhe, Germany

来源：

DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3 | 2009年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：513 / 518

页数：6