VACANS - A Tool for the Validation of CAN-based Applications
Identifieur interne : 00C146 ( Main/Merge ); précédent : 00C145; suivant : 00C147VACANS - A Tool for the Validation of CAN-based Applications
Auteurs : Ye-Qiong Song ; Françoise Simonot-Lion ; Pierre BélissentSource :
English descriptors
Abstract
To verify a priori if time constraints of a distributed real-time application will be respected, one needs to develop a model suitable for the verification. This paper presents a method for modeling CAN-based applications. The models are well-suited to performance evaluation for the verification of time constraints. This approach is supported by the tool VACANS integrating on the one hand a simulation method which allows to take into account actual needs and to furnish real system performance results and on the other hand the analytic method developed by Tindell and Burns [8] which provides the worst-case message response time. This tool supports the specification of an application in terms of tasks, inter-task data flow, task behavior, mapping of tasks onto nodes and CAN network. Such a specification is automatically translated into a simulation model and, when the application only generates periodic messages, translated into an analytic model. The simulation is carried out using the Opnet tool . The user can then verify if the time constraints are met in the actual-case or in the worst-case. We show the pertinence of the modeling approach and of the VACANS by applying them to an industrial case-study.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001E71
- to stream Crin, to step Curation: 001E71
- to stream Crin, to step Checkpoint: 002692
Links to Exploration step
CRIN:song97cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="346">VACANS - A Tool for the Validation of CAN-based Applications</title></titleStmt><publicationStmt><idno type="RBID">CRIN:song97c</idno><date when="1997" year="1997">1997</date><idno type="wicri:Area/Crin/Corpus">001E71</idno><idno type="wicri:Area/Crin/Curation">001E71</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001E71</idno><idno type="wicri:Area/Crin/Checkpoint">002692</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002692</idno><idno type="wicri:Area/Main/Merge">00C146</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">VACANS - A Tool for the Validation of CAN-based Applications</title><author><name sortKey="Song, Ye Qiong" sort="Song, Ye Qiong" uniqKey="Song Y" first="Ye-Qiong" last="Song">Ye-Qiong Song</name></author><author><name sortKey="Simonot Lion, Francoise" sort="Simonot Lion, Francoise" uniqKey="Simonot Lion F" first="Françoise" last="Simonot-Lion">Françoise Simonot-Lion</name></author><author><name sortKey="Belissent, Pierre" sort="Belissent, Pierre" uniqKey="Belissent P" first="Pierre" last="Bélissent">Pierre Bélissent</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>CAN Network.</term><term>Performance evaluation</term><term>Simulation</term><term>Time Constraints</term><term>Validation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="4200">To verify a priori if time constraints of a distributed real-time application will be respected, one needs to develop a model suitable for the verification. This paper presents a method for modeling CAN-based applications. The models are well-suited to performance evaluation for the verification of time constraints. This approach is supported by the tool VACANS integrating on the one hand a simulation method which allows to take into account actual needs and to furnish real system performance results and on the other hand the analytic method developed by Tindell and Burns [8] which provides the worst-case message response time. This tool supports the specification of an application in terms of tasks, inter-task data flow, task behavior, mapping of tasks onto nodes and CAN network. Such a specification is automatically translated into a simulation model and, when the application only generates periodic messages, translated into an analytic model. The simulation is carried out using the Opnet tool . The user can then verify if the time constraints are met in the actual-case or in the worst-case. We show the pertinence of the modeling approach and of the VACANS by applying them to an industrial case-study.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C146 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00C146 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:song97c
|texte= VACANS - A Tool for the Validation of CAN-based Applications
}}
| This area was generated with Dilib version V0.6.33. |  |