|
Real Time Systems'2003 Actes de conférences 90,00 € |
|
2003 |
|
Présentation Cette 11e édition offre quatre sessions au lieu de trois l’an dernier. Une sera consacrée aux « Méthodologies, langages et outils » et deux à l’« Ordonnancement temps réel » qui est toujours le point fort de la conférence. Enfin une dernière, et c’est une nouveauté cette année, sera consacrée à l’émergence des systèmes « X-By-Wire », dans le secteur de l’automobile. Le Comité de Programme a reçu trente-deux propositions de communication (75 % des propositions émanaient de laboratoires français et 25 % de laboratoires ou de sociétés étrangères), dont quatre qui avaient été présélectionnées pour la session X-By-Wire. Dix-sept propositions ont été retenues, ce qui amène à un taux de rejet de 40 %, avec la certitude de n’avoir pu retenir, faute de place, de bonnes propositions de communications.
|
Y.
Trinquet Président....................... IRCCyN, Nantes,
France |
|
|
Table des matières Session : Méthodologies, langages, outils Présidente de session : Françoise Simonot (LORIA) Influence des performances d’une architecture informatique sur la fiabilité des systèmes échantillonnés Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion, LORIA (Nancy) Complémentarité entre SDL et les réseaux de Petri temporels pour la validation temporelle de TTA Karen Godary, Isabelle Augé-Blum, Anne Mignotte, CITI, INSA (Lyon) Étude comparative de SDL et UML pour la modélisation de systèmes temps réel C. Teyssié, Z. Mammeri, IRIT, UPS (Toulouse), François Carcenac, Frédéric Boniol, ONERA-CERT, ENSAE (Toulouse) Mécanismes de liaisons entre composants pour les applications industrielles embarquées et temps réel Philippe Dallemagne, Jean-Dominique Decotignie, Laurent Mealares, CSEM (Neuchâtel, Suisse) Konstantinos Kafandaris, Francis Schneeberger, SAIA-Burgess Controls (Neuchâtel, Suisse) DESIGN TROTTER: Inter-Function Cycle Distribution Step Thierry Gourdeaux, Jean-Philippe Diguet, Jean-Luc Philippe, LESTER, UBS (Lorient) Session : X by Wire et réseaux embarqués Président de session : Jacques Raymond (PSA) Processus et méthodes de sûreté de fonctionnement applicable au « by wire » Gilbert Mousty, PSA (Paris) L’état de l’art des réseaux sécurisés pour les systèmes X-by-wire Nicolas Ronez, Moustaphe Ndoye, Créalie (Paris) Les services réseaux pour les systèmes X-by-Wire Cédric Wilwert, LORIA (Nancy), France Gailliegue, Anne Charlois, PSA (Paris) Virtual Integration Platforms for Automotive Safety Critical Distributed Applications Paolo Giusto, Cadence Design Systems Inc, (Berkeley, USA) Jean-Yves Brunel, Éliane. Fourgeau, Cadence Design Systems, Ltd, (Velizy) Alberto Ferrari, Alberto Sangiovanni Vincentelli, Parades GEIE (Roma, Italy) Luciano Lavagno, Politecnico di Torino (Torino, Italy) Effect on Time Phasing and Bit-Stuffing on CAN Message Response Time Imad Alzeer, Pierre Molinaro, Yvon Trinquet, IRCCyN (Nantes) Construction de trames sous contraintes temps réel Ricardo Santos Marques, Nicolas Navet, Françoise Simonot-Lion, LORIA (Nancy) Session : Ordonnancement temps réel 1 Président de session : Nicolas Navet (LORIA) Schedulability Condition for Real-Time Systems with Precedence and Periodicity Constraints, without Preemption Liliana Cucu, Yves Sorel, INRIA (Rocquencourt) Ordonnancement préemptif à priorités fixes : comparaison de méthodes analytiques de calcul de pire temps de réponse Pierre Emmanuel Hladik et Anne-Marie Déplanche, IRCCyN (Nantes) Ordonnancement de tâches périodiques à durées d’exécution indéterminées : une approche probabiliste Laurent David, Francis Cottet, LISI, ENSMA (Poitiers) Nimal Nissanke, School of Computing, Information Systems and Mathematics (London, UK) Predicting Response Time Distributions for Aperiodic Tasks in the Presence of Critical Periodic Tasks Pam Binns, Honeywell Lab. (Minneapolis, USA) Faisabilité d’une application de supervision : le projet IRMA J. Legrand, F . Singhoff, L. Nana, L. Marcé, LIMI, UBO (Brest), F. Dupont, H. Hafidi, TNI-Valiosys (Brest) Session : Ordonnancement temps réel 2 Président de session : Francis Cottet (LISI-ENSMA) Placement et validation dans les systèmes temps réel distribués Michaël Richard, Pascal Richard , Francis Cottet, LISI-ENSMA (Poitiers) MESSAgE - A Coprocessor Integrating Fieldbus Traffic Scheduling and Schedulability Analysis E. Martins, L. Almeida, J. A. Fonseca, DET – IEETA Univ. of Aveiro (Aveiro, Portugal) Engineering real-time behavior through the development process N. Tracey, A. Coombes, T. Rolina, LiveDevices Ltd (York, UK) Matrix-DBP For (m, k)-firm Real-Time Guarantee Enrico-M. Poggi, Yeqiong. Song, Anis Koubaa, LORIA (Nancy) Zhi Wang, National Laboratory of Industrial Control Technology, Zhejiang University (Hangzhou, China) How to Manage Replicated Real-Time Databases in an Overloaded Distributed System Samia Saad-Bouzefrane, C. Kaiser, CEDRIC-CNAM (Paris) |
||
