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 条

[31] Diagnosability Analysis of Labeled Time Petri Net Systems
Basile, Francesco
Cabasino, Maria Paola
Seatzu, Carla
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1384 - 1396
[32] Modular Petri Net Processor for Embedded Systems
Micolini, Orlando
Daniele, Emiliano N.
Ventre, Luis O.
COMPUTER SCIENCE (CACIC 2017), 2018, 790 : 199 - 208
[33] IPNES - Interpreted Petri Net for Embedded Systems
Krzywicki, Kazimierz
Andrzejewski, Grzegorz
Zajac, Wojciech
Krolikowski, Tomasz
Barkalov, Alexander
Titarenko, Larysa
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021), 2021, 192 : 2012 - 2021
[34] Property analysis of refinement of Petri net based representation for embedded systems
Xia, C. (chuanliang_xia@126.com), 1600, Bentham Science Publishers B.V., P.O. Box 294, Bussum, 1400 AG, Netherlands (05):
[35] INTEGRATION OF STATIC WORST-CASE EXECUTION TIME & STACK USAGE ANALYSIS FOR EMBEDDED SYSTEMS SOFTWARE IN A CLOUD-BASED DEVELOPMENT ENVIRONMENT
Hausladen, Juergen
Gerstmayer, Florian
Jerabek, Thomas
Horauer, Martin
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2017, VOL 9, 2017,
[36] Petri net based design of reconfigurable embedded real-time systems
Rust, C
Stappert, F
Bernhardi-Grisson, R
DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 41 - 50
[37] Worst-case Execution Time Estimation of Legacy Vehicular Embedded Functions: An Industrial Case Study
Ventovaara, Marcus
Hasanbegovic, Arman
Wiklander, Jimmie
Mubeen, Saad
2020 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2020, : 981 - 986
[38] Identification of Time Petri Net Models
Basile, Francesco
Chiacchio, Pasquale
Coppola, Jolanda
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (09): : 2586 - 2600
[39] Worst-case execution-time analysis at low cost
Puschner, P
CONTROL ENGINEERING PRACTICE, 1998, 6 (01) : 129 - 135
[40] Survey of Cache analysis for worst-case execution time estimation
Lü, Ming-Song
Guan, Nan
Wang, Yi
Ruan Jian Xue Bao/Journal of Software, 2014, 25 (02): : 179 - 199

← 1 2 3 4 5 →