|
Real Time Systems'1997 Actes de conférences 91,47 € |
|
1997 |
|
Présentation Real-Time Systems a su s'imposer comme un événement unique en Europe. En témoignent les plus grands acteurs du temps réel, qui " retiennent " la sortie européenne – et souvent mondiale – de leurs solutions, pour en réserver la primeur à RTS ; de même en matière de conférences scientifiques, les plus actifs des laboratoires de recherche ont pris l'habitude de communiquer et de " publier " leurs travaux à l'occasion, et par le truchement, de RTS. Une reconnaissance internationale qui impose en autres le devoir de conduire l'évolution des sujets traités et d'assurer un équitable partage entre les communications issues de la recherche et celles, plus pragmatiques, des industriels de l'offre. Ainsi, aux conférences " scientifiques ", traitant les thèmes majeurs des technologies temps réel (vérification de propriétés, génie logiciel, communication industrielle et embarquée, respect des échéances, applications), se sont ajoutées cette année des conférences " solutions ", dans lesquelles les fournisseurs apportent leurs réponses aux besoins des utilisateurs, que ce soit en matière d'outils et d'environnements de développement, de systèmes d'exploitation ou de solutions matérielles. |
||
Table des
matières
Conférence Scientifique 1 :
Techniques de vérification de prorpiétés temporellles
Analyse structurelle par réseaux de Petri de propriétés temporelles des
systèmes temps réel : cas du réseau de terrain FIP, Frank Gasnier,
Jean-Pierre Elloy : Introduction / 1. Le réseau de terrain FIP / 2.
Modélisation du temps par RdP généralisés / 3. Analyse de la couche application d'une
entité productrice / Conclusions & perspectives / Bibliographie
Un outil de validation temporelle des applications temps réel réparties, Samia Saad-Bouzefrane,
F. Cottet / 1. Introduction / 2. L'architecture du modèle de communication /
3. La modélisation de l'application / 4. Analyse temporelle / 5. Résultats de simulation
/ 6. Conclusion / Bibliographie
Vérification formelle de propriétés temporelles d'une application distribuée
temps réel, Joël Toussaint, Françoise Simonot-Lion / Résumé / 1.
Introduction / 2. État de l'art et travaux relatifs / 3. L'expression des contraintes de
temps / 4. Concepts de base pour la vérification / 5. Les méthodes de vérification des
contraintes / 6. Conclusions et perspectives / Bibliographie
Un outil graphique d'analyse temporelle d'une application temps réel à
contraintes strictes, F. Cottet, J.-F. Babau / Résumé / 1. Introduction /
2. Modélisation graphique temporelle des tâches / 3. Méthode d'ajustement des
paramètres temporels des tâches / 4. Exemples / 5. Conclusion / Références
Vers une caractérisation temporelle de profils de communication, Luis Vega,
Jean-Pierre Thomesse / Résumé / 1. Introduction / 2. Modèle comportemental
réactif / 3. Spécification des contraintes sur des événements / 4. Caractéristiques
d'une architecture en couches / 5. Modèle de coopération et de communication / 6.
Exemples de caractérisation de profils / 7. Conclusion / Références
Conférence scientifique 2 : génie logiciel
L'approche Sacres pour les systèmes embarqués à sécurité critique, Philippe Baufreton,
Xavier Mehaut, Éric Rutten / Résumé / 1. Motivations et introduction / 2. Le
projet Sacres / 3. La régulation des turbomachines / 4. Le langage Signal et Sildex / 5.
Expérience industrielle de Signal / 6. Les solutions développées dans Sacres / 7.
Conclusion / Références
A Tool for the Selection of a Development and Execution Environment for Real
Time On-board Applications, Béatrice Larzul, Michel Do Khac Du,
Jean Abadie / Abstract / 1. Statement of the Problem / 2. Applicative Software / 3.
Test Software – Benchmarks / 4. Benchmarks for Cedex / 5. New Benchmarking / 6. Main
Results
Méthodes et outils pour applications embarquées et distribuées,Yvon Kermarrec,
pierre Dissaux / 1. Introduction / 2. Réalisation d'une chaîne complète de
développement / 3. La méthode de conception HOOD4 / 4. L'annexe Systèmes Distribués
d'Ada 95 / 5. Plate-forme cible / 6. Conclusion / Bibliographie
Vérification de propriétés de sûreté dans le modèle oasis pour les
applications temps réel critiques, Christophe Aussaguès, Vincent David,
Jean Delcoigne, Marc Aji, Christophe Cordonnier / Résumé / 1.
Introduction / 2. Le modèle OASIS et la sûreté de fonctionnement / 3. Réalisation sur
une machine monoprocesseur / 4. Réalisation sur une machine parallèle / 5. Conclusion et
perspectives / Références
Démarche de structuration logique des systèmes temps réel répartis pour la
commande de procédés industriels, D. Boudebous, J.-C. Derniame,
J. Tankoano / Résumé / 1. Introduction / 2. Le modèle de description d'un
procédé / 3. La démarche de modélisation du procédé / 4. La validation de la
modélisation du procédé / 5. Les règles de construction de la structure logique / 6.
Illustration de la démarche / 7. Conclusion / Références
Conférence scientifique 3 : communication industrielle
et embarquée
Une approche corba pour mms : cool-mms, Gilles Guyonnet,
Éric Gressier-Soudan, Jean-Yves Simiand, Frédéric Weis / Résumé
/ 1. Introduction / 2. Le standard CORBA / 3. Principaux aspects de la norme MMS / 4.
Conception de MMS au-dessus d'un ORB CORBA / 5. Prototypage de COOL-MMS / 6. Conclusion /
Bibliographie
Une nouvelle architecture de communication pour le temps réel réparti, Christian Toinard,
Nicolas Chevassus / Résumé / 1. Introduction / 2. Travaux antérieurs / 3.
Définition des propriétés / 4. Propriétés intéressantes pour les applications d'un
atelier de fabrication / 5. Solutions envisagées / 6. Communication périodique par
variable (réseau de terrain sur ethernet) / 7. Communication apériodique par variable
sur ethernet / 8. Conclusion / Bibliographie
Utilisation de LDS pour la validation de protocoles OSEK pour réseaux
automobiles embarqués, Xavier Blondel, Éric Farges, Lise Massimelli /
Résumé / 1. Introduction / 2. Présentation générale d'OSEK-COM / 3. Présentation de
LDS et de SDT / 4. La méthode de validation utilisée / 5. Conclusion / Références
Validation des applications temps réel distribuées autour du réseau can à
l'aide de l'évaluation de performances, Y.-Q. Song, F. Simonot-Lion,
P. Belissent / Résumé / 1. Introduction / 2. État de l'art et travaux relatifs /
3. Méthode de modélisation et validation d'une application distribuée autour de CAN /
4. Outil VACANS / 5. Application à SAE "benchmark" / 6. Conclusion et
perspectives / Bibliographie
Réseau can pour architectures distribuées, Youcef Louadj,
Jean-Jacques Montois / Résumé/Abstract / Introduction / Description d'un nœud
de l'architecture GENESYD / Élaboration du codage "Layer 2" de l'interface
CAN / Les messages d'exploitation réseau / Les messages d'exploitation multitâche / Les
messages d'exception / Conclusion / Références
Conférence scientifique 4 : garanties d'exécution,
respect des échéances
Ordonnancement temps réel hiérarchisé dans un système réparti, Christian Santellani
/ 1. Introduction / 2. Présentation du modèle de tâches / 3. Laxité d'un ensemble de
requêtes prêtes / 4. Critères d'importance / 5. Gestionnaire d'importance réparti / 6.
Application / 7. Conclusion / Références
Ordonnançabilité des systèmes temps réel conditionnels à contraintes
strictes, Annie Choquet-Geniet, Dominique Geniet, Francis Cottet /
Résumé / Introduction / 1. Applications temps réel conditionnelles / 2.
Ordonnançabilité des applications conditionelles temps réel / 3. Modélisation / 4.
Durée de simulation / 5. Étude du modèle / 6. Conclusion / 7. Bibliographie
Implantation de canaux temps réel entre objets répartis : cas du modèle
TENET, Alberto Arazo, François Horn / Résumé / 1. Introduction / 2.
Problématique / 3. Le modèle TENET / 4. Déterminisme des liens / 5. Le modèle TENET
sur Chrorus/ClassiX / 6. Conclusion / Références
Cohérence causale temporelle, Thierry Cornilleau,
Éric Gressier-Soudan, François Horn, Christophe Lizzi / Résumé / 1.
Introduction / 2. De la communication causale à la cohérence temporelle / 3.
Environnement système des algorithmes / 4. Algorithme pour la cohérence causale
temporelle / 5. Cohérence causale temporelle avec échéances / 6. Applications / 7.
Conclusion / Bibliographie
Expérimentation du modèle Saturne sur Chorus et Cool, Claire Campan,
Yann Le biannic, Frank Singhoff / Résumé / 1. Introduction / 2. Présentation
de Saturne et des résultats déjà connus / 3. Le sous-système Saturne sur Chorus/Cool /
4. Mécanismes de tolérance aux pannes sur Saturne / 5. Conclusion et travaux futurs /
Références
Conférence scientifique 5 : applications temps réels
Développement orienté objet d'une application temps réel : étude
sur un robot d'exploration sous-marine, François ruvoen, François Terrier,
Daniel Bras, Jean-François Cadiou, Alexis Peuch / Résumé / 1.
Introduction / 2. Le projet ACCORD / 3. Le VICTOR 6000 / 4. Modélisation par objets
temps réel / 5. Conclusions de l'étude / 6. Bibliographie
plexus, nouvelle architecture parallèle pour système expert temps réel, E. Mouangue,
J.-J. Montois, F. Skhiri / Résumé/abstract / I. Introduction / II.
Problématique des moteurs d'inférence classiques / III. Architecture de PLEXUS / IV.
Structure et organisation des données dans PLEXUS / V. Description des différents
modules et opérations / VI. Chronologie des 4 phases du cycle de base dans PLEXUS / VII.
Répartition et synchronisation des fonctions / VIII.Répartition et synchronisation des
fonctions / IX. Conclusion sur l'architecture / X. Présentation des résultats
intermédiaires / XI. Mesure des performances du système / XII. Validation et mesure des
performances de PLEXUS / Bibliographie
MatchTool : un outil logiciel de développement d'un système embarqué de
localisation de cible dans les images aériennes, Franck Dhellier / Résumé / 1.
Introduction / 2. L'appariement des objets dans les images aériennes / 3. Développement
d'un système de reconnaissance de cible / 4. Problèmes liés à la mise en œuvre
des algorithmes d'appariement / 5. Fonctionnement de l'outil MatchTool et solutions
apportées / 6. Développements futurs / 7. Références
Utilisation d'un exécutif multitâche temps réel pour caractériser le
parallélisme d'un traitement d'image : application d'extraction de contours, Mohsen Adedinahmady,
J.-J. Montois, F. Skhiri / Résumé/Abstract / Introduction / Traitement
d'images / Architecture parallèle et parallélisme / L'environnement
matériel / logiciel / Principe, architecture et algorithme du traitement /
Plate-forme matérielle / Cadre formel du traitement / Architecture logicielle / Détails
et rôle des constituants de l'architecture / Résultats expérimentaux / Conclusion /
Bibliographie
Utilisation du temps réel dans les simulateurs d'avions civils, Jean Aguado
/ Thomson Training & Simulation / Types de simulateurs / Interconnexion de simulateurs
/ Mélange d'équipements réels et de simulateurs / Équipements virtuels synthétiques /
Entraîneurs / Banalisation de la simulation / Qu'est-ce qu'un simulateur d'aviation
civile ? / Matériel et logiciel spécialisé ou de grande diffusion / Volatilité du
marché / Marginalisation du temps réel / L'arrivée du marché horizontal / Les
solutions TT&T / Le futur
Conférence solutions 1 : outils de développement
An Open Architecture for Expert Systems in Electrical Substations, E. Bengoa,
P. Rojas, F. Ibarz, J.A. Martinez / I. Introduction / II. Remote
Station / III. Zone Remote Center / IV. Implementation / V. Conclusions / References
ASCET-SD : an Integrated Design Environment for Embedded Control Systems in
Automotive Applications, Dr Thomas Beck, Dr Thomas Zurawka,
Dr Kai Werther / 1. Introduction / 2. The ASCET-SD Development Process / 3. The
ASCET-SD Development Environment / 4. Applications of ASCET-SD / 5. Specification of an
Embedded Control System / 6. Offline and Real-Time Experimentation / 7. Code Generation /
8. Databases and Libraries / 9. Conclusion / 10. References
IMRA-C: a Real-Time Extension of C Language, Frédéric Craisson,
Toshio Okoshi / Abstract/résumé / 1. Introduction / 2. IMRA-C Software / 3.
Validation and Results / 4. Consideration and Analysis / 5. Conclusions / References
Implementation Details of Real-Time Analysis Throughout the Software Development
Life-Cycle, Michael A. Marko / Abstract / System Description / Real-Time
Characteristics / Purpose / Step 1 / Step 2 / Step 3 / Step 4 / Bibliography
AdaSchedule : un outil d'analyse de l'ordonnancement, Pierre Morere
/ Résumé / 1. Introduction / 2. Approche RMA / 3. Outil AdaSchedule / 4. Évolution / 5.
Conclusion / Bibliographie
A Visual Development Tool for Scalable Heterogeneous Systems, Alain Clouard,
Patrick Tessier, Olivier Debon, Éric Theron, Didier Thibaud /
Abstract/Résumé / 1. Introduction / 2. Productivity / 3. Performance / 4. Portability /
5. Experience with CapCASE / 6. Conclusion
Nucleus C++ – an Overview / Lance Brooks / The Problem / The
Solution is Nucleus C++ / Conclusion
Conférence solutions 2 : systèmes
d'exploitation / implémentation
Trends and Standards in the Embedded Market, Michel Genard /
Introduction / A Food Chain Story / A Changing Market / Dream and Reality / Choice of the
IC / Reusability of the Code and Code Legacy / Debugging and Symbolic Table / I/O / GUI /
Multimedia / Connectivity / Licensing / Documented API / Make or Buy / Standard for the
Kernel API / Openness of the OS and Tools / Market Positioning in termes of Offering /
Making a Choice / Back to the ... Future / Progress
OS/20 a Real-Time Kernel for ST20, Julian Wilson,
Richard Hersemeule / Abstract / Introduction / Real-Time Kernels / The ST2O /
Implementing a Preemptive Scheduler on the ST20 / Performance / Conclusion / References
IxWorks™: Delivering the Promise of I2O, Claude Garcia / The
Device Writer's Nightmare / I2O Architecture / Why does I2O Needs IRTOS? / IRTOS
Components / IxWorks™, the First IRTOS Implementation / Tornado™ Development
Tools Environment
MIPS16: High-Density MIPS for the Embedded
Market, Kevin D. Kissell / Origins of MIPS® RISC Technology /
Characteristics of RISC Architecture / RISC Code Density / Evolution of the Embedded CPU
Market / MIPS16: an Architecture Extension for
Compressed RISC Code / The MIPS16 Design Trade-offs /
Overcoming the Restrictions / Switching Between MIPS16 and
32-bits Modes / Which Registers are Visible? / Handling of Conditional Execution /
Effectiveness of MIPS16 / Conclusion
Windows NT as Real-Time OS?, Dr.ir. M. Timmerman, ir. J-C Monfret
/ I. Abstract / II. Introduction / III. What is a Real-Time System? / IV. Necessary OS
Requirements for a RTOS / V. Does Windows NT Fulfil these Requirements? / VI. Conclusion:
could Windows NT be Used as a RTOS? / References
Au-delà du temps réel : le temps immédiat ? / quitos :
" the Real-Time Killer ", André Jossic / Introduction /
Avant-propos / 1. Le multi-tâche temps réel mais c'est très simple ! / 2. Bon sang
mais c'est bien sûr ! j'ordonnance sans ordonnanceur / 3. Un peu de syntagme mais
pourquoi pas ! Nos messages sont intelligents / 4. Last but not least (encore
des structures) / 5. Vos questions ? Nos réponses
Galaxy White Paper, Mitchell Bunnell / Moving from Monolithic to a
Modular Kernel / Problems with Traditional Microkernels / Overcoming Microkernel Problems
/ Multiprocessing Ready / Interoperability / A Web Browser, an Ideal Development Tool GUI
Provider / LynxOS gets a Web Browser / Embedded Systems and the Web / Benefits of Web
Protocol Approach / Conclusion
SoftKernel: Why a Real-Time Executive must be " Object
Inside ", Bernard Dautrevaux, Philippe Piovesan / Introduction /
I. Drawbacks of the Standard Real-Time Executives / II. Why an " Object
Inside " Real-Time OS / III. The SoftKernel Architecture / IV. The Undreamed
Benefits of SoftKernel / Conclusion
Conférence solutions 3 : solutions matérielles / application
enablers
The Mezzanine Technologies Compared, Dr.ir. M. Timmerman, ir.
Luc Perneel, ir. J-C. Monfret / I. Abstract / II. Introduction / III. Mechanical
Description / IV. Basic Bus Description / V. Bus Types Supported / VI. Commercial
Availability / VII. Which Technology to Use Where? / VIII.Some Advise / IX. Conclusions /
References
PMC Adapter Brings SCI to the Embedded Market, Thomas Nygaard /
Abstract / 1. Introduction / 2. The PCI-SCI Adapter Card / 3. The SCI-VME Bridge
Implementation / 4. Interconnection Topologies / 5. SCI versus other interconnecting
Mechanisms / 6. The Future / 7. Conclusions / References
Real-Time Visualization in Large Architectures, Iain Goddard,
Gérard Vichniac, Didier Thibaud / Abstract / 1. Real-Time Visualization is
Ubiquitous / 2. Real-Time Visualization is Demanding / 3. Real-Time Visualization is
Structured / 4. Remote Exploration: an Illustration of the Phases of Real-Time
Visualization / 5. Matching Visualization Functions to Processors / 6. Other Examples / 7.
The Necessity and Challenges of Heterogeneous Support for Visualization / References
L'avenir des 64 bits dans le temps réel embarqué, Jean-Jacques Lazar
/ Résumé / 1. Microprocesseurs et microcontrôleurs MIPS RISC IDT / 2. Intégration ASSP
et fabricants / 3. Fréquences internes et fréquences systèmes / 4. Environnement de
développement / 5. Solution pour la commutation sur Bus PCI et ATM 155 Mb/s et
25.6 Mb/s et Ethernet 10/100 / 6. Conclusion sur la communication des systèmes
embarqués / 7. Conclusion générale
VME Live Insertion Tools for Testing and High-Availability Systems, Philippe Sevigne
/ Abstract / 1. Why LI Today / 2. LI on VMEBus / 3. PROLONG, New Genration Extender / 4.
PROCEED, LI Active Adapter / 5. PROFILE-MD, a Test-Oriented Crate / 6. Conclusions
Le réseau EHS, European Home System. Concepts et technologies, Bruno Jean-Bart
/ 1. Introduction / 2. Le cahier des charges d'un cahier domotique / 3. La spécification
EHS / 4. Les technologies d'aujourd'hui / 5. Les outils de mise au point / 6. Les projets
en cours / 7. Conclusion / 8. Références
Real-Time Network for Embedded Applications, Holger Zeltwanger /
Introduction / CAN in Industrial Applications / How the CAN Network Functions /
Standardization of the CAN and Higher Protocols / References