|
Real Time Systems'1996 Actes de conférences 60,98 € |
|
1996 |
|
Présentation À L'instar de l'exposition, enrichie par la première édition du salon Embedded Systems, cet ouvrage réunit l'intégralité des communications portant et sur le temps réel, et sur les systèmes embarqués et enfouis. Concernant RTS'96, de grands sujets invariants (génie logiciel, techniques de vérification, ordonnancement, réseaux de communication, sûreté de fonctionnement, tolérance aux fautes, applications) – qui accaparent l'intelligence et la créativité de nombreuses équipes de recherche – font, cette année encore, l'objet de communications de prestigieux laboratoires ainsi que de nos industriels les plus actifs. En complément, des problématiques plus récentes sont abordées comme les objets temps réel, par exemple. Les conférences dévolues à Embedded Systems'96 traitent, sans redondance avec RTS, de sujets spécifiques qui se posent à ceux qui conçoivent, réalisent ou intègrent des systèmes embarqués (choix du processeur, protocoles de communication, langages, applications, ... ). Là, on trouvera les témoignages conjoints d'industriels, de chercheurs mais aussi de fournisseurs, garants d'un pragmatisme certain et d'une orientation " solutions " des propos, directement utiles au lecteur. |
Comité |
|
Table des
matières
session tr1 : génie logiciel / software engineering
Environnement pour la programmation synchrone des systèmes réactifs, Charles André, Hédi Boufaïed, Daniel Gaffé, Jean-Paul Marmorat
Le processus de développement des systèmes automatisés distribués : analyse de
l'étape de conception, Françoise Simonot-Lion, Mireille Bayart
C++ Under the Hood, Nick Lethaby
Le modèle de conception Oasis/Y C pour les systèmes temps-réel complexes critiques, Vincent David,
Marc Aji, Christophe Cordonnier, Jean Delcoigne, Christophe Aussagues
Objets temps-réel et ordonnancement par échéance, François Terrier,
Daniel Bras, Gilles Fouquier, Laurent Rioux, Patrick Vanuxeem
Session tr2 : applications temps réel / real-time applications
Observation et mise au point pour calculateur distribué embarqué temps
réel et critique, Nicolas Hubart
Simulateur muticible piloté pour le développement des conduites de tir air/air, J.-E. Chevillot
Application of a Synchronous Programming Approach: Development of an Experimental
Distributed Transformer Station Control System, Mazen Samaan, Frank Borgards
Spécification et implémentation logicielles pour des véhicules automatiques, Sofiane Abdou,
Michel Parent, Bernard Espiau
Scheduling in the Reakt Kernel: Combining Predictable and Unbounded Computations for
Maximising Solution Quality in Real-Time Knowledge-Based Systems, A. Mensch,
F. Charpillet
Session tr3 : techniques de vérification / test and validation techniques
Formal Methods and Real-Time Design and Validation of a Real-Time Embedded
System
Un modèle formel unificateur pour les systèmes temps réels, François Fabre,
Patrick Sénac, Pierre de Saqui-Sannes,
Michel Diaz
Méthodologie de mesure de durées d'exécution de tâches d'une application temps
réel à contraintes strictes
Session tr4 :
ordonnancement – réseaux de communication / scheduling – networks
Ordonnancement conjoint de tâches périodiques et apériodiques pour les
systèmes temps réel, Joëlle Delacroix
Étude exhaustive des séquences d'exécution d'une application temps réel à
contraintes strictes à l'aide de réseaux de Petri, Annie Choquet-Geniet,
Dominique Geniet, François Cottet
Ordonnancement et gestion de ressources dans les systèmes temps réel, Maryline Silly
Protocole de messagerie MMS sur Chorus : différentes approches, Éric Gressier-Soudan,
Marianne Lefebvre, Marc Rozier
Messages Scheduling in FDDI for Real-Time Communication, YeQiong Song,
François Simonot
Session tr5 : sûreté de fonctionnement et tolérance
aux fautes / operating safety and fault tolerance
Logiciels de sécurité, nouvelle approche pour optimiser la vérification
et la validation, B. Le Trung, M.-C. MonÉgier du Sorbier,
B. Soubiès, O. Eisensohn
Un exécutif Ada sécurisé pour les systèmes temps réels critiques, Marc Richard-Foy
De nouvelles architectures de communication pour le contrôle de procédés
industriels : vers une répartition massive et tolérante aux fautes, Christian Toinard,
Nicolas Chevassus
Une technique de réplication pour applications temps réel tolérantes aux fautes, Anne-Marie Deplanche,
Yvon Trinquet
Vérification de la sûreté d'exécution de Grafcets, Guevara Noubir,
Marie-Agnès Peraldi
Session se1 : protocoles de communication / communication protocols
Un serveur vidéo temps réel sous Windows NT, Jacques Belloncle
Les protocoles de réseaux embarqués, Patrick Coquet,
Hélène Maisonniaux
Using Streams to Manage the Diversity of Networking Protocols, Claude Garcia
Session se2 : grand debat / quels processeurs pour quels
systemes embarques ? :/ which processors for
which embedded systems?
Conférences introductives : Europro : système
multiprocesseur temps réel pour application traitement du signal, Robert Negre
Plate-forme vocale multiservices : quels processeurs pour quels services ?, Philip Kelley
Session se3 : applications systèmes embarqués / embedded
systems applications
L'inspection en temps réel à grande vitesse, Mohammed Benjelloun,
Éric Finet, Gaëtan Libert
Apport des calculateurs répartis dans la régulation des turbomachines, Thierry Bickard,
Jean-Louis Lanet
Towards a Fully Scalable Operating System Technology: the Stream Project, Christophe Lécluse
Les logiciels embarqués des satellites d'observation européens, Alain rossignol
Une solution homogène à la fois hôte et cible pour le temps réel dur sur
PowerPc 604, Philippe Junière
Session se4 : debat : l'objet convient-il aux
systemes embarques ? / is object suitable for
embedded systems?
Conférence introductive : L'initiative européenne sur les systèmes
embarqués – réflexions sur l'objet, Stephen McConnel