Singhoff Frank

E-mail : singhoff@univ-brest.fr
http://beru.univ-brest.fr/~singhoff

• A set of lectures and exercises on real-time systems programming, written for the USTH . This course that may take between 25 and 30 hours and is composed of :
  1. Lectures on real-time scheduling analysis.
  2. Lectures on programming RTEMS with C/POSIX.
  3. Lectures on programming RTEMS with Ada.
  
  
  
• Text book (with exercises and solutions) about real-time systems and Ada : Building Parallel, Embedded, and Real-Time Applications with Ada. J. W. McCormick, F. Singhoff, J. Hugues. Cambridge University Press, UK, 365 pages, Jully 2010. ISBN-13: 9780521197168. Solutions of the exercises and the Ada programs of this book are freely available from the Cambridge University Press website.

• Introductory courses in real time systems (scheduling theory, synchronous languages, Ada, real time operating systems).
• Graduate courses in object distributed systems (CORBA, RMI technologies).
• Teaching materials in french : some labs and some slides .

• Keywords: real-time embedded systems, modelling and verification, architecture languages, performance analysis ; queueing systems, real-time scheduling theory.
  
  
• I’m member of the Lab-STICC laboratory.
  
  
• My researches focus on resource dimensioning in embedded real-time systems, and especially on real-time scheduling theory and architecture languages.
  
  
• I’m also member of the AS-2C committe of the SAE (Society of Automotive Engineers). This committee is in charge of the AADL language (Architecture Analysis and Design Language).
  
  
• In 2002, I started the development of Cheddar, a tool based on real time scheduling and queueing system theory.
  
  Real-time scheduling theory provides algebraic methods and algorithms in order to make timing constraints verifications of real-time systems. Nevertheless, many industrial projects do not perform analysis with real-time scheduling theory even if demand for use of this theory is large and the industrial application field is wide (avionics, aerospace, automotive, autonomous systems, ...). The Cheddar project investigates why real-time scheduling theory is not used and how its usability can be increased.
  
  Cheddar is open-source, but Ellidiss Technologies is also providing industrial support on this toolset. This software is developed by a team composed of the Lab-STICC laboratory of the University of Brest and Ellidiss Technologies. The current members of this team are Pierre Dissaux (Ellidiss Technologies), Jérôme Legrand (Ellidiss Technologies), Alain Plantec (UBO/Lab-STICC), Stéphane Rubini (UBO/Lab-STICC) and Frank Singhoff (UBO/Lab-STICC). The project is sponsored/funded by Ellidiss Technologies and Conseil régional de Bretagne.
  
  Researches on Cheddar are conducted in collaboration with the following groups:
  • S3/Télécom-Paris-Tech , MARS/ISAE and MOVE/LIP6 teams contribute for several years on Cheddar in the context of AADL.
  • University of Lisbon/LASiGE laboratory in the context of ARINC 653 systems.
  
  Thanks to the development of Cheddar, we received in November 2010 an ACM SIGada award: the "Outstanding Ada Community Contribution Award".

• Publications.
  
  
• Former Phd Students : Loic Plassart (supervision with P. Le Parc), Jérôme Legrand (supervision with L. Marcé and L. Nana).

• 2nd Embed With Linux (EWiLi) Workshop.
• Ecole d’été temps réel 2011.
• 14th International Conference on Reliable Software Technologies - Ada-Europe 2009.
• Journée Ada-France 2007.