#### DMCA

## Scheduling Real-Time Embedded Systems Based on TCPNIA

### Cached

### Download Links

### Citations

2135 |
Petri nets: Properties, analysis and applications
- Murata
- 1989
(Show Context)
Citation Context ...ntsproblems.sDesigning systems with such characteristics is asdifficult task. Design method with well-defined formalssemantics is needed for specification and implementationsof the system. Petri nets =-=[1]-=- are formal models based onsstrict mathematical theories. They are powerful modelssand appropriate for modeling systems with parallelization,sThe work was supported by the NSF of China under grants No... |

742 | Model checking and abstraction,
- Clarke, Grumberg, et al.
- 1994
(Show Context)
Citation Context ... 4t 5t Figure 6.sFuel checking and addingsThe safety conditions can be represented by CTLs(Computation Tree Logic, CTL) [16] formulas. Thestemporal logic formulas can be verified using modelschecking =-=[18]-=- tools. The model checker will returnswhether CTL formulas are satisfied in the TCPNIA modelsshown in Fig. 5. We ignore the details of model checkingsprocess in this paper.s346 JOURNAL OF SOFTWARE, VO... |

172 | Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
- Jensen, Kristensen, et al.
- 2007
(Show Context)
Citation Context ... can not usesthe traditional Petri nets analysis methods.sTimed Petri nets [4] allow transitions to be executedsfor a period, which can be used to express events’ timesconsumption. Colored Petri nets =-=[5]-=- allow tokens to havesmultiple data and have the ability to specify complicatedscomputing. Inhibitor arcs can be used for describingsevents temporal order [1]. Timed colored Petri nets withsinhibitor ... |

82 | A platform-independent component modeling language for distributed real-time and embedded systems
- Balasubramanian, Balasubramanian, et al.
- 2007
(Show Context)
Citation Context ...p 3ps(b) control functionsFigure 1.sExample of data and control modelingsC. Modules ModelingsA real-time embedded system is composed by severalsdifferent types of components, which are called moduless=-=[15]-=-. Conflict, parallel and sequence modules’ modelingsmethods are similar to the traditional Petri nets [1]. Wespropose here the following modules: branch,ssynchronization, inhibitor, loop, mutual exclu... |

73 | Schedulability analysis of global scheduling algorithms on multiprocessor platforms,” - Bertogna, Cirinei, et al. - 2009 |

60 |
Automated Transformation of Algorithms into Register-Transfer Level Implementations , IEEE 7rans. Computer-Aided Design of Integrated Circuits
- Peng, Kuchcinski
- 1994
(Show Context)
Citation Context ...od; And Section VII concludes this paper.sII. RELATED WORKsMany models have been proposed to representsembedded systems. Particularly, Petri nets have beensextended to model such systems. Peng et al. =-=[7]-=- introducestwo separate graphs to describe data operation and controlsprocess respectively. But it can not reflect thesinterrelations of data and control information explicitly.sPRES/PRES+ (Petri net ... |

21 |
A Complete Model for Representing the Coordination of Asynchronous Processes.
- Agerwala
- 1974
(Show Context)
Citation Context ...nd 3psis empty. But if 2tswant to fire, not only 2psshould have a token and 4psshould be empty, but also 1psshould be empty. It has been shown that such a systemscan only be molded with inhibitor arcs=-=[16]-=-, like the arcsfrom 1psto 2tsin Fig. 2(c).s4) Loop ModulesFig. 2(d) shows that the transition 1tsmay be calledsseveral times continuously when the guard condition isssatisfied. The transition 1tsmay r... |

16 | Compositional schedulability analysis of real-time systems using time Petri nets.
- Xu, He, et al.
- 2002
(Show Context)
Citation Context ...for real-time systems in the previous decades.sThey do not consider the influence of system’s datasoperational functions. Some of them [12-14] even do notsconsider the resource constraints. Xu et al. =-=[14]-=- propose ascompositional approach to the schedulability analysis ofsreal-time systems modeled in time Petri nets. The absolutestime constraints are checked to determine thesschedulability of a path. A... |

12 | A Petri net based model for heterogeneous embedded systems
- Cortés, Eles, et al.
(Show Context)
Citation Context ...peration and controlsprocess respectively. But it can not reflect thesinterrelations of data and control information explicitly.sPRES/PRES+ (Petri net based Representation forsEmbedded Systems, PRES) =-=[2, 8]-=- can represent datasoperation and control process in a single figure. Theysinclude data information in a token and describe timesinformation explicitly. But they can not describe events'stemporal orde... |

11 |
The state explosion problem,” Lectures on Petri Nets I: Basic Models,
- Valmari
- 1998
(Show Context)
Citation Context ...returns true, so nMsis thestarget marking in the trace 0 1 1 2 2 n nM t M t M t M" . Thus,sTheorem 2 holds.sC. Complexity of the AlgorithmsThe state space size is ( )mO ksin a Petri net with msplaces =-=[17]-=-, where ksis the states number of each place.sBut in the algorithm of Fig. 3, only partial places aresvisited and only partial states of each place are used. Sosthe state space size is less than ( )mO... |

9 | 2003, “Modeling and formal verification of embedded systems based on a Petri net representation - Cortes, Eles, et al. |

6 | Energy-aware task scheduling with task synchronization for embedded real-time systems,
- Jejurikar, Gupta
- 2006
(Show Context)
Citation Context ...me systems modeled in time Petri nets. The absolutestime constraints are checked to determine thesschedulability of a path. An absolute time consumingscalculating method is provided. Jejurikar et al. =-=[11]-=-spropose an energy-aware task scheduling method forsembedded real-time systems. Like many of other energyaware scheduling methods, that paper only focused onsDVS (Dynamic Voltage Scaling, DVS) of a pr... |

4 | Dual flow nets: Modeling the control/data-flow relation in embedded systems
- Varea, Al-Hashimi, et al.
(Show Context)
Citation Context ...rmation in a token and describe timesinformation explicitly. But they can not describe events'stemporal orders. It can’t express complicated data andscontrol flows perfectly. DFN (Dual Flow Net, DFN) =-=[3]-=-sintroduces data transitions and control transitionssseparately to process data and control informationsrespectively in the same net. But it's semantics is differentsobviously from traditional Petri n... |

3 | Linguisitc group decisionmaking:opinion aggregation and measures of consenus - Ben-Arieh - 2006 |

2 | decision making method and its application - Xu - 2004 |

1 | Centered OWA operators”, Soft Compute, Vol.11 - Yager |

1 |
Implementing timed Petri net in security information systems
- Chin, Huang, et al.
- 2007
(Show Context)
Citation Context ...-3]. They are extendedsfrom Petri nets. But some of them are absence of thesability to describe the tasks’ priorities, others can not usesthe traditional Petri nets analysis methods.sTimed Petri nets =-=[4]-=- allow transitions to be executedsfor a period, which can be used to express events’ timesconsumption. Colored Petri nets [5] allow tokens to havesmultiple data and have the ability to specify complic... |

1 |
Modeling and verification of embedded systems using timed colored Petri net with inhibitor arcs
- Nian-hua, Hui-qun
(Show Context)
Citation Context ...to havesmultiple data and have the ability to specify complicatedscomputing. Inhibitor arcs can be used for describingsevents temporal order [1]. Timed colored Petri nets withsinhibitor arcs (TCPNIA) =-=[6]-=- integrates the above threesmodels to facilitate modeling and analyzing real-timesembedded systems. In addition, the existing Petri netsstechniques can be adopted to analyze properties of thessystem.s... |

1 |
An extended Petri net EPRES for embedded system modeling
- Liu, Mu
(Show Context)
Citation Context ... the same net. But it's semantics is differentsobviously from traditional Petri nets. The analysisstechniques of traditional Petri nets can't be utilized in suchsa model. EPRES (Extended PRES, EPRES) =-=[9]-=-,sdeveloped from PRES+, also can not utilize the analysisstechniques of traditional Petri nets. TCPNIA integrates thesability of timed, colored Petri nets and inhibitor arcs tosfacilitate modeling and... |

1 |
Software synthesis for hard real-time embedded systems with energy constraints
- Tavares, Silva, et al.
(Show Context)
Citation Context ...is shown in Fig 6.s3 1 1 x xx x 5x ≥ x 5x < 10 x− 1p 2p 3p 4p 5p 6p 1 7p 18p 9p 10p 11p 12p 13p 14p 1t 2t 3t 1 4t 1 5t 6t 7t 8t 9t 10t 11t 12t 13t [20,30] [2,3] <3> <10> [5,6] <3> [2,3] <5> [2,4] <5> =-=[8,10]-=- <2> [3,5] <1> [3,4] [1,2] <5> [2,3] <12> [1,2] <6> [40,50] 14t 15t x x 5x ≥ x 5x < 10 x−<5> [2,4] 2 7p 28p 2 4t 2 5t Figure 5.sTCPNIA model of a train pulling in systemsx x 5x ≥ x 5x < 10 x−7p 8p 4t ... |

1 | et al., “Software synthesis for hard real-time embedded systems with multiple processors - Tavares, Barreto, et al. |