loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Walid Karamti ; Adel Mahfoudhi ; Yessine Hadj Kacem and Mohamed Abid

Affiliation: University of Sfax, Tunisia

Keyword(s): Real-time System, Petri Nets, dPTPN, Scheduling Analysis, Least Laxity First.

Related Ontology Subjects/Areas/Topics: Embedded Communications Systems ; Real-Time Systems ; Software Architectures ; Telecommunications

Abstract: In order to examine whether the timing constraints of a Real-Time application are met, we propose an extension of Time Petri Nets model that takes into account the scheduling of a set of tasks distributed over a multiprocessor architecture. This paper is concerned with dynamic Priority-driven scheduling, whose policy is known to be supported by a new formalism called dynamic Priority Time Petri Nets (dPTPN). Its ultimate objective is to show how to deal with the Least Laxity First Scheduling policy with a set of periodic independent tasks. Besides, the use of dynamic priorities gives a determinism aspect to the model in which a crossing of concurrent transitions exists. Therefore, the execution of the model is accelerated and the number of accessible states is decreased.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.85.85.246

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Karamti, W.; Mahfoudhi, A.; Hadj Kacem, Y. and Abid, M. (2012). A FORMAL METHOD FOR SCHEDULING ANALYSIS OF A PARTITIONED MULTIPROCESSOR SYSTEM - Dynamic Priority Time Petri Nets. In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS; ISBN 978-989-8565-00-6; ISSN 2184-2817, SciTePress, pages 317-326. DOI: 10.5220/0003809103170326

@conference{peccs12,
author={Walid Karamti. and Adel Mahfoudhi. and Yessine {Hadj Kacem}. and Mohamed Abid.},
title={A FORMAL METHOD FOR SCHEDULING ANALYSIS OF A PARTITIONED MULTIPROCESSOR SYSTEM - Dynamic Priority Time Petri Nets},
booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS},
year={2012},
pages={317-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003809103170326},
isbn={978-989-8565-00-6},
issn={2184-2817},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS
TI - A FORMAL METHOD FOR SCHEDULING ANALYSIS OF A PARTITIONED MULTIPROCESSOR SYSTEM - Dynamic Priority Time Petri Nets
SN - 978-989-8565-00-6
IS - 2184-2817
AU - Karamti, W.
AU - Mahfoudhi, A.
AU - Hadj Kacem, Y.
AU - Abid, M.
PY - 2012
SP - 317
EP - 326
DO - 10.5220/0003809103170326
PB - SciTePress