Validating real-time applications distributed over CAN : an interoperability verification
Identifieur interne : 00C079 ( Main/Merge ); précédent : 00C078; suivant : 00C080Validating real-time applications distributed over CAN : an interoperability verification
Auteurs : Françoise Simonot-Lion ; Ye-Qiong Song ; Jacques RaymondSource :
English descriptors
Abstract
The embedded systems are based on devices from different vendors. Each device supports a part of the embedded application and the message exchanges among devices are ensured using CAN network. A main problem comes from the heterogeneity of the components and, therefore interoperability is a key word to take into account along the development process of these applications. In this paper, interoperability is defined as composed of several properties whose proofs must be done as soon as possible at the system design step. Then two approaches of verification are described : one is processed on an abstract model and is relevant both of analysis and simulation ; the second one is applied to an actual prototype. These methods are supported by two tools, VACANS and OBSERVER, which are briefly presented and their complementarities illustrated by a case-study.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001E64
- to stream Crin, to step Curation: 001E64
- to stream Crin, to step Checkpoint: 002625
Links to Exploration step
CRIN:simonot97cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="545">Validating real-time applications distributed over CAN : an interoperability verification</title></titleStmt><publicationStmt><idno type="RBID">CRIN:simonot97c</idno><date when="1997" year="1997">1997</date><idno type="wicri:Area/Crin/Corpus">001E64</idno><idno type="wicri:Area/Crin/Curation">001E64</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001E64</idno><idno type="wicri:Area/Crin/Checkpoint">002625</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002625</idno><idno type="wicri:Area/Main/Merge">00C079</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Validating real-time applications distributed over CAN : an interoperability verification</title><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="Song, Ye Qiong" sort="Song, Ye Qiong" uniqKey="Song Y" first="Ye-Qiong" last="Song">Ye-Qiong Song</name></author><author><name sortKey="Raymond, Jacques" sort="Raymond, Jacques" uniqKey="Raymond J" first="Jacques" last="Raymond">Jacques Raymond</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>CAN Network</term><term>Embedded systems</term><term>Interoperability</term><term>Performance evaluation</term><term>Validation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="1218">The embedded systems are based on devices from different vendors. Each device supports a part of the embedded application and the message exchanges among devices are ensured using CAN network. A main problem comes from the heterogeneity of the components and, therefore interoperability is a key word to take into account along the development process of these applications. In this paper, interoperability is defined as composed of several properties whose proofs must be done as soon as possible at the system design step. Then two approaches of verification are described : one is processed on an abstract model and is relevant both of analysis and simulation ; the second one is applied to an actual prototype. These methods are supported by two tools, VACANS and OBSERVER, which are briefly presented and their complementarities illustrated by a 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 00C079 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00C079 | 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:simonot97c
|texte= Validating real-time applications distributed over CAN : an interoperability verification
}}
| This area was generated with Dilib version V0.6.33. |  |