Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

2016 ◽  
Author(s):  
Alessandro Fantechi ◽  
Stefano Pepi
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Schedulability Analysis ◽  
Real Time Systems ◽  
Time Systems

Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems

SDL '99 ◽  
1999 ◽  
pp. 241-256 ◽  
Author(s):  
J.M. Alvarez ◽  
M. Díaz ◽  
L.M. Llopis ◽  
E. Pimentel ◽  
J.M. Troya
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Object Oriented ◽  
Real Time Systems ◽  
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

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

2012 ◽  
Vol 15 (3) ◽  
pp. 211-228 ◽  
Author(s):  
Thi Thieu Hoa Le ◽  
Luigi Palopoli ◽  
Roberto Passerone ◽  
Yusi Ramadian
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
Schedulability Analysis ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document