|
Real Time Systems'2000
Salon des solutions informatiques pour les systèmes
temps réels
Actes de conférences
organisées
par le B.I.R.P.
53,36 €
Commander
|
 |
2000
432 pages
format 16 x 23 cm
broché
réf. LIF028
I.S.B.N.: 2-87717-074-8
pour spécialistes et professionnels de l'informatique
|
|
Présentation
Comité
Table des matières |
Comité de programme |
Présentation
Internet embarqué, Linux temps réel, WAP, Java… la
déferlante de la " Net technologie " atteint désormais les rivages,
jusqu’alors abrités, de l’informatique temps réel et des systèmes embarqués.
Où, ailleurs que dans la Conférence RTS, ces sujets
brûlants auraient-ils pu être abordés ? C’est le rôle, l’objet, la
fierté même de cette manifestation européenne que de se faire la structure
d’accueil de tous ces sujets, de toutes ces intelligences, de cette dynamique de
changement…
…Et de savoir aussi être le lieu – le garant - où sont traités les
" fondamentaux " du temps réel et de l’embedded :
ordonnancement, exécutifs et placement, modèles formels, outils et méthodes de
développement, vérifications et tests, systèmes distribués et réseaux…
Cette année, plus qu’auparavant, voit la montée des conférences préparées les
entreprises de l’offre, parfois avec un grand industriel utilisateur, parfois de
concert avec un laboratoire de recherche. Nous y voyons-là une évolution majeure dans la
relation client / marché / recherche. Ce partenariat
" vertueux ", signe de maturation et d’intérêt bien compris, a
toujours donné dans le passé des résultants enrichissants pour toutes les parties.
Un exemple concret pourra être observé : la collaboration de nos laboratoires avec
les industriels européens sur le thème de l’informatique embarquée et de
l’automobile. Et il y en aura d’autres, à découvrir dans ce cycle de
conférences.
En incluant le Comité de programme, les réviseurs, les auteurs et coauteurs, les
conférenciers, les instructeurs… ce sont plus de cent personnes qui ont investi
temps, réflexion, générosité et intelligence pour permettre l’avènement de cette
Conférence 2000. Les organisateurs les remercient tous, et plus particulièrement,
Francis Cottet, président du Comité de Programme des conférences scientifiques
RTS’2000. |
COMITÉ DE PROGRAMME
Président : Francis COTTET (LISI, ENSMA, Poitiers-Futuroscope)
Membres :
Jean-Raymond Abrial, / Richard Castanet,LABRI, Université de Bordeaux / Joëlle
Delacroix,CEDRIC, CNAM Paris / Juan Antonio de la Puente,DIST, Université de Madrid
(Espagne) / Michel Diaz,LAAS, CNRS, Toulouse / Jean-Pierre Elloy,IRCYN, ECN, Nantes /
Hassan Gomaa,Université George Mason, USA / Guy Juanole,LAAS, Université Paul Sabatier,
Toulouse / Claude Kaiser,CEDRIC, CNAM Paris / Gérard LE Lann,INRIA Rocquencourt / Francis
Lepage,CRAN, UHP Nancy / Zoubir Mammeri,IRIT, Université Paul Sabatier, Toulouse / Elie
Najm,ENST, Paris / Eric Rutten, INRIA-Rhones-Alpes, Grenoble / Françoise
Simonot,LORIA-ENSEM, Nancy / Jean-Pierre Thomesse,LORIA- ENSEM, Nancy / Yvon
Trinquet,IRCYN ECN, Nantes
RÉVISEURS hors Comité de Programme : Y. Ait Ameur,LISI,
Futuroscope / C. André,I3S, Sophia-Antipolis / A. Bailly,ENST, Brest / A. Benzekri,IRIT,
Toulouse / J.-P. Calvez,IRESTE, Nancy / C. Cardera,IST DEM-SISTEMAS Aveiro, Portugal / F.
Charpillet,LORIA, Nancy / A.-M. Deplanche,IRCyN, Nantes / J.-C. Derniame,LORIA, Nancy / A.
Geniet,LISI, Futuroscope / J.-P. Guédon,IRESTE, Nantes / V. Louis-Dorr,ENSEM, Nancy / P.
Minet,INRIA, Rocquencourt / P. Molinaro,IRCyN, Nantes / I. Puaut,IRISA, Rennes / P.
Richard,LISI, Futuroscope / O. Roux,IRCyN, Nantes /S. Sedillot,INRIA, Rocquencourt /
Y. Song,LORIA, Nancy / Y. Sorel,INRIA, Rocquencourt /
|
|
Table des matières
Conférences Scientifiques CS1
Systèmes distribués et réseaux, Thomas Nygaard :
Introduction / Typical DSP / ystem Architecture / 2 ANSI Standards Organization /
3. FPDP / 4. Serial FPDP / 5. Fibre Channel / 6. RACEway Interlink /
7.Some Example Systems / 8. Summary
Une technique de contrôle déterministe de
fiabilité pour le transport d’images en direct, Vincent Lecuire et
Francis Lepage : 1. Introduction / 2. La chaîne saisie – transport
– restitution d'images animées / 3. La correction des erreurs par
retransmissions / 4. Le protocole de transport à contrôle déterministe de
fiabilité / 5. Mise en œuvre du protocole pour le transport d'images en direct
/ 6. Conclusion
Exécutifs, Placement
Intégration d’un contrôle de charge importance au sein du système RT-Linux,
Joëlle Delacroix, Christophe Méniva : 1. Introduction /
2. Présentation de l'ordonnanceur natif de RT-Linux / 3. Pourquoi modifier
l'ordonnancement natif ? / 4. Intégration de la politique à importance au
sein de RT-Linux / 5. Conclusion
Calcul de placements pour un système temps réel
distribué, Sébastien Faucou, Anne-Marie Déplanche, Jean-Pierre
Beauvais : 1. Introduction / 2. Un problème de
placement–ordonnancement de tâches temps réel / 3. Ordonnancement du réseau /
4. Les algorithmes / 5. Résultats / 6. Conclusion
Embedded Java : The role of RTOS Architecture in
Realtime Applications, Steve Furr : A Matter of Time / Thread
Schedulin / Garbage Collection / Heap Sharing / Priority Inversion / Reliability: a Secure
Foundation / Multiple VMs / Cross-Development / Footprint: Less is More / ROM vs.
RAM / Platform Independence: Turning Theory into Reality / Dynamic Upgrades / Choosing the
Right Foundation
Conférences Scientifiques CS2 : Modèles formels
Validation d’Applications Temps-Réel à Contraintes Strictes à l’aide de
Langages Rationnels, Dominique Geniet : 1.Résumé / 2.Introduction
/ 3.Systèmes temps réel à contraintes strictes / 4.Modèle temporel de tâches temps
réel / 5. Comportement temporels d'une application temps réel / 6.Une étude de cas /
7.Conclusion
Reasoning about parametrized automata, Pierre
Castéran, David Rouillard : 1.Introduction / 2.Proofs on Transition Systems / 3.
P-automata / 4.Conclusion and Future Work
Coupling Binary Decision Diagrams with Time Petri Net,
David Delfieu, Pierre Molinaro, Olivier H. Roux : 1.Introduction / 2.Existing
Approaches using TPN / 3.Time Petri Net / 4.BDD / 5.Temporal Constraints / 6.Conclusion
Vérifications et tests
Mises en œuvre de tests temporisés, P. Laurençot, E. Mesnard,
J. Toussaint : 1.Introduction / 2.Le test / 3. Problématique des test
temporisés / 4.Architecture pour le test temporisé / 5.Conclusion
Analyse de spécifications STATEMATE et génération
automatique de tests, Emmanuel Fievet, Jean-Pierre Gallois :
1.Vérification / validation et tests pour les systèmes embarqués /
2.Application d'AGATHA aux spécifications STATEMATE / 3.Le prototype AGACHART /
4.Conclusion et perspectives
De la modélisation à la réalisation :
réduction du cycle de développement des applications temps réel distribuées,
Rémy Kocik, Yves Sorel : 1.Cycle de développement d'un système automatisé /
2.Ruptures dans le cycle / 3.Modélisation du système automatisé / 4. Réalisation des
lois de commande à l'aide d'un calculateur / 5. Réduction du cycle de développement /
6.Conclusion
Programmation synchrone : une étude de cas,
Christophe Mauras, Martin Richard, René Thoraval : 1.Introduction / 2.
Programmation synchrone de l'étude de cas / 3.Le processus de développement /4.
Plate-forme d'exécution / 5.Conclusion
Real-time Object-Oriented Program Restructuring for
Improved Schedulability, Mohamed T. Kimour : 1.Introduction / 2.
Real-Time object Model / 3.Object-Oriented Program Fragmentation / 4.Restructuring Process
/ 5.Conclusion
Ordonnancement
Cyclicité des ordonnancements de systèmes de tâches périodiques
différées, Emmanuel Grolleau, Annie Choquet-Geniet : 1. Introduction /
2. Cyclicité des ordonnancements de tâches indépendantes / 3. Cyclicité des
ordonnancements de tâches dépendantes / 4. Conclusion
Gestion des transactions temps réel à échéance
non stricte, Bruno Sadeg, Samia Saad-Bouzefrane :
1. Introduction / 2. Concepts d'epsilon-données et de delta-échéances /
3. Les notions d'e -données et de D
-échéances dans les applications multimédia / 4. Le protocole e
-D de contrôle de concurrence et d'ordonnancement /
5. Exemple illustratif / 6. Preuve / 7. Conclusion
Session thématique ST1 Automobiles et informatique
embarqués
Introduction
Refinement of UML for Real-Time Modeling with Active Objects,
Sébastien Gérard : 1. Introduction / 2. An Extension of the UML
Active Class / 3. A Specific Use of UML Statechart for Real-Time System Design /
4. Work Status / 5. Conclusion
Integration architecture for car components: proposal
and prospects, Peter Hofmann, Daimler Chrysler
Développement de logiciels embarqués,
Le point de vue d’un équipementier
Table ronde : Vers des composants logiciels ?
Conception, intégration, réutilisation, où en est-on ? Où va-t-on ?
Session thématique ST2
Introduction
État des lieux des plates-formes WAP, Laurent
Letourmy
Comment implémenter la norme WAP, Boris
Lacroix
Le WAP vu Hewlett-Packard : sécurité et haute
disponibilité, Jean-Paul Ferouelle
Table ronde : du WAP temps réel
aujourd’hui ? Est-ce possible ? Comment y parvenir ?
KEYNOTES SPEAKERS
Real-Time Systems, Objects, and the UML, Bran Selic
Wind River, a vision of the future, Jerry
Fiddler
CONFÉRENCES SOLUTIONS
Linux for Embedded Networking, Klaus
D. Walter : 1. Introduction / 2 Main Part / 3. Summary and Results
Running Linux Applications in an Embedded, Real-Time
Environment, Chris Clark
Embedded Internet Technologies as applied to
Industrial Devices, Stephen Porter : Industrial Devices /
Commercial Solutions / Identifying the Needs / Technologies and Standards / Internet
Technologies / The Real World
Specification Objet UML de Logiciels temps réel,
Emmanuel Ledinot, Sylvan Dissoubray : 1. Introduction / 2.
Présentation du besoin et positionnement / 3. Processus et méthode de
développement / 4. Extension objet d'Esterel et notations UML / 5. Intégration
des outils de conception / 6. Exemple d'application : gestion carburant /
7. Conclusion
DCX : Complément Temps Réel à COM/DCOM –
Standard OPC, Fabrice Boisset : 1.DCX Scope end Goals / 2.Software
Component Framework / 3. DCX Architecture / 4. DCX Components / 5. DCX
Items : 6.DCX Interfaces / 7. Distributed Control Systems / 8 Summary
High availability Embedded System Software,
Laurent Accard : Continuum of Redundancy is Basis for High Availability /
Opportunity for High Availability Embedded Systems / Hot Swap for High Availability is
Ready to Go / Front or Back Door Entrance for High Availability Software Support / Slot
Statut Primitives Trigger Dynamic Reconfiguration / Operating System Extensions for High
Availability / ENUM# Signal Provides Autonomous Notification of Change / Building
Application's Awareness of Devices it Uses / Fault Detection not Failure
Status of PICMG Europe : Compactpci and standards,
Manon Kienjet : Why CompactPCI? / CompactPCI at a Glance / Standard Form
Factors / Passive Backplane /Hot Swap Form Factors / Computer Telephony Form Factors /
CompactPCI Markets / The Association PICMG / PICMG Europe / Available Specifications
IEEE1394 "FireWire": a New Standard for
Interconnecting Real-Time Computer Systems, Romualdo Santamaria :
The Design of a Typical Industrial Control System / Heterogeneous Systems Pose Special
Problems / What FireWire provides / FireWire bus Arbitration / Isochronous Data
Transmission / Node Synchronization / FireWire Parameters / Packet Types
A low-cost real-time system for control and
monitoring of high performance tool machines, Philippe Dallemagne, Luis
Ruiz et Laurent Mealares : 1. Introduction / 2. Traditional Industrial Communication
Architectures / 3 A Simpler and Cheaper Architecture / 4.Conclusion
Optimizing I/O for High-Performance Open Architecture
DSP Systems, Rodger H. Hosking : Introduction / New DSP Processosrs
/ Role of the Backplane / Mezzanine Busses / Front Panel Busses / Front Panel Serial
Interfaces / Secondary Backplane Busses / Putting it all Together
L'interconnexion des composants en 3 dimensions,
applications aux systèmes temps réel, Christian Val, Sébastien Dejean :
1.Généralités / 2. Contraintes des systèmes embarqués / 3.Avantages de
l'interconnexion en 3D / 4. Applications temps réel |
|