Filters








4,351 Hits in 5.7 sec

Off-Line Computation of Real-Time Schedules by Means of Petri nets [chapter]

Emmanuel Grolleau, Annie Choquet-Geniet
2000 Discrete Event Systems  
We present an off-line methodology of analysis of real-time systems, composed of periodic, precedence and resource constrained real-time tasks.  ...  As there is no polynomial optimal scheduling technique for such tasks sets, we present an enumerative method based on the construction of the state graph of a Petri net.  ...  line computation of real-time schedules by means of Petri nets completes its execution, a b-token is produced in Active i .  ... 
doi:10.1007/978-1-4615-4493-7_32 fatcat:unh3uvsc7vdiri5ovng43ljwnm

Off-line scheduling of real time applications with variable duration tasks

Stephane Pailler, Annie Choquet-geniet
2004 IFAC Proceedings Volumes  
We propose a model oriented scheduling methodology for highly coupled real time applications.  ...  We show that variations in the computation times of tasks may hazard the safeness of the controlled process.  ...  CONCLUSION We have proposed a method for scheduling analysis of highly coupled real time applications which uses a Petri net modeling.  ... 
doi:10.1016/s1474-6670(17)30773-5 fatcat:vsyb2idvrnblnomezp6udjpamu

Romeo: A Tool for Analyzing Time Petri Nets [chapter]

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier (H. ) Roux
2005 Lecture Notes in Computer Science  
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties.  ...  Besides, our tool also deals with an extension of Time Petri Nets (Scheduling-TPNs) for which the valuations of transitions may be stopped and resumed, thus allowing the modeling preemption.  ...  Roux and Déplanche [1] propose an extension for Time Petri Nets (Scheduling-TPNs) that consists of mapping into the Petri net model the way the different schedulers of the system activate or suspend  ... 
doi:10.1007/11513988_41 fatcat:352rrddxsvcgrg6km6nxubdwiy

A formal software synthesis approach for embedded hard real-time systems

Raimundo Barreto, Mar�lia Neves, Meuse Oliveira, Paulo Maciel, Eduardo Tavares, Ricardo Lima
2004 Proceedings of the 17th symposium on Integrated circuits and system design - SBCCI '04  
We present a formal approach for automatic embedded hard real-time software synthesis based on time Petri nets.  ...  Such methods comprise real-time operating system services (scheduling, resource management,communication, synchronization), and code generation.  ...  MODELING REAL-TIME SYSTEMS Time Petri nets allow modeling of several situations present in most real-time systems. This section is just a summary.  ... 
doi:10.1145/1016568.1016615 dblp:conf/sbcci/BarretoNOMTL04 fatcat:n3petq2hkrbs5p6kmtqt27qari

Petri nets and flexible manufacturing [chapter]

Manuel Silva, Robert Valette
1990 Lecture Notes in Computer Science  
The aim of this survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid  ...  From the control of the plant perspective, scheduling on nets models, the coordination of the plant (global and partial) and the presence of nets in the local control level are discussed.  ...  Acknowledgments: The authors are grateful for the helpful comments of R. David, J. Erschler, P. Freedman, J.C. Gentina, P. Muro, J.L. Villarroel, K. Voss and many other persons. 6 References.  ... 
doi:10.1007/3-540-52494-0_38 fatcat:gn3nqq3q2rc2vm5bfk4iz7ursu

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches [chapter]

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
2009 Lecture Notes in Computer Science  
Indeed, Romeo now features an efficient model-checking of time Petri nets using the Uppaal DBM Library, the model-checking of stopwatch Petri nets and parametric stopwatch Petri nets using the Parma Polyhedra  ...  Although there exists other tools to compute the state-space of stopwatch models, Romeo is the first one that performs TCTL model-checking on stopwatch models.  ...  Introduction Time Petri nets (TPNs) [1] are a classical time extension of Petri nets. They allow an easy representation of real-time systems features such as synchronization and parallelism.  ... 
doi:10.1007/978-3-642-00768-2_6 fatcat:pauyi4ge4beoxkrifvivrqcp6a

Software synthesis of process-based concurrent programs

Bill Lin
1998 Proceedings of the 35th annual conference on Design automation conference - DAC '98  
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for a run-time multithreading  ...  The synthesized C programs can be readily retargeted to different processors using available optimizing C compilers.  ...  For comparisons, we have also implemented a multi-threading approach that uses the Solaris thread library to implement the processes. In principle, any real-time multi-threading packages may be used.  ... 
doi:10.1145/277044.277182 dblp:conf/dac/Lin98 fatcat:f3ygrw7btnhjljh5dy5gl54pau

Testing Real-Time Systems Using TINA [chapter]

Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni
2009 Lecture Notes in Computer Science  
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA.  ...  Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe  ...  Many other extensions of Petri Nets exist e.g. p-time Petri Nets [29] and timed Petri Nets [43] but none of them has the success of TPN.  ... 
doi:10.1007/978-3-642-05031-2_1 fatcat:mkzcb7bgtbhtfmvlfr6dczzo54

Towards a model-driven engineering approach for developing embedded hard real-time software

Fabiano Cruz, Raimundo Barreto, Lucas Cordeiro
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
This paper presents the ezRealtime, an MDE-based tool that relies on the Time Petri Net (TPN) formalism and defines a DSML to provide an easy-to-use environment for specifying Embedded Hard Real-Time (  ...  The ezRealtime tool reads and automatically translates the specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in  ...  MODELING Computational Model Computational model syntax is given by a time Petri net [11] , and its semantics by a timed labeled transition system.  ... 
doi:10.1145/1363686.1363765 dblp:conf/sac/CruzBC08 fatcat:6ehggorvj5fwfk6q26ju5l7e7q

Scheduling an aperiodic flow within a real-time system using Fairness properties

Annie Choquet-Geniet, Sadouanouan MALO
2014 ARIMA  
We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.  ...  International audience We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline.  ...  To overcome the lack of optimal on-line strategy, we use an off-line model-driven approach, based on the modelling of the application, including the temporal constraints, by a Petri net.  ... 
doi:10.46298/arima.1980 fatcat:z4c5a2qlh5dgjkzmfes6vrntri

Diamond Sentry: Integrating Sensors and Cameras for Real-Time Monitoring of Indoor Spaces

Pavan Turaga, Yuri A. Ivanov
2011 IEEE Sensors Journal  
Utilizing these policies makes the application of machine learning and computer vision techniques simple to use to perform on-line surveillance tasks in a fast, accurate and scalable way.  ...  Additionally, we employ an alternative modality to help in indexing video data for real time as well as for possible future use in forensic mode.  ...  Such situations where observations form independent streams coming into synchrony at discrete points in time are conveniently modeled using Petri-nets. 1) Petri-nets: Petri-nets were first introduced by  ... 
doi:10.1109/jsen.2010.2050309 fatcat:xb7qfksqlngzddmb4mm4zx6yge

Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets

N. Adjir, P. de Saqui-Sannes, M.K. Rahmouni
2009 2009 First International Conference on Advances in System Testing and Validation Lifecycle  
The paper presents a technique for model-based black-box conformance testing of real-time systems using Labeled Prioritized Time Petri Nets (LPrTPN).  ...  The TIme Petri Net Analyzer TINA has been extended to support concurrent composed subnets.  ...  Related work and motivations Time Petri nets [30] are one among the important formal models widely used to specify and verify real-time systems.  ... 
doi:10.1109/valid.2009.31 fatcat:qq2fkkgxy5bx5cp2ujeoqgdtty

Timed Test Case Generation Using Labeled Prioritized Time Petri Nets [article]

Noureddine Adjir, Pierre de Saqui Sannes, M. Kamel Rahmouni and Abdelkader Adla
2012 arXiv   pre-print
The paper presents a technique for model-based black-box conformance testing of real-time systems using Labeled Prioritized Time Petri Nets (LPrTPN).  ...  The TIme Petri Net Analyzer TINA has been extended to support concurrent composed subnets.  ...  We consider the set I + of nonempty real intervals   4.1 Labelled Prioritized Time Petri Nets Time Petri Nets (TPN) [30] extend Petri Nets with temporal intervals on transitions.  ... 
arXiv:1206.0788v1 fatcat:odowrvsvmje5tjbwtpvkaqmkyi

Oris: a tool for modeling, verification and evaluation of real-time systems

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2010 International Journal on Software Tools for Technology Transfer (STTT)  
As most characterizing features, Oris implements symbolic state space analysis of preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running under priority preemptive  ...  scheduling; and stochastic Time Petri Nets, which enable an integrated approach to qualitative verification and quantitative evaluation.  ...  Acknowledgments The Oris Tool is the result of a joint effort of best practices of SW design and theory of qualitative verification and quantitative evaluation at the Software Technologies Laboratory of  ... 
doi:10.1007/s10009-010-0156-8 fatcat:a6pxvge5orabng6bybve67swjq

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

C. Rust, F. Stappert, P. Altenbernd, J. Tacken
2000 Proceedings of the conference on Design, automation and test in Europe - DATE '00  
In this paper we describe a methodology and accompanied tool support for the development of parallel and distributed embedded real-time system software.  ...  given target hardware, whereby the implementation is verified to meet hard real-time constraints.  ...  The scheduling can either be performed on-line (i.e. at run time) or off-line (i.e. computing a static cyclic schedule).  ... 
doi:10.1145/343647.343894 fatcat:lylunzlxg5b3hprlqq2gyvgvkq
« Previous Showing results 1 — 15 out of 4,351 results