Publications

• Qinna : un style architectural pour une gestion dynamique de contrats de QoS
• "Qinna, a Component-Based QoS Architecture" (ici)
J.-C. Tournier, V. Olive and J.-P. Babau, 8th SIGSOFT symposium on CBSE, LNCS 3489, 107-122, Saint-Louis (USA), May 2005
• SAIA : un style architectural pour assurer l´indépendance vis-à-vis d´entrées/sorties avec contraintes temporelles
• "A MDA-based Approach for Real Time Embedded Systems Simulation" (ici)
J. de Antoni and J.-P. Babau, 9th IEEE symposium on Distributed Simulation and Real-Time Applications, DS-RT’05, 257-264, Montreal, Oct 2005

• "SAIA, a model driven method for safe deployment of sensors based applications" (ici)
J. de Antoni and J.-P. Babau, Proceedings of MAAS 2006- Workshop on Model and Analysis for Automotive Systems, held in conjunction with 27th IEEE International Real-Time Systems Symposium, 45-48, Rio, Dec 2006

• Analyse temporelle pour pilotes d´acquisition
• "Formal Evaluation of Quality of Service for Data Acquisition Systems" (ici)
B. Ben Hédia, F. Jumel, J.-P. Babau, Forum on Design Language, FDL 05, 579-588, Lausanne, Sept 2005

• Développement formel " l´aide de SDL et IF pour des systèmes multitâches
• "SDL and IF for Real time Systems development: specification, design and validation" (ici)
A.Alkhodre, A. Khatab, J.-P.Babau, J-J. Schwarz, IFAC Real-Time Programming 2004, 37-42, Istanbul, Sept 2004

• "Temporal Verification of Multitasking Real-Time Application Properties based on Communicating Timed Automata" (ici)
M. Belarbi, J.-P. Babau and J.-J. Schwarz, 8th IEEE symposium on Distributed Simulation and Real-Time Applications, DS-RT´04, 188-195, Budapest, Oct 2004

• Développement objet et temps réel
• "Expressing Real Time Constraints in a Reflective Object Model" (ici)
J.P. Babau, J.L Sourrouille, Control Engineering Practice, Vol 6, pp 421-430, 1998

• Conception multitâches " des fins d´analyse d´ordonnançabilité (travaux de thèse)
• "Méthodologie d´analyse temporelle des applications temps réel à contraintes strictes" (ici)
J.P. Babau, F. Cottet, Journal Européen des Systèmes Automatisés (APII), Vol 32 (5-6), 581-608, sept 1998

• Ecoles d´été
• "Architectures logicielles pour les systèmes embarqués temps réel" (ici)
J.-P. Babau, J.DeAntoni, Ecole d´été temps réel ETR´07, 75-94, Nantes, Sept 2007

• "Model Driven Schedulability Analysis" (ici)
S. Gérard, J.P. Babau, Model Driven Engineering for Distributed Real-Time Embedded Systems, Chap 9, 179-204, Hermès, 2005

• "Le langage SDL pour les systèmes temps réel" (ici) J.P. Babau, Ecole d´Eté Temps Réel ETR 03, 35-49, Toulouse, Sept 2003

retour