R T S ' 97

SALON DES SOLUTIONS

POUR LES SYSTTMES TEMPS R£EL

ET LES APPLICATIONS ENFOUIES

UhrvcJXUB/TIB Hannover 89114265 321.

TABLE DES MATIERESCONFERENCE SCIENTIFIQUE 1

TECHNIQUES DE VERIFICATION DE PROPRIETY TEMPORELLES

Analyse structurelle par reseaux de Petri de proprietes temporelles dessystemes temps reel: cas du reseau de terrain FTPFrank GASNIER, Jean-Pierre ELLOY

Introduction 231. Le reseau de terrain FIP 232. Modelisation du temps par RdP generalises 26

2.1. Modelisation d'une attente de franchissement de transition 272.2. Reduction des motifs 30

3. Analyse de la couche application d'une entite productrice 323.1. Modelisation de i'entite 323.2. Analyse d'une specification temporelle 34Conclusions & perspectives 35Bibl iographie 36

Un outil de validation temporelle des applications temps reel repartiesSamia SAAD-BOUZEFRANE, F. COTTET1. Introduction 372. L'architecture du modele de communication 393. La modelisation de l'application 404. Analyse temporelle 42

4.1. Calcul des contraintes temporelles des messages 424.2. Exemple d'application 44

5. Resultats de simulation 476. Concl us ion 51

Bibl iograph ie 51

Verification formelle de proprietes temporelles d'une application distributetemps reelJoel TOUSSAINT, Francoise SIMONOT-LION

Resume 531. Introduction 532. Etat de I'art et travaux relatifs 553. L'expression des contraintes de temps 564. Concepts de base pour la verification 56

4.1. Reseaux de Petri temporeis - Graphe de classes 574.2. Notations 584.3. Verification directe - verification par surcharge 58

5. Les methodes de verification des contraintes 595.1. Contraintes absolues 595.2. Contraintes relatives 605.3. Contraintes de causalite - contraintes de simultaneity 62

6. Conclusions et perspectives 64Bibl iographie 65

Un outil graphique d'analyse temporelle d'une application temps reel acontraintes strictesF. COTTET, J.-F. BABAU

Resume 671. Introduction 672. Modelisation graphique temporelle des taches 69

2.1. Modelisation des taches periodiques 69

2.2. Modelisation des taches serveurs 703. Methode d'ajustement des parametres temporels des taches 714. Exemples 745. Conclusion 7 7

References 78

Vers une caracterisation temporelle de profils de communicationLuis VEGA, Jean-Pierre THOMESSE

Resume 811. Introduction 812. Modele comportemental reactif 82

2.1. Modele evenementiel 832.2. ESM/RTTL 83

3. Specification des contraintes sur des evenements 843.1. Les contraintes absolues 843.2. Les contraintes relatives 843.3. Les contraintes entre evenements 85

4. Caracteristiques d'une architecture en couches 864.1. Interface reactive 864.2. Contraintes et caracteristiques dans la communication 87

5. Modele de cooperation et de communication 895.1. Modeles producteur(s) / consommateur(s) 905.2. Modeles client(s) / serveur(s) 91

6. Exemples de caracterisation de profils 926.1. Couche physique 926.2. Couche MAC 936.3. Couche LLC 946.4. Couche application 95

7. Conclusion 96References 97

CONFERENCE SCIENTIFIQUE 2GENIE LOGICIEL

L'approche SACRES pour les systemes embarques a securite critiquePhilippe BAUFRETON, Xavier MEHAUT, Eric RUTTEN

Resume 1011. Motivations et introduction 1012. Le projet SACRES 1033. La regulation des turbomachines , 106

3.1. Le controle du moteur 1073.2. Les techniques utilisees 108

4. Le langage SIGNAL et SILDEX 1094.1. Domaines d'application 1094.2. Genie logiciel 1094.3. Points forts de Sildex 110

5. Experience industrielle de SIGNAL 1115.1. Specification fonctionelle de haut niveau 1125.2. Preuves 1135.3. Specification logicielle 1135.4. Conception orientee objet 1145.5. Generation de code 1145.6. Tests 115

6. Les solutions developpees dans SACRES 1156.1. Validation du code genere 1156.2. Evaluation et verification des performances 116

6.3. Compilation modulaire 1177. Conclusion 117

References 117

A Tool for the Selection of a Development and Execution Environment forReal Time On-board ApplicationsBeatrice LARZUL, Michel Do KHAC DU, Jean ABADIE

Abstract 1191. Statement of the Problem 1202. Applicative Software 120

2.1. General Description 1212.2. Administrator Functionalities 1212.3. User Functionalities 121

3. Test Software - Benchmarks 1223.1. Some "Warnings" 1223.2. Isolate the Characteristics 1223.3. Good Precision of the Measurements 122

4. Benchmarks for Cedex 1234.1. Techniques of Measurement 1234.2. Main Characteristics and Features to be Observed 1244.3. Constraints and Criteria Definition 127

5. New Benchmarking 1276. Main Results 128

Methodes et outils pour applications embarquees et distributesYvon KERMARREC, Pierre DISSAUX1. Introduction 1312. Realisation d'une chatne complete de developpement 132

2.1. Contexte 1322.2. Criteres de choix 132

3. La methode de conception HOOD4 1333.1. Presentation de la methode 1333.2. Distribution a priori ou a posteriori 1333.3. Description HOOD des protocoles de communication 1353.4. HOOD4 en conception de logiciels embarques et distribues 136

4. L'annexe Systemes Distribues d'Ada 95 1374.1. Le support distribue fourni par Ada 95 1374.2. Nouveaux pragmas 1374.3. Les objets distribues 1384.4. Le sous-systeme de communication 1384.5. Consistance semantique 1384.6. Les avantages du modele 1394.7. Des taches a la charge de I'implementation 1394.8. GNATDIST 140

5. Plate-forme cible 1416. Conclusion 142

Bibliograph ie 143

Verification de proprietes de surete dans le modele OASIS pour lesapplications temps reel critiquesChristophe AUSSAGUES, Vincent DAVID, Jean DELCOIGNE, Marc AJI,Christophe CORDONNIER

Resume 1451. Introduction 1452. Le modele OASIS et la surete de fonctionnement 147

2.1. Description du modele OASIS 1472.2. Illustration du modele OASIS sur un exemple simple 148

2.3. Proprietes du modele OASIS 1492.4. La surete de fonctionnement (dependability) 150

3. Realisation sur une machine monoprocesseur 1523.1. Expose de la problematique 1523.2. Verification analytique 1523.3. Exemple 152

4. Realisation sur une machine parallele 1554.1. Les probiemes d'allocation dans les machines paralleles 1564.2. Surete de fonctionnement et placement 1574.3. Bilan des approches existantes 1584.4. Choixdans le cadre OASIS 158

5. Conclusion et perspectives 161References 162

Demarche de structuration logique des systemes temps reel repartispour la commande de procedes industrielsD. BOUDEBOUS, J.-C. DERNIAME, J. TANKOANO

Resume 1651. Introduction 1652. Le modele de description d'un procede 167

2.1. La precedence causale 1682.2. Le couplage 1702.3. La precedence temporelle 1722.4. L'independance 174

3. La demarche de modelisation du procede 1744. La validation de la modelisation du procede 1755. Les regies de construction de la structure logique 1766. Illustration de la demarche 1767. Conclusion 179

References 180

CONFERENCE SCIENTIFIQUE 3COMMUNICATION INDUSTRIELLE ET EMBARQUEE

Une approche CORBA pour MMS : COOL-MMSGilles GUYONNET, Eric GRESSIER-SOUDAN, Jean-Yves SIMIAND, Frederic WEIS

Resume 1871. I ntroduction 1872. Le standard CORBA 189

2.1. L'architecture du bus a objets de I'OMG 1892.2. L'ORB CORBA 2.0 1892.3. Le langage de specification d'interface IDL 190

3. Principaux aspects de la norme MMS 1913.1. Le modele de communication MMS 1913.2. Definition des abstractions MMS 1913.3. Comparaison MMS/CORBA 192

4. Conception de MMS au-dessus d'un ORB CORBA 1934.1. Les avantages de l'approche CORBA 1934.2. De la norme MMS au modele CORBA 1934.3. Extension vers le temps reel 198

5. Prototypage de COOL-MMS '.'.'.'.'.'.'.'.'.'. 1995.1. Presentation de COOL 1995.2. Architecture du prototype COOL-MMS 1995.3. Travaux en cours 201

6. Conclusion 201Bibliographie 201

Une nouvelle architecture de communication pour le temps reel repartiChristian TOINARD, Nicolas CHEVASSUS

Resume 2031. Introduction 203

1.1. Contextede l'etude 2031.2. Apport du travail 204

2. Travaux anterieurs 2052.1. Reseaux de terrain FIP 2062.2. Communication par variable avec une diffusion vers des groupes 206

3. Definition des proprietes 2063.1. Proprietes temporelles 2063.2. Relations semantiques 2073.3. Proprietes d'ordre 2073.4. Proprietes d'atomicite 2083.5. Fiabilite 208

4. Proprietes interessantes pour les applications d'un atelier de fabrication 2094.1. Niveau automatisme 2094.2. Niveau supervision 210

5. Solutions envisagees 2115.1. Architecture definie et services proposes 2115.2. Reseau de communication periodique (reseau de terrain sur ethernet) 2125.3. Passerelle entre FlPet le reseau de terrain sur ethernet 2125.4. Systeme de communication par variable aperiodique sur ethernet 212

6. Communication periodique par variable (reseau de terrain sur ethernet) 2136.1. Services disponibles 2146.2. Proprietes temporelles 2146.3. Proprietes d'ordre 2156.4. Recuperation des erreurs de transmission 2176.5. Atomicite sur groupe valide et fiabilite 218

7. Communication aperiodique par variable sur ethernet 2187.1. Services disponibles 2197.2. Statuts temporels 2197.3. Proprietes d'ordre 2207.4. Recuperation des erreurs de transmission 2207.5. Atomicite sur groupe valide et fiabilite 2207.6. Integration dans un environnement CORBA 221

8. Conclusion 221Bibliographic 222

Utilisation de LDS pour la validation de protocoles OSEK pour reseauxautomobiles embarquesXavier BLONDEL, Eric FARGES, Lise MASSIMELLI

Resume 2231. Introduction 223

1.1. Contexte 2231.2. Problematique 225

2. Presentation generale d'OSEK-COM 2252.1. Modele de communication 2252.2. Donnees transmises 2262.3. Structure en couches 226

3. Presentation de LDS et de SDT 2293.1. La methode LDS 2293.2. Les traces MSC 2293.3. L'outilSDT 230

4. La methode de validation utilisee 2314.1. Description de l'exemple 2324.2. Etapes de la methode 233

4.3. Modelisation de la specification 2334.4. Apports de la simulation 2364 5. Validation par construction de l'arbre de comportement 2364.6. Validation a 1 'aide de MSC 2374.7. Validation de 1'architecture 239

5. Conclusion 240References 241

Validation des applications temps reel distributes autour du reseau CAN aI'aide de I'evaluation de performancesY.-Q. SONG, F. SIMONOT-LION, P. BELISSENT

Resume 2431. Introduction 2432. Etat de I'art et travaux relatifs 2543. Methode de modelisation et validation d'une application distribute autour de CAN246

3.1. Modelisation de l'application 2463.2. Validation de l'AO par evaluation de performances 254

4. Outil VACANS 2544.1. Le traducteur 2554.2. Lesolveur 2564.3. L'analyseur 256

5. Application a SAE "benchmark" 2586. Conclusion et perspectives 259

Bibliographic 260

Reseau CAN pour architectures distributesYoucef LOUADJ, Jean-Jacques MONTOIS

Resume/Abstract 261Introduction 262Description d'un nceud de l'architecture GENESYD 262Elaboration du codage "Layer 2" de ['interface CAN 266Les messages d'exploitation reseau 267Les messages d 'exploitation multitache 268Les messages d'exception 269Conclusion 271References 271

CONFERENCE SCIENTIFIQUE 4GARANTIES D'EXECUTION, RESPECT DES gCHEANCES

Ordonnancement temps reel hierarchise dans un systeme repartiChristian SANTELLANI1. I ntroduction 2752. Presentation du modele de taches 276

2.1. Tache periodique 2762.2. Tache aperiodique 2772.3. Ensemble de sites, de taches et de requetes 2782.4. Simultaneity d'un ensemble de requetes 2782.5. Unicite du lieu d'execution et caractere non bloquant d'une requete 279

3. Laxite d'un ensemble de requetes pretes 2793.1. Liste de requetes pretes ..2793.2. Laxite ...............280

4. Criteres d'importance 2814.1. Importance d'une requete 2814.2. Stabilisation d'une liste de requetes pretes 2824.3. Importance de la surcharge d'un site 283

5. Gestionnaire d' importance reparti 2845.1. Introduction 2845.2. Architecture du gestionnaire d'importance 2845.3. Synchronisation temporelle et date de disponibilite des requetes 2855.4. Proprietes de surete 288

6. Application 2886.1. Specification 2886.2. Utilisation du critere d'importance 2896.3. Simulation 291

7. Conclusion 293References 293

Ordonnancabilite des systemes temps reel conditionnels a contraintes stridesAnnie CHOQUET-GENIET, Dominique GENIET, Francis COTTET

Resume 295Introduction 295

1. Applications temps reel conditionnelles 2961.1. Taches 2961.2. Caracteristiques temporelles 297

2. Ordonnancabilite des applications conditionelles temps reel 3992.1. Ordonnancabilite locale 3992.2. Ordonnancabilite globale 3012.3. Relation entre les deux modes d'ordonnancabilite 302

3. Modelisation 3054. Duree de simulation 307

4.1. Taches periodiques synchrones au demarrage 3074.2. Taches periodiques de dates de reveil distinctes 3074.3. Cas des taches sporadiques 307

5. Etude du modele 3085.1. Cas de systemes periodiques sans synchronisations correlatrices 3085.2. Utilisation de synchronisations correlatrices 3085.3. Systemes avec taches sporadiques 308

6. Conclusion 3097. Bibliographic 309

Implantation de canaux temps reel entre objets repartis : cas du modele TENETAlberto ARAZO, Francois HORN

Resume 3111. Introduction 3112. Problematique 3133. Le modele TENET 313

3.1. Hypotheses 3143.2. Reservation de ressources 3153.3. Controle d'admission 3163.4. Communication 317

4. Determinisme des liens 3174.1. Chorus/ClassiX r2 3184.2. Integration du determinisme dans le micro-noyau Chorus 319

5. Le modele TENET sur Chrorus/ClassiX 3215.1. Reservation de ressources 3215.2. Communication 3235.3. Services exportes aux applications 325

6. Conclusion 326References 327

Coherence causale temporelleThierry CORNILLEAU, Eric GRESSIER-SOUDAN, Francois HORN, Christophe LIZZI

Resume 329

1. Introduction 3312. De la communication causale a la coherence temporelle 331

2.1. Communication causale 3332.2. Coherence causale 335

3. Environnement systeme des algorithmes 3353.1. Cooperation des serveurs de donnees 3353.2. Messages echanges 3363.3. Hypotheses pour la gestion des versions par date 3363.4. Informations pour la coherence causale temporelle 336

4. Algorithme pour la coherence causale temporelle 3364.1. Defaut en lecture 3374.2. Defaut en ecriture 3384.3. Invalidation des donnees 338

5. Coherence causale temporelle avec echeances 3405.1. Defauts en lecture 3405.2. Defauts en ecriture 341

6. Appl ications 3416.1. Applications multimedia 3416.2. Gestion d'une base de donnees TR en memoire pour la supervision de

processus industriel 3427. Conclusion 343

Bibliographic 343

Experimentation du modele SATURNE sur CHORUS et COOLClaire CAMPAN, Yann LE BIANNIC, Frank SINGHOFF

Resume 3451. Introduction 3452. Presentation de SATURNF. et des resultats deja connus 3463. Le sous-systeme SATURNEsur CHORUS/COOL 348

3.1. Description du sous-systeme SATURNE 3483.2. Fonctionnement du sous-systeme SATURNE 3503.3. Prototypes realises et resultats obtenus 352

4. Mecanismes de tolerance aux pannes sur SATURNE 3544.1. Utilisation de la redondance active 3544.2. Utilisation de points de reprise 3554.3. Conclusion sur la tolerance aux pannes sur SATURNE 356

5. Conclusion et travaux futurs 357References 357

CONFERENCE SCIENTIFIQUE 5APPLICATIONS TEMPS RE"ELS

Developpement oriente objet d'une application temps reel : etude sur un robotd'exploration sous-marineFrancois RUVOEN, Francois TERRIER, Daniel BRAS, Jean-Francois CADIOU,Alexis PEUCH

Resume 3631. Introduction 3642. Le projet ACCORD 365

2.1. L'objet temps reel dans ACCORD 3652.2. La particularity de I'envoi de message asynchrone 3662.3. La generation de code 367

3. Le VICTOR 6000 3684. Modelisation par objets temps reel 370

4.1. Choix des objets actifs temps reel 3714.2. Automates de controle de declenchement 372

4.3. Les « ObjectFlow » 3754.4. Specification des contraintes de concurrence 377

5. Conclusions de l'etude 3796. Bibliographic 381

PLEXUS, nouvelle architecture parallele pour systeme expert temps reelE. MOUANGUE, J.-J. MONTOIS, F. SKHIRI

Resume/abstract 383I. Introduction 383II. Problematique des moteurs d'inference classiques 385III. Architecture de PLEXUS 385IV. Structure et organisation des donnees dans PLEXUS 396V. Description des differents modules et operations 398VI. Chronologie des 4 phases du cycle de base dans PLEXUS 391VII. Repartition et synchronisation des fonctions 391II11. Repartition et synchronisation des fonctions 391IX. Conclusion sur 1 'architecture 392X. Presentation des resultats intermediaires 392XI. Mesure des performances du systeme 393XII. Validation et mesure des performances de PLEXUS 394

Bibliographic 402

MATCHTOOL : un outil logiciel de developpement d'un systeme embarquede localisation de cible dans les images aeriennesFranck DHELLIER

Resume 4031. I ntroduction 4042. L'appariement des objets dans les images aeriennes 4043. Developpement d'un systeme de reconnaissance de cible 4054. Problemes lies a la mise en oeuvre des algorithmes d'appariement 4055. Fonctionnement de l'outil MatchTool et solutions apportees 4096. Developpements futurs 4137. References 414

Utilisation d'un executif multitache temps reel pour caracteriser leparallelisme d'un traitement d'image : application d'extraction de contoursMohsen ADEDINAHMADY, J.-J. MONTOIS, F. SKHIRI

Resume/Abstract 415I ntroduction 415Traitement d' images 416Architecture parallele et parallelisme 416L'environnement materiel / logiciel 417Principe, architecture et algorithme du traitement 417Plate-forme materielle 418Cadre formel du traitement 418Architecture logicielle 420Details et role des constituants de 1'architecture 422Resultats experimentaux 424Conclusion 425Bibl iograph ie 426

Utilisation du temps reel dans les simulateurs d'avions civilsJean AGUADO

Thomson Training & Simulation 427Types de simulateurs 428Interconnexion de simulateurs 428Melange d'equipements reels et de simulateurs 428Equipements virtuels synthetiques 428

Entratneurs 429Banalisation de la simulation 429Qu'est-ce qu'un simulateur d'aviation civile ? 429Materiel et logiciel specialise ou de grande diffusion 430Volatilitedu marche 430Marginalisation du temps reel 431L'arrivee du marche horizontal 431Les solutions TT&T 432Le futur 432

CONFERENCE SOLUTIONS 1OUTILS DE DEVELOPPEMENT

An Open Architecture for Expert Systems in Electrical SubstationsE. BENGOA, P. ROJAS, F. IBARZ, J.A. MARTINEZI. Introduction 435II. Remote Station 435III. Zone Remote Center 437IV. Implementation 438V. Concl us ions 439

References 439

ASCET-SD : an Integrated Design Environment for Embedded ControlSystems in Automotive ApplicationsDr Thomas BECK, Dr Thomas ZURAWKA, Dr Kai WERTHER1. Introduction 4512. The ASCET-SD Development Process 4533. The ASCET-SD Development Environment 4554. Applications of ASCET-SD 4585. Specification of an Embedded Control System 4596. Offline and Real-Time Experimentation 4617. Code Generation 4628. Databases and Libraries 4649. Conclusion 46610. References 466

IMRA-C: a Real-Time Extension of C LanguageFrederic CRAISSON, Toshio OKOSHI

Abstract/resume 4671. Introduction . 4682. IMRA-C Software 469

2.1. Overview 4692.2. Characteristics 4722.3. Graphical Programming Environment for IMRA-C 474

3. Validation and Results 4753.1. Object Code Size 4753.2. Development Time 476

4. Consideration and Analysis 4775. Conclusions 478

References 479

Implementation Details of Real-Time Analysis Throughout the SoftwareDevelopment Life-CycleMichael A. MARKO

Abstract 481System Description 481

Real-Time Characteristics 483Purpose 484Step 1 485

System Analysis 485Problem 489

Step 2 490Reduced System Processing 490Solution 490Problem •. 492

Step 3 493Reduce Excessive Blocking 493Solution 493Concern 494

Step 4 495Reduce Excessive Blocking 495Solution 495

Bibl iography 497

AdaSchedule : un outil d'analyse de I'ordonnancementPierre MORERE

Resume 4991. Introduction 5002. ApprocheRMA 5003. Outil AdaSchedule 504

3.1. ExecutifSAE 5053.2. ScheduleMonitor 5073.3. ScheduleAnalysis 507

4. Evolution 5104.1. Chronogramme 5104.2. Analyse pire cas 5104.3. Autres executifs 511

5. Conclusion 512Bibliographic 512

A Visual Development Tool for Scalable Heterogeneous SystemsAlain CLOUARD, Patrick TESSIER, Olivier DEBON, Eric THERON, Didier THIBAUD

Abstract/Resume 5131. Introduction 5132. Productivity 5153. Performance 517

3.1. Component Generation 5183.2. Connections 5193.3. Mapping Comonents 520

4. Portability 5215. Experience with CapCASE 522

5.1. Handwritten Character Recognition 5225.2. Real-Time Image Processing for Industrial Process Control 5235.3. High-End Embedded Signal Processing 524

6. Conclusion 524

Nucleus C + + - an OverviewLance BROOKS

The Problem 525The Solution is Nucleus C + + 526Conclusion 529

CONFERENCE SOLUTIONS 2SYSTEMES D'EXPLOITATION / IMPLEMENTATION

Trends and Standards in the Embedded MarketMichel GENARD

Introduction 533A Food Chain Story 533A Changing Market 534Dream and Reality 534Choice of the IC 535Reusability of the Code and Code Legacy 535Debugging and Symbolic Table 535I/O 535GUI 535Multimedia 536Connectivity 536Licensing 536Documented API 536Make or Buy 537Standard for the Kernel API 537Openness of the OS and Tools 537Market Positioning in termes of Offering 538Making a Choice 538Back to the ... Future 538Progress? 539

OS/20 a Real-Time Kernel for ST20Julian WILSON, Richard HERSEMEULE

Abstract 542Introduction 542Real-Time Kernels 542TheST2O 543Implementing a Preemptive Scheduler on the ST20 544Performance 550Conclusion 550References 550

IxWorks™: Delivering the Promise of I2OClaude GARCIA

The Device Writer's Nightmare 551I2O Architecture 552Why does I2O Needs IRTOS? 553IRTOS Components 554IxWorks™, the First IRTOS Implementation 556Tornado™ Development Tools Environment 556

MIPS,6: High-Density MIPS for the Embedded MarketKevin D. KISSELL

Origins of MI PS® RISC Technology 559Characteristics of RISC Architecture 560RISC Code Density 561Evolution of the Embedded CPU Market 561MIPS|^: an Architecture Extension for Compressed RISC Code 563The MIPS16 Design Trade-offs 564Overcoming the Restrictions 565Switching Between MIPS)6and 32-bits Modes 566Which Registers are Visible? 566

Handling of Conditional Execution 568Effectiveness of MIPS, 6 568Conclusion 568

Windows NT as Real-Time OS?Dr.ir. M. TlMMERMAN, ir. J-C MONFRETI. Abstract 573I1. Introduction 574III. What is a Real-Time System? 574IV. Necessary OS Requirements for a RTOS 575V. Does Windows NT Fulfil these Requirements? 578VI. Conclusion: could Windows NT be Used as a RTOS? 584

References 586

Au-dela du temps reel: le temps immediat ?QUITOS : « the Real-Time Killer »Andre Jossic

I ntroduction 587Avant-propos 588

1. Le multi-tache temps reel mais c'est tres simple ! 5892. Bon sang mais c'est bien sur ! j'ordonnance sans ordonnanceur 5953. Un peu de syntagme mais pourquoi pas ! Nos messages sont intelligents 5954. Last but not least (encore des structures) 6025. Vos questions ? Nos reponses 603

Galaxy White PaperMitchell BUNNELL

Moving from Monolithic to a Modular Kernel 605Problems with Traditional Microkernels 606O.ercoming Microkernel Problems 607Multiprocessing Ready 609Interoperability 609A Web Browser, an Ideal Development Tool GUI Provider 609LynxOS gets a Web Browser 610Embedded Systems and the Web 610Benefits of Web Protocol Approach 611Conclusion 611

SoftKernel: Why a Real-Time Executive must be « Object Inside »Bernard DAUTREVAUX, Philippe PIOVESAN

1 ntroduction 613I. Drawbacks of the Standard Real-Time Executives 614II. Why an « Object Inside » Real-Time OS 616III. The SoftKernel Architecture 619IV. The Undreamed Benefits of SoftKernel 625

Conclusion 629

CONFERENCE SOLUTIONS 3SOLUTIONS MATERIELLES / APPLICATION ENABLERS

The Mezzanine Technologies ComparedDr.ir. M. TIMMERMAN, ir. Luc PERNEEL, ir. J-C. MONFRETI. Abstract 633II. Introduction 633III. Mechanical Description 634IV. Basic Bus Description 636V. Bus Types Supported 638

VI. Commercial Availability 640VII. Which Technology to Use Where? 641VIII.Some Advise 642IX. Conclusions 642

References 643

PMC Adapter Brings SCI to the Embedded MarketThomas NYGAARD

Abstract 6451. Introduction 6462. The PCI-SCI Adapter Card 647

2.1. Supported SCI Protocols 6482.2. Supported PCI Commands 6492.3. Theory of Operation 6492.4. The PMC-SCI Adapter 650

3. The SCI-VME Bridge Implementation 6513.1. PCI-VME Interface 651

4. Interconnection Topologies 6525. SCI versus other interconnecting Mechanisms 6536. The Future 6557. Conclusions 656

References 657

Real-Time Visualization in Large ArchitecturesIain GODDARD, Gerard VICHNIAC, Didier THIBAUD

Abstract 6591. Real-Time Visualization is Ubiquitous 6592. Real-Time Visualization is Demanding 6593. Real-Time Visualization is Structured 6604. Remote Exploration: an Illustration of the Phases of Real-Time Visualization. 6605. Matching Visualization Functions to Processors 6626. Other Examples 6637. The Necessity and Challenges of Heterogeneous Support for Visualization .... 664

References 664

L'avenir des 64 bits dans le temps reel embarqueJean-Jacques LAZAR

Resume 6671. Microprocesseurs et microcontroleurs MIPS RISC IDT 668

1.1. Introduction 6681.2. Facteurs influant sur le nombre de cycles par instruction 6701.3. Facteurs influant sur le temps de cycle 6701.4. Facteurs influant sur le nombre d'instructions par taches 6711.5. Autres considerations technologiques 6721.6. Evaluation des performances 6721.7. Compatibility des fondeurs du coeur du Mips 672

2. Integration ASSP et fabricants 6753. Frequences internes et frequences systemes 675

3.1. Largeur de bus et bande passante 6763.2. Imperatifs de la consommation et de 1'integration dans les systemes

embarques 6773.3. Architecture du microcontroleur Orion 64-bits 6783.4. Driving par interruption et non par polling 679

4. Environnement de developpement 6804.1. CompilateurC++ et ADA .....[ 6804.2. Operating System 6814.3. Logic Analyzers 681

5. Solution pour la commutation sur Bus PCI et ATM 155 Mb/s et 25.6 Mb/s etEthernet 10/100 6825.1. Les cartes references PCI/ATM : NICStAR™ 6825.2. Combien de ports 10 Mbps Ethernet peut supporter un CPU Rise MIPS ?6835.3. Combien de ports 100 Mbps Ethernet peut supporter un CPU 64 bits ?... 683

6. Conclusion sur la communication des systemes embarques 6867. Conclusion generale 686

VME Live Insertion Tools for Testing and High-Availability SystemsPhilippe SEVIGNE

Abstract 6871. Why LI Today 6872. Lion VMEBus 688

2.1. Historic 6882.2. LI Tool Presentation 688

3. PROLONG, New Genration Extender 6903.1. Technical Presentation 6903.2. Applications 691

4. PROCEED, LI Active Adapter 6914.1. Technical Presentation 6914.2. Applications 692

5. PROFILE-MD, a Test-Oriented Crate 6945.1. Technical Presentation 6945.2. Appl ications 694

6. Conclusions 695

Le reseau EHS, European Home System. Concepts et technologiesBruno JEAN-BART1. Introduction 6972. Le cahier des charges d'un cahier domotique 6973. La specification EHS 698

3.1. Le modele des applications EHS 6993.2. Le reseau 7003.3. Les couches de protocole 7023.4. La gestion du reseau 703

4. Les technologies d'aujourd'hui 7044.1. Les composants 7044.2. Les librairies de communication 705

5. Les outils de mise au point 7066. Les projets en cours 7067. Conclusion 7078. References 707

Real-Time Network for Embedded ApplicationsHolger ZELTWANGER

Introduction 709CAN in Industrial Applications 711How the CAN Network Functions 712Standardization of the CAN and Higher Protocols 715References 718