Produits de formation & ressources en ligne
   Commander

Temps réel

Real Time Systems'98
Salon des solutions informatiques pour les systèmes temps réels
Actes de conférences organisées par le B.I.R.P.

Présentation Table des matières Comité scientifique Indes des auteurs

1998
704 pages
format 16 x 23 cm
couverture quadrichromie
broché
réf. LIF025
I.S.B.N.: 2-87717-064-0
91,47 € 
Niveau : spécialistes et professionnels de l'informatique 

Présentation
Aux côtés de ses « Conférences Scientifiques », construites sous l'autorité d'un Comité de Programme composé des personnalités de la recherche et de l'industrie, RTS'98 propose des « Journées Thématiques » traitant, verticalement, de sujets pratiques :
Qu'apporte Java à l'Embarqué ? Génie Système en Informatique : évolution ou révolution ? Windows NT et ses extensions temps réel. Comparaison, sur un cas pratique, de méthodes orientées objet pour la spécification d'applications temps réel. Initiative européenne OSAF : vers un marché ouvert des composants logiciels pour les applications enfouies.
Dans le présent ouvrage, les lecteurs apprécieront « sur pied » les apports de ce déploiement thématique, qui pourrait ressembler à une photographie 3D des technologies du temps réel et des systèmes embarqués, année 1998.

Table des matières
Conférence Scientifique 1 : Ordonnancement
Adaptation à l'ordonnancement Earliest Deadline First d'un noyau temps réel multitâches à propriétés fixées, Pierre-Henri Jossa, François Bossard
Résumé / 1. Introduction / 2. Exposé du problème et démarche suivie / 3. Présentation d'algorithmes de référence (statique et dynamique) / 4. Description de la méthode générique / 5. Évaluation de la méthode de transformation / 6. Conclusion / 7. Références
Un modèle de tâches temps réel pour la résorption contrôlée des surcharges, Joëlle Delacroix, Claude Kaiser
1. Introduction / 2. Modèle de tâches indépendantes avec importance / 3. Autres besoins d'expression / 4. Présentation du nouveau modèle de comportement des tâches / 5. Expérimentation par simulation / 6. Conclusion / Bibliographie
Traitement de la gigue temporelle pour les ordonnancements temps réel par échéance, F. Cottet, M. Courtes, M. Holle
Résumé / 1. Introduction / 2. Estimation de la gigue temporelle pour les ordonnancements temps réel par échéance / 3. Méthode de traitement de la gigue temporelle pour les ordonnancements temps réel par échéance / 4. Traitement de la gigue temporelle dans le cas des tâches de durée non unitaire et à contraintes de précédence / 5. Conclusion / Bibliographie
Conférence Scientifique 2 : Répartition et temps réel
Garantie des contraintes temps réel dans un système transactionnel réparti, Soumaya Kamoun,Pascale Minet, Fabrice Vergnes
Résumé / Introduction / 1. Problème général / 2. État de l'art3. Solution proposée / 4. Placements pires cas
5. Scénarios pires cas / 6. Exemple / Conclusion / Références
Spécification et ordonnancement dynamique d'applications multimédias : l'environnement Polka, Frank Singhoff, Isabelle Demeure
Résumé / 1. Introduction et motivations / 2. Modèle de spécification d'une application multimédia / 3. L'ordonnanceur de Polka / 4. L'implantation actuelle et son fonctionnement / 5. Un exemple d'application
6. Conclusions / Références
Services système pour la supervision de processus industriel : traitement d'une base de données temps réel par modèle synchrone et accès distant à travers Corba, S. Chabridon,V. Delebarre, A. Feray, E.Gressier-Soudan, F. Raviart
Résumé / 1 Introduction / 2. Architecture système / 3. Projection de l'architecture fonctionnelle sur COOL-MMS
4. Conclusion / Bibliographie / Annexe : MMS-CORBA
Conférence Scientifique 3 : méthodologies de développement d'applications
Aide à la conception et à la réalisation d'applications temps réel critiques selon oasis, Christophe Aussaguès, Christophe Cordonnier, Isabelle Quéteuil, Vincent David
1. Introduction / 2. Conception et réalisation d'applications temps réel / 3. L'aide à la conception et à la réalisation en OASIS / 4. Conclusions et perspectives / Références
Un processus de développement industriel de logiciels temps réel basé sur des méthodes de l'Agence Spatiale Européenne, Patrice Micouin
Un développement strictement phasé / Besoin en données de spécifications pour un logiciel temps réel / Une approche de spécification basée sur HOORA/UML / La méthode de conception HOOD / Opérations contraintes
Constructions / Nœuds virtuels / Modèle opérationnel HOOD / Activités spécifiques du temps réel / De la spécification à la conception / De la conception à la programmation / La vérification et l'intégration
SyncCharts : un modèle graphique synchrone pour systèmes réactifs complexes, C. André, H. BoufaÏed, S. Dissoubray
Résumé / 1. Introduction / 2. Modélisation des comportements réactifs / 3. SyncCharts / 4. Plate-forme de développement / 5. Contrôle d'un atelier de production automatisé / 6. Conclusion / Références
Conférence Scientifique 4 : Protocoles et ordonnancement dans les réseaux
Performances et tolérance aux fautes des applications temps réel distribuées autour du réseau Can, N. Navet , Y.-Q. Song, F. Simonot
Résumé / 1. Introduction / 2. Réseau CAN / 3. Temps de réponse et seuil d'erreurs / 4. Vers un modèle d'erreurs réaliste / 5. Application / 6. Conclusion / Annexes / Références
La problématique de l'initialisation du protocole CSMA/CA ARINC 629 CP : modélisation et validation, Isabelle Blum, Laurent Gallon, Guy Juanole
1. Introduction / 2. Le protocole ARINC 629 CP / 3. Méthodologie de modélisation et d'analyse / 4. Analyse de l'initialisation / 5. Conclusion / Références
Ordonnancement déterministe des tâches périodiques en présence des contraintes temporelles et de successions, Jozef Dworzecki
1. Introduction / 2. Modèle de tâches / 3. Ordonnancement non préemptif / 4. Applications / 5. Conclusion / 6. Littérature
Journée Thématique 1 : Le génie système en informatique : évolution ou révolution ?
La dissémination des bonnes pratiques en ingénierie système au sein du groupe Thomson-CSF, Patricia Davriu
La méthode / L'outil / L'organisation / L'état des lieux / Les orientations futures
Des difficultés de cenception et de réalisation d'applications temps réel de sûreté, Vincent David, Jean Delcoigne
Introduction / Architecture du système de contrôle commande d'une tranche nucléaire / Le système de protection
Objectifs et difficultés / Conclusion
Évaluation d'une méthode de génie système pour l'avionique modulaire, Emmanuel Ledinot, Gérard Le Lann
1. Introduction / 2. Objectifs de l'avionique modulaire / 3. Contexte de l'étude / 4. Capture du besoin pour l'avionique modulaire / 5. Solutions algorithmiques INRIA et preuves / 6. Maquettage Dassault Aviation / 7. Conclusions et prolongements / 8. Bibliographie
Journée Thématique 2 : Faire passer l'an 2 000 aux sytèmes temps réel (organisé en partenariat avec la manifestation " Solutions Informatiques 2000 ")
Journée Thématique 3 : Qu'apporte JAVA à l'embarqué ?
Java and Corba for Real-Time Embedded Systems, Michel Gien
Mixing Java and C in Embedded Systems, Mitchell Bunnell
Introduction / Java Applet for an Embedded GUI / Java Servlets / Java in the main Application / Conclusion
Java pour l'informatique embarquée : contraintes et implémentations, Cédric Nicolas, Yves Bossu
Introduction / Première génération : assembleur sur machine nue / Deuxième génération : les systèmes d'exploitation embarqués / Troisième génération : Java embarqué / Quatrième génération : les processeurs Java / Conclusion
Acces your Real-Time System through Internet with Java and SoftKernel, Bernard Dautrevaux
Introduction / 1. SoftWeb, the Final GUI Evolution / 2. New GUI Requirements / 3. SoftWeb Description / 4. Java and SoftKernel / Conclusion
La technologie Web et Java au service des applications embarquées, Michel Genard
1. La mode et la tendance Web / 2. Le phénomène Java / 3. Les applications / 4. Les avantages / 5. Les implémentations dans les systèmes embarqués / 6. Une vision de l'enfer / 7. Les acteurs / 8. Le futur
Journée Thématique 4 : Comparaison de méthodes orientées objets pour la spécification d'applications temps réel
Description du cahier des charges de l'exemple test : cas d'étude pour l'évaluation des méthodes orientées objets dans le domaine du temps réel, J.-P. Babau, P. de Bondelli, S. Gérard, P. Laroque, O. Segrouchni, J.-L. Sourrouille, P. Perrin, M. Paludetto, F. Terrier
1. Problème / 2. Définition du réseau et des trajets / 3. Démarrage du système / 4. Commande des trains / 5. Équipements / 6. Résumé des spécifications
Spécification à objets à partir d'une analyse de type SA-ART, Adel Benzina, Mario Paludetto, Jérôme Delatour
1. Introduction / 2. Le problème / 3. Spécifications par SA-RT et réseaux de Petri / 4. Translation vers une analyse  HOOD/PNO / 5. Conclusion / Références
Modélisation par la méthode HOOD/PNO (objets à réseaux de Petri), Adel Benzina, Mario Paludetto, Jérôme Delatour
1. Introduction / 2. Bref rappel de la méthodologie HOOD/PNO / 3. Analyse préliminaire / 4. Points de vue et modélisations associées / 5. Analyse des contraintes temporelles / 6. Évaluation des points de vue et choix / 7. Développement de la solution choisie / 8. Validation et évaluation / 9. Conclusion / 10. Références
Modélisation par la méthode OMT et SDL (ObjectGéode), Jean-Philippe Babau
1. Introduction / 2. Formalismes / 3. Méthodologie de conception / 4. Traitement de l'exemple / 5. Prise en compte des aspects temps réel / 6. Passage d'un formalisme à l'autre / 7. Conclusion / 8 Bibliographie
Modélisation par la méthode OMT avec UML, Philippe Laroque, Philippe Perrin, Omar Seghrouchni
Modélisation par la méthode OMT-2 avec UML, Jean-Louis Sourrouille
1. Introduction / 2. Méthode / 3. Description des besoins / 4. Modélisation du domaine et de l'application / 5. Conception préliminaire / 6. Réalisation / 7. Discussion / Références
Modélisation à objets temps réel d'un système de contrôle de train avec la méthode Accord, Sébastien Gérard, François Terrier
1. Cycle de vie du développement d'une application / 2. Spécification de l'application / 3.  Réalisation et intégration / 4. Conclusions / Bibliographie
Modélisation par la méthode ROOM, Omar Seghrouchni
Journée Thématique 5 : OMI Software Architecture Forum (OSAF) : vers un marche ouvert des composants logiciels pour les applications enfouies
Présentation de l'initiative OMI (Open Microprocessor Initiative), Franck Cunningham
Objectives and Achievements of OSAF, Steve McConnell
1. Preface / 2. Context / 3. Standardisation Results / References
Current Trends: Java and Corba in Embedded Systems, Didier Irlande
1. Background Information / 2. Embedded Systems / 3. Objects-Oriented Systems / 4. Embedded objects / References
A Model for Reusability Based on Java and Corba, Antonio Kung
1. Introduction / 2. Architecture Issues on Reusability / 3. Reference Model for Software Components / 4. A Model for Reusability based on Java and Corba / References
L'application du modèle au commerce électronique, Steve McConnell, Georges Cleland, Christophe Assemat
Journée Thématique 6 : Windows NT et ses extensions temps réel
Requirements for RTOS ? , M. Timmerman, J.-C. Monfret
1. Abstract / 2. What is a Real-Time System ?  / 3. Necessary OS Requirements for a RTOS / 4. About the Authors / 5.  References
Windows NT et le temps réel : un état de l'art, Carlos Moreno, Stéphane Belot
1. Introduction / 2. Les différentes couches de l'OS NT / 3. Caractéristiques générales / 4. Les systèmes d'exploitation temps réel (RTOS) et Windows NT / 5. Bibliographie
Windows NT in a Real-Time System, the Industry Dream?, M. Timmerman, J.-C. Monfret
1. Abstract / 2. Introduction / 3. NT as a RTOS? / 4. Real-Time Extension Products Comparison / 5. Conclusion / 6. About the Authors / 7. References
Quel temps réel pour Windows NT ? Avec VenturCom, embarquez vos applications critiques, Fabrice Boisset, Bill Carpenter, Mark Roman, Nick Vasilatos, Myron Zimmerman
Component integrator for Window NT / RTX 4.1 for Windows NT / Real-Time Extension (RTX) 4.1 / RTAPI 2.0 Features / The RTX Real-Time Subsystem for WindowNT / 1. Introduction / 2. Real-Time Extensions / 3. RTSS Objects / 4. Conclusions /  References
INtime, Real-Time Extension for Windows NT® Jan Baan
Windows NT: Moving Off the Desktop / INtimeTM : Real-Time for Windows NT / Windows NT and INtime Co-exist as Shown / Optimized for the intel Architecture / Field-Proven Real-Time Technology / Real-Time Extensions to Win32 APi / INtime OS Encapsulation Mechanism / Modified Hardware Abstraction Layer (HAL) / Windows NT Development Environment / Conclusion / Technology Backgrounder
Le vrai temps réel sous Windows, Michel Chevalier, Sylvie Suchet
Contexte / Principe de la solution LPE / Les produits LP Electronik / Avantages de la solution LPE / Applications cibles / Articles parus dans Real-Time Magazin  /   LP-RTWIN Toolkit / 1. Introduction / 2. Product Specification /  LP-VW, VxWorks Together with Windows on the same PC
Hyperkernel: Bringing Real-Time to Windows NT, Rhonda Landis
History / Can Window NT be Used for Time Critical Applications? / Test Results / NT Crashes / Hyperkernel / Hyperkernel Scheduler - Sharing the CPU / NMI / SMI / Windows NT Compatibility - the HAL Debate / Hyperkernel Tools / Windows NT to Windows CE Compatibility / Conclusion
Conférences solutions
Architectures X86 pour systèmes enfouis, Jean-Pierre Josse
1. Les processeurs X86 / 2. Les disques statiques et leurs gestionnaires / 3. Les bus ISA, ISA96, AT96, PC104, PCI et compact PCI / 4. Les interfaces PCMCIA et leurs gestionnaires / 5. Les Bios pour systèmes enfouis / 6. Les systèmes d'exploitation et les locateurs / 7. Les interfaces graphiques / 8. Les noyaux multitâches temps réel / 9. Conclusion
CompactPCI Offers High Performance for Real-Time Systems, Local or Distributed Architectures, Rémy David
1. The PCI Bus Architecture / 2. What is CompactPCI? / 3. An 8-Slot Passive Backplane / 4. CompactPCI System Architecture / 5. CompactPCI Real-Time Capabilities / 6. Using PCI to PCI Bridge / 7. Intelligent Input & Ouput (I2O) / 8. Hybrid Buses / 9. Serial Buses / 10. Conclusion
Producing Real Portable and Scalable Systems Revisiting our Habits, Fernand Quartier
Revisiting our Habits - Introduction / Common Object Request Broker Architecture (CORBA) / Synchronous or Asynchronous / Composing Systems / Operating Systems / Communication Mechanisms / Multi-Processing / Buses / Conclusion
L'orienté objet et le temps réel, l'offre de TNI, Pierre Dissaux
Introduction / OpenTool : analyse orientée objet / STOOD : conception HOOD4 / Conclusion / Bibliographie
OMT/UML and SDL Based Techniques and Tools for Real-Time Development, Philippe Leblanc, Nicolas Dervaux
Abstract / 1. Introduction / 2. The ObjectGEODE Engineering Process / 3. Code Generation and Targeting / 4. Use of the ObjectGEODE Technology within an UML Approach / 5. Conclusion / 6. References
High Availability and Safety Provided in OSE Real-Time Operating Systems Using Supervised Logical Channels, William J. McCombie, Jean-Paul Médina
1. Introduction / 2. High Availability / 3. Physical and Logical Channels / 4. Supervised Logical Channels / 5. Upgrading Software; an Example / 6. Conclusion
Adapting PC Technology for Internet Appliances, Dan Hildebrand
Abstract / Introduction / Why Use PC Technology?  / What About Software?  / Development and Prototyping Environment / Conclusion
Les environnements PersonalJava et EmbeddedJava, Christophe Bonnet
Java : un bref historique / Le langage Java / L'environnement d'exécution / Java et l'informatique industrielle : applications embarquées / PersonalJava / EmbeddedJava / Outils de développements spécifiques / Avantages d'utilisation de Java pour le développement d'applications enfouies / Contraintes d'utilisation de Java pour le développement d'applications enfouies / Conclusion / Références
Prototyping Environment for Real-Time Analysis, Peter Kortmann, Geoffrey Mandal
Introduction / 1. Problem Domain / 2. Creating a Prototype / 3. Mapping Real-Time CORBA to PERTS / Conclusions

Comité scientifique
Nicolas Chevassus, AEROSPATIALE / Pascal Clere, CEGELEC / Jean Delcoigne, CEA-LETI / Jean-Pierre Elloy, École Centrale de Nantes / Guy Juanole, LAAS-CNRS / Claude Kaiser, CNAM / Zoubir Mammeri, Faculté des Sciences du Havre / Pascale Minet, INRIA / Pierre Parayre, DGA / François Riga, MATRA Bae Dynamics / François Terrier, CEA-LETI / Jean-Pierre Thomesse, CRIN-INPL / Christian Toinard, ENSERB-LaBRI

Index des auteurs

Commande | Info Legales | Partenaires | Themes