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
相关论文
共 50 条
  • [21] Worst-Case Execution Time analysis at low cost
    Puschner, P
    DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 17 - 22
  • [22] Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis
    Uppsala Univ
    Real Time Technol Appl Proc, (46-55):
  • [23] Predicated Worst-Case Execution-Time Analysis
    Marref, Amine
    Bernat, Guillem
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 134 - 148
  • [24] A Functional Approach to Worst-Case Execution Time Analysis
    Rodrigues, Vitor
    Florido, Mario
    de Sousa, Simao Melo
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2011, 6816 : 86 - +
  • [25] Worst case execution time analysis for a processor with branch prediction
    Colin, A
    Puaut, I
    REAL-TIME SYSTEMS, 2000, 18 (2-3) : 249 - 274
  • [26] Worst Case Execution Time Analysis for a Processor with Branch Prediction
    Antoine Colin
    Isabelle Puaut
    Real-Time Systems, 2000, 18 : 249 - 274
  • [27] Segment Abstraction for Worst-Case Execution Time Analysis
    Cerny, Pavol
    Henzinger, Thomas A.
    Kovacs, Laura
    Radhakrishna, Arjun
    Zwirchmayr, Jakob
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 105 - 131
  • [28] Worst case execution time analysis for a processor with branch prediction
    Colin, Antoine
    Puaut, Isabelle
    Real-Time Systems, 2000, 18 (02) : 249 - 274
  • [29] EXECUTION MODELS FOR RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS
    Khalgui, Mohamed
    Hanisch, Hans-Michael
    ASIAN JOURNAL OF CONTROL, 2009, 11 (03) : 249 - 260
  • [30] Worst-case execution times and schedulability analysis of statecharts models
    Erpenbach, E
    Altenbernd, P
    PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 1999, : 70 - 77
12345