From high-level specifications down to software implementations of parallel embedded real-time systems

2002 ◽  
Author(s):  
C. Rust ◽  
F. Stappert ◽  
P. Altenbernd ◽  
J. Tacken
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Software Implementations ◽  
High Level ◽  
Time Systems

Scheduling hard real time systems using high-level Petri nets

1992 ◽  
pp. 93-112 ◽  
Author(s):  
Giorgio Bruno ◽  
Andrea Castella ◽  
Gianpaolo Macario ◽  
Marco P. Pescarmona
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
High Level ◽  
Time Systems

scholarly journals Time Petri Nets with Action Duration

2013 ◽  
Vol 4 (2) ◽  
pp. 62-83 ◽  
Author(s):  
N. Belala ◽  
D.E. Saїdouni ◽  
R. Boukharrou ◽  
A.C. Chaouche ◽  
A. Seraoui ◽  
...  
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Timed Automata ◽  
Operational Semantics ◽  
Time Interval ◽  
Timing Constraints ◽  
Time Petri Nets ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems

The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions which have explicit durations. The authors give an operational semantics for DTPN in terms of Durational Action Timed Automata (DATA). DTPN considers both timing constraints and durations under a true-concurrency semantics with an aim of better expressing concurrent and parallel behaviours of real-time systems.

Implementation of a Non-Autonomous High-Level Petri Net Model for Reactive Real-Time Systems

1997 ◽  
Vol 30 (3) ◽  
pp. 397-402 ◽  
Author(s):  
João Paulo Barros ◽  
Luís Gomes ◽  
A. Steiger-Garção
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems

DERAF: A High-Level Aspects Framework for Distributed Embedded Real-Time Systems Design

2007 ◽  
pp. 55-74 ◽  
Author(s):  
Edison Pignaton de Freitas ◽  
Marco Aurélio Wehrmeister ◽  
Elias Teodoro Silva ◽  
Fabiano Costa Carvalho ◽  
Carlos Eduardo Pereira ◽  
...  
Keyword(s):  
Real Time ◽  
Systems Design ◽  
Real Time Systems ◽  
High Level ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document