VACANS - A Tool for the Validation of CAN-based Applications
Identifieur interne : 001E71 ( Crin/Corpus ); précédent : 001E70; suivant : 001E72VACANS - 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 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></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><BibTex type="inproceedings"><ref>song97c</ref><crinnumber>97-R-128</crinnumber><category>3</category><equipe>TRIO</equipe><author><e>Song, Ye-Qiong</e><e>Simonot-Lion, Françoise</e><e>Bélissent, Pierre</e></author><title>VACANS - A Tool for the Validation of CAN-based Applications</title><booktitle>{WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems, Barcelona, Spain}</booktitle><year>1997</year><editor>Fuertes, J.M., Juanole, G.</editor><pages>381-390</pages><month>oct</month><keywords><e>Validation</e><e>Performance evaluation</e><e>Simulation</e><e>Time Constraints</e><e>CAN Network.</e></keywords><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.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001E71 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 001E71 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Corpus
|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. |  |