Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Validation d'Applications Distribuées autour du Réseau CAN (Atelier)

Identifieur interne : 00C007 ( Main/Merge ); précédent : 00C006; suivant : 00C008

Validation d'Applications Distribuées autour du Réseau CAN (Atelier)

Auteurs : Nicolas Navet ; Ye-Qiong Song

Source :

RBID : CRIN:navet97b

English descriptors

Abstract

CAN est de plus en plus utilisé dans des applications temps réel (contrôle-commande, systèmes embarqués,...) comme le réseau d'interconnexion des fonctions réparties. Bien que ce réseau possède certaines "bonnes" propriétés telles qu'un temps d'accès au médium borné pour une priorité donnée, ce n'est pas pour autant que l'application construite au-dessus respectera ses contraintes temporelles (à cause par exemple d'une mauvaise affectation des priorités ou d'erreurs de transmission). Pour que le système soit valide, une vérification du respect de ces contraintes s'impose lors de sa conception.

Links toward previous steps (curation, corpus...)


Links to Exploration step

CRIN:navet97b

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr" wicri:score="-128">Validation d'Applications Distribuées autour du Réseau CAN (Atelier)</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:navet97b</idno>
<date when="1997" year="1997">1997</date>
<idno type="wicri:Area/Crin/Corpus">001E37</idno>
<idno type="wicri:Area/Crin/Curation">001E37</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001E37</idno>
<idno type="wicri:Area/Crin/Checkpoint">002554</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002554</idno>
<idno type="wicri:Area/Main/Merge">00C007</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Validation d'Applications Distribuées autour du Réseau CAN (Atelier)</title>
<author>
<name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</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>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>CAN</term>
<term>local area network</term>
<term>validation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr" wicri:score="-1810">CAN est de plus en plus utilisé dans des applications temps réel (contrôle-commande, systèmes embarqués,...) comme le réseau d'interconnexion des fonctions réparties. Bien que ce réseau possède certaines "bonnes" propriétés telles qu'un temps d'accès au médium borné pour une priorité donnée, ce n'est pas pour autant que l'application construite au-dessus respectera ses contraintes temporelles (à cause par exemple d'une mauvaise affectation des priorités ou d'erreurs de transmission). Pour que le système soit valide, une vérification du respect de ces contraintes s'impose lors de sa conception.</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 00C007 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00C007 | 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:navet97b
   |texte=   Validation d'Applications Distribuées autour du Réseau CAN (Atelier)
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022