Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics
Identifieur interne : 00A641 ( Main/Exploration ); précédent : 00A640; suivant : 00A642Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics
Auteurs : Francois Baccelli ; Bruno Gaujal ; Daniel SimonSource :
English descriptors
- KwdEn :
Abstract
In this paper we present the model of a system of periodic real-time tasks with fixed priorities, preemption and synchronization, performed by a robot controler, using Marked Graphs. Then, with the help of the (max,plus) algebra, we derive simple tests to check real time constraints on those tasks such as response times and the respect of deadlines. This method takes into account precedence and synchronization constraints and is not limited to a particular scheduling policy.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002712
- to stream Crin, to step Curation: 002712
- to stream Crin, to step Checkpoint: 001E86
- to stream Main, to step Merge: 00AC92
- to stream Main, to step Curation: 00A641
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="346">Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:baccelli99a</idno>
<date when="1999" year="1999">1999</date>
<idno type="wicri:Area/Crin/Corpus">002712</idno>
<idno type="wicri:Area/Crin/Curation">002712</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002712</idno>
<idno type="wicri:Area/Crin/Checkpoint">001E86</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001E86</idno>
<idno type="wicri:Area/Main/Merge">00AC92</idno>
<idno type="wicri:Area/Main/Curation">00A641</idno>
<idno type="wicri:Area/Main/Exploration">00A641</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics</title>
<author><name sortKey="Baccelli, Francois" sort="Baccelli, Francois" uniqKey="Baccelli F" first="Francois" last="Baccelli">Francois Baccelli</name>
</author>
<author><name sortKey="Gaujal, Bruno" sort="Gaujal, Bruno" uniqKey="Gaujal B" first="Bruno" last="Gaujal">Bruno Gaujal</name>
</author>
<author><name sortKey="Simon, Daniel" sort="Simon, Daniel" uniqKey="Simon D" first="Daniel" last="Simon">Daniel Simon</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>fixed priority preemption</term>
<term>marked graphs</term>
<term>max plus algebra</term>
<term>periodic real time systems</term>
<term>synchronization</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1154">In this paper we present the model of a system of periodic real-time tasks with fixed priorities, preemption and synchronization, performed by a robot controler, using Marked Graphs. Then, with the help of the (max,plus) algebra, we derive simple tests to check real time constraints on those tasks such as response times and the respect of deadlines. This method takes into account precedence and synchronization constraints and is not limited to a particular scheduling policy.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Baccelli, Francois" sort="Baccelli, Francois" uniqKey="Baccelli F" first="Francois" last="Baccelli">Francois Baccelli</name>
<name sortKey="Gaujal, Bruno" sort="Gaujal, Bruno" uniqKey="Gaujal B" first="Bruno" last="Gaujal">Bruno Gaujal</name>
<name sortKey="Simon, Daniel" sort="Simon, Daniel" uniqKey="Simon D" first="Daniel" last="Simon">Daniel Simon</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A641 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00A641 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:baccelli99a |texte= Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |