Worst case execution time analysis for Petri net models of embedded systems

被引：0

作者：

Stappert, F ^{[1
]}

Rust, C ^{[1
]}

机构：

[1] Univ Gesamthsch Paderborn, C LAB, D-33102 Paderborn, Germany

来源：

ESA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS AND APPLICATIONS | 2003年

关键词：

Petri nets; Worst Case Execution Time Analysis; embedded systems;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part of our work towards a Petri net based methodology for the seamless design of embedded real-time systems. One main characteristic of the approach is that standard Petri net analysis methods are utilized during timing analysis in order to improve WCET estimations. Another characteristic is a - compared to existing WCET tools - less hardware dependent result of the timing analysis. This enables us to apply our methods for the design of dynamically changing embedded systems.

引用

页码：176 / 182

页数：7