InforLorV4, PascalFrancis, Corpus, bibRecord, 000C69

Validation of distributed real time systems thanks to performance evaluation of their physical architecture

Identifieur interne : 000C69 ( PascalFrancis/Corpus ); précédent : 000C68; suivant : 000C70

Validation of distributed real time systems thanks to performance evaluation of their physical architecture

Auteurs : Y. Song ; F. Simonot-Lion ; N. Navet

Source :

RBID : Pascal:97-0239460

Descripteurs français

Pascal (Inist)
- Automatisation, Système production, Ordinateur, Système temps réel, Système réparti, Communication, Validation, Evaluation performance.

English descriptors

KwdEn :
- Automation, Communication, Computer, Distributed system, Performance evaluation, Production system, Real time system, Validation.

Abstract

The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A08	`01`	`1`	`ENG`	`@1 Validation of distributed real time systems thanks to performance evaluation of their physical architecture`
A09	`01`	`1`	`ENG`	`@1 Symposium on discrete events and manufacturing systems : Lille, July 9-12, 1996`
A11	`01`	`1`		`@1 SONG (Y.)`
A11	`02`	`1`		`@1 SIMONOT-LION (F.)`
A11	`03`	`1`		`@1 NAVET (N.)`
A14	`01`			`@1 CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye @2 54516 Vandœuvre @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut.`
A18	`01`	`1`		`@1 International Association for Mathematics and Computers in Simulation @2 Liège @3 BEL @9 patr.`
A20				`@1 507-512`
A21				`@1 1996`
A23	`01`			`@0 ENG`
A25	`01`			`@1 Gerf EC Lille @2 Villeneuve d'Ascq`
A30	`01`	`1`	`ENG`	`@1 CESA'96 IMACS Multiconference : computational engineering in systems applications @3 Lille FRA @4 1996-07-09`
A43	`01`			`@1 INIST @2 Y 31267 @5 354000060671600820`
A44				`@0 0000 @1 © 1997 INIST-CNRS. All rights reserved.`
A45				`@0 22 ref.`
A47	`01`	`1`		`@0 97-0239460`
A60				`@1 C`
A61				`@0 A`
A66	`01`			`@0 FRA`
C01	`01`		`ENG`	`@0 The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.`
C02	`01`	`X`		`@0 001D02D09`
C02	`02`	`X`		`@0 001D02B04`
C03	`01`	`X`	`FRE`	`@0 Automatisation @5 01`
C03	`01`	`X`	`ENG`	`@0 Automation @5 01`
C03	`01`	`X`	`GER`	`@0 Automatisierung @5 01`
C03	`01`	`X`	`SPA`	`@0 Automatización @5 01`
C03	`02`	`X`	`FRE`	`@0 Système production @5 02`
C03	`02`	`X`	`ENG`	`@0 Production system @5 02`
C03	`02`	`X`	`SPA`	`@0 Sistema producción @5 02`
C03	`03`	`X`	`FRE`	`@0 Ordinateur @5 03`
C03	`03`	`X`	`ENG`	`@0 Computer @5 03`
C03	`03`	`X`	`GER`	`@0 Elektronische Rechenanlage @5 03`
C03	`03`	`X`	`SPA`	`@0 Computadora @5 03`
C03	`04`	`X`	`FRE`	`@0 Système temps réel @5 04`
C03	`04`	`X`	`ENG`	`@0 Real time system @5 04`
C03	`04`	`X`	`SPA`	`@0 Sistema tiempo real @5 04`
C03	`05`	`X`	`FRE`	`@0 Système réparti @5 05`
C03	`05`	`X`	`ENG`	`@0 Distributed system @5 05`
C03	`05`	`X`	`SPA`	`@0 Sistema repartido @5 05`
C03	`06`	`X`	`FRE`	`@0 Communication @5 06`
C03	`06`	`X`	`ENG`	`@0 Communication @5 06`
C03	`06`	`X`	`SPA`	`@0 Comunicación @5 06`
C03	`07`	`X`	`FRE`	`@0 Validation @5 07`
C03	`07`	`X`	`ENG`	`@0 Validation @5 07`
C03	`07`	`X`	`SPA`	`@0 Validación @5 07`
C03	`08`	`X`	`FRE`	`@0 Evaluation performance @5 08`
C03	`08`	`X`	`ENG`	`@0 Performance evaluation @5 08`
C03	`08`	`X`	`SPA`	`@0 Evaluación prestación @5 08`
N21				`@1 132`

Format Inist (serveur)

NO :	PASCAL 97-0239460 INIST
ET :	Validation of distributed real time systems thanks to performance evaluation of their physical architecture
AU :	SONG (Y.); SIMONOT-LION (F.); NAVET (N.)
AF :	CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye/54516 Vandœuvre/France (1 aut., 2 aut., 3 aut.)
DT :	Congrès; Niveau analytique
SO :	CESA'96 IMACS Multiconference : computational engineering in systems applications/1996-07-09/Lille FRA; France; Villeneuve d'Ascq: Gerf EC Lille; Da. 1996; Pp. 507-512
LA :	Anglais
EA :	The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.
CC :	001D02D09; 001D02B04
FD :	Automatisation; Système production; Ordinateur; Système temps réel; Système réparti; Communication; Validation; Evaluation performance
ED :	Automation; Production system; Computer; Real time system; Distributed system; Communication; Validation; Performance evaluation
GD :	Automatisierung; Elektronische Rechenanlage
SD :	Automatización; Sistema producción; Computadora; Sistema tiempo real; Sistema repartido; Comunicación; Validación; Evaluación prestación
LO :	INIST-Y 31267.354000060671600820
ID :	97-0239460

Links to Exploration step

Pascal:97-0239460

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Validation of distributed real time systems thanks to performance evaluation of their physical architecture</title>
<author><name sortKey="Song, Y" sort="Song, Y" uniqKey="Song Y" first="Y." last="Song">Y. Song</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Simonot Lion, F" sort="Simonot Lion, F" uniqKey="Simonot Lion F" first="F." last="Simonot-Lion">F. Simonot-Lion</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Navet, N" sort="Navet, N" uniqKey="Navet N" first="N." last="Navet">N. Navet</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">97-0239460</idno>
<date when="1996">1996</date>
<idno type="stanalyst">PASCAL 97-0239460 INIST</idno>
<idno type="RBID">Pascal:97-0239460</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000C69</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Validation of distributed real time systems thanks to performance evaluation of their physical architecture</title>
<author><name sortKey="Song, Y" sort="Song, Y" uniqKey="Song Y" first="Y." last="Song">Y. Song</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Simonot Lion, F" sort="Simonot Lion, F" uniqKey="Simonot Lion F" first="F." last="Simonot-Lion">F. Simonot-Lion</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Navet, N" sort="Navet, N" uniqKey="Navet N" first="N." last="Navet">N. Navet</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Automation</term>
<term>Communication</term>
<term>Computer</term>
<term>Distributed system</term>
<term>Performance evaluation</term>
<term>Production system</term>
<term>Real time system</term>
<term>Validation</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Automatisation</term>
<term>Système production</term>
<term>Ordinateur</term>
<term>Système temps réel</term>
<term>Système réparti</term>
<term>Communication</term>
<term>Validation</term>
<term>Evaluation performance</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA08 i1="01" i2="1" l="ENG"><s1>Validation of distributed real time systems thanks to performance evaluation of their physical architecture</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>Symposium on discrete events and manufacturing systems : Lille, July 9-12, 1996</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>SONG (Y.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>SIMONOT-LION (F.)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>NAVET (N.)</s1>
</fA11>
<fA14 i1="01"><s1>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye</s1>
<s2>54516 Vandœuvre</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14>
<fA18 i1="01" i2="1"><s1>International Association for Mathematics and Computers in Simulation</s1>
<s2>Liège</s2>
<s3>BEL</s3>
<s9>patr.</s9>
</fA18>
<fA20><s1>507-512</s1>
</fA20>
<fA21><s1>1996</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA25 i1="01"><s1>Gerf EC Lille</s1>
<s2>Villeneuve d'Ascq</s2>
</fA25>
<fA30 i1="01" i2="1" l="ENG"><s1>CESA'96 IMACS Multiconference : computational engineering in systems applications</s1>
<s3>Lille FRA</s3>
<s4>1996-07-09</s4>
</fA30>
<fA43 i1="01"><s1>INIST</s1>
<s2>Y 31267</s2>
<s5>354000060671600820</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 1997 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>22 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>97-0239460</s0>
</fA47>
<fA60><s1>C</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02D09</s0>
</fC02>
<fC02 i1="02" i2="X"><s0>001D02B04</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Automatisation</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Automation</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="GER"><s0>Automatisierung</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Automatización</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Système production</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Production system</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Sistema producción</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Ordinateur</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Computer</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="GER"><s0>Elektronische Rechenanlage</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Computadora</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Système temps réel</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Real time system</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Sistema tiempo real</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Système réparti</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Distributed system</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Sistema repartido</s0>
<s5>05</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Communication</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="ENG"><s0>Communication</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="SPA"><s0>Comunicación</s0>
<s5>06</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Validation</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Validation</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Validación</s0>
<s5>07</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Evaluation performance</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Performance evaluation</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Evaluación prestación</s0>
<s5>08</s5>
</fC03>
<fN21><s1>132</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 97-0239460 INIST</NO>
<ET>Validation of distributed real time systems thanks to performance evaluation of their physical architecture</ET>
<AU>SONG (Y.); SIMONOT-LION (F.); NAVET (N.)</AU>
<AF>CRIN - CNRS URA 262 - ENSEM - 2, avenue de la Forêt de Haye/54516 Vandœuvre/France (1 aut., 2 aut., 3 aut.)</AF>
<DT>Congrès; Niveau analytique</DT>
<SO>CESA'96 IMACS Multiconference : computational engineering in systems applications/1996-07-09/Lille FRA; France; Villeneuve d'Ascq: Gerf EC Lille; Da. 1996; Pp. 507-512</SO>
<LA>Anglais</LA>
<EA>The paper presents a model based on the performance evaluation of communication profiles and its use at the design step of a distributed real time application. It shows how this modeling activity is essential to verify that a given physical architecture (different computers connected by means of different networks) is well suited to support an application subject to time constraints.</EA>
<CC>001D02D09; 001D02B04</CC>
<FD>Automatisation; Système production; Ordinateur; Système temps réel; Système réparti; Communication; Validation; Evaluation performance</FD>
<ED>Automation; Production system; Computer; Real time system; Distributed system; Communication; Validation; Performance evaluation</ED>
<GD>Automatisierung; Elektronische Rechenanlage</GD>
<SD>Automatización; Sistema producción; Computadora; Sistema tiempo real; Sistema repartido; Comunicación; Validación; Evaluación prestación</SD>
<LO>INIST-Y 31267.354000060671600820</LO>
<ID>97-0239460</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000C69 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000C69 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:97-0239460
   |texte=   Validation of distributed real time systems thanks to performance evaluation of their physical architecture
}}

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

	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.

Serveur d'exploration sur la recherche en informatique en Lorraine

Validation of distributed real time systems thanks to performance evaluation of their physical architecture

Validation of distributed real time systems thanks to performance evaluation of their physical architecture

Source :

Descripteurs français

English descriptors

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri