RealTime-at-Work

M. Boyer, N. Navet, X. Olive, E. Thierry, “The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus, 4th International Symposium on Leveraging Applications of Formal Methods – Verification and Validation (ISOLA 2010), Amirandes, Heraclion, Crete, 18-20 October 2010.

N. Navet, A. Monot, J. Migge, “Frame latency evaluation: when simulation and analysis alone are not enough”, 8th IEEE International Workshop on Factory Communication Systems (WFCS2010), Industry Day, May 19, 2010. Outline: beware of analytic models that are often much simplified and sometimes even lead to optimistic (=unsafe) results – even if it is rare, experiments on CAN show that unusually large response times can occur for a long time.

N. Navet, B. Delord, M. Baumeister, “Virtualization in Automotive Embedded Systems : an Outlook”, talk at RTS Embedded Systems 2010, Paris, France, March, 2010. Pdf of the slides (color) – pdf of the slides (black and white).

N. Navet, A. Monot, B. Bavoux, F. Simonot-Lion, “Multi-source and multicore automotive ECUs – OS protection mechanisms and scheduling“, invited paper at IEEE International Symposium on Industrial Electronics (ISIE 2010), Bari, Italy, July 4-7, 2010.

A. Monot, N. Navet, B. Bavoux, F. Simonot-Lion, “Multicore scheduling in automotive ECUs“, Embedded Real-Time Software and Systems (ERTS 2010), Toulouse, France, May 19-21, 2010. This paper is in the very same line as the one at IEEE ISIE except that it focuses on scheduling (it does not address protection mechanisms), and presents more experiments but no proofs. Pdf of the slides (color) – pdf of the slides (black and white).

N. Navet, “In-Vehicle Networking : a Survey and Look Forward”, Workshop on Specialized Networks, in conjunction with IEEE ETFA 2009, Mallorca, Spain, September 26, 2009. Pdf of the slides (color) – pdf of the slides (black and white).

D. Khan, N. Navet, B. Bavoux, J. Migge, “Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level“, IEEE ETFA2009, Mallorca, Spain, September 22-26, 2009. Pdf of the slides (color) – pdf of the slides (black and white).

N. Navet, H. Perrault, “Mécanismes de protection dans AUTOSAR OS”, RTS Embedded Systems 2009 (RTS’09), Paris, April 2009. Pdf of the slides (color) – pdf of the slides (black and white).

N. Navet, F. Simonot-Lion, editors, The Automotive Embedded Systems Handbook, Industrial Information Technology series, CRC Press / Taylor and Francis, ISBN 978-0849380266, December 2008.

N. Navet, F. Simonot-Lion, “A Review of Embedded Automotive Protocols“, chapter 4 in the Automotive Embedded Systems Handbook, 2008.

N. Navet, “Automating the Configuration of the FlexRay Communication Cycle”, FlexRay Product Days, Fellbach, Germany, November 2008. Pdf of the slides (color) – pdf of the slides (black and white).

M. Grenier, L. Havet, N. Navet, “Pushing the limits of CAN – Scheduling frames with offsets provides a major performance boost“, Proc. of the 4th European Congress Embedded Real Time Software (ERTS 2008), Toulouse, France, January 29 – February 1, 2008. Pdf of the slides – pps of the slides. Note: the paper that can be downloaded here is a slightly revised version of the ERTS conference paper.

N. Navet, M. Grenier, L. Havet, “Configuring the communication on FlexRay: the case of the static segment“, Proc. of the 4th European Congress Embedded Real Time Software (ERTS 2008), Toulouse, France, January 29 – February 1, 2008. Pdf of the slides – pps of the slides.

C. Braun, L. Havet, N. Navet, “NETCARBENCH: a benchmark for techniques and tools used in the design of automotive communication systems“, Proc of the 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems (FeT 2007), Toulouse, France, November 7-9, 2007. Executables, GPL source code and manual available here.

R. Saket, N. Navet, “Frame Packing Algorithms for Automotive Applications“, Journal of Embedded Computing, vol. 2, n° 1, pp93-102, 2006.

B. Gaujal, N. Navet, “Maximizing the Robustness of TDMA Networks with Applications to TTP/C“, Real-Time Systems, Kluwer Academic Publishers, vol 31, n°1-3, pp5-31, December 2005. Here are some slides of talks given on this topic (slides in french pdf format – slides in english pdf format).

Most of the results about replica management presented in this paper hold as well in the context of FlexRay (static segment) – please contact us if interested in further information.

B. Gaujal, N. Navet, “Fault Confinement mechanisms on CAN : Analysis and Improvements“, IEEE Transactions on Vehicular Technology, vol 54, n°3, pp1103-1113, May 2005.

N. Navet, Y.-Q. Song, F. Simonot-Lion, C. Wilwert, “Trends in Automotive Communication Systems“, Proceedings of the IEEE, special issue on Industrial Communications Systems, invited paper, vol 96, n°6, pp1204-1223, June 2005.

C. Wilwert, N. Navet, Y.-Q. Song, F. Simonot-Lion, “Design of Automotive X-by-Wire Systems“, in The Industrial Communication Technology Handbook, CRC Press, ISBN 0-8493-3077-7, January 2005.

R. Santos Marques, N. Navet, F. Simonot-Lion, “Configuration of In-Vehicle Embedded Systems under Real-Time Constraints“, Proc. 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania, Italy, 19-22 September 2005.

N. Navet, Y-Q. Song, F. Simonot, “Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network)“, Journal of Systems Architecture, Elsevier Science, vol. 46, n°7, 2000.

Real-Time Systems / Formal Methods.

D. Déharbe, L. Fejoz, P. Fontaine and S. Merz, “Verified Incremental Development of Lock-Free Algorithms“, 1st Luxembourg Day on Security and Reliability, February 2009.

S. Merz, N. Navet, editors, Modeling and Verification of Real-Time Systems – Formalisms and Software Tools, ISTE publishing / John Wyley and Sons, 448 pages, ISBN 9781847040244, January 2008. The preface can be downloaded here as well as the TOC and a sample chapter.

M. Grenier, N. Navet, “Fine Tuning MAC Level Protocols for Optimized Real-Time QoS“, IEEE Transactions on Industrial Informatics, special issue on Industrial Communication Systems, vol 4, n°1, 2008.

L. Fejoz, S. Merz, “Towards automatic proofs of lock-free algorithms“, Proc. Exploiting Concurrency Efficiently and Correctly — EC2, Computer Aided Verification (CAV) Workshop, 2008.

N. Navet, L. Cucu, R. Schott, “Probabilistic estimation of response times through large deviations“, Proc. WiP of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), Tucson, Arizona, USA, December 3-6, 2007.

N. Navet, editor, book in French in 2 volumes on Real-Time Systems. Systèmes temps réel 1 : Techniques de description et de vérification (editorial, table of contents), ISBN 2-7462-1303-6, 352 pages – Systèmes temps réel 2 : Ordonnancement, réseaux et qualité de service (editorial, table of contents), ISBN2-7462-1304-4, 336 pages, IC2 series, Hermès Science Publishing, June 2006.

B. Gaujal, N. Navet, J. Migge, “Dual-Priority versus Background Scheduling : a Path-wise Comparison“, Real-Time Systems, Springer Verlag, vol. 25, n°1, pp39-66, 2003.

N. Navet, J. Migge, “Fine Tuning the Scheduling of Tasks through a Genetic Algorithm: Application to Posix1003.1b Compliant OS“, IEE Proceedings Software, IEE, vol. 150, n°1, pp13-24, 2003.

J. Migge, A Jean-Marie, N. Navet, “Timing Analysis of Compound Scheduling Policies : Application to Posix1003.1b“, Journal of Scheduling, Springer Verlag, vol. 6, n°5, pp457-482, 2003.

Low-Power Scheduling.

V. Nélis, J. Goossens, N. Navet, R. Devillers, D. Milojevic, “Power-Aware Real-Time Scheduling on Identical Multiprocessor Platforms“, Proc. of IEEE International Conference on Sensors Networks, Ubiquitous and Thrustworthy Computing, Taichung, Taiwan, June 11-13, 2008.

B. Gaujal, N. Navet, “Dynamic Voltage Scaling under EDF Revisited“, Real-Time Systems, Springer Verlag, vol. 37, n°1, pp77-97, 2007.

N. Navet, B. Gaujal, “Ordonnancement temps réel et minimisation de la consommation d’énergie“, chapter 4, Traité I2C Systèmes Temps Réel volume 2, Hermès Science, ISBN2-7462-1304-4, June 2006.

V. Rao, N. Navet, G. Singhal, A. Kumar, G.S. Visweswaran, “Battery Aware Dynamic Scheduling for Periodic Task Graphs“, Proc. of the 14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2006), Island of Rhodes, Greece, April 25-26, 2006. Here are the slides of the talk.

B. Gaujal, N. Navet, C. Walsh, “Shortest Path Algorithms for Real-Time Scheduling of FIFO tasks with Optimal Energy Use“, ACM Transactions on Embedded Computing Systems, vol 4, n°4, pp907 – 933, November 2005.

G. Singhal, V. Rao, A. Kumar, N. Navet, “Battery Model for Embedded Systems“, Proc. of the 18th International Conference on VLSI Design (VLSI’2005), Calcuta (India), 3-7 January 2005. Here are the slides of the talk.