Singhoff Frank
Full professor (Professeur des Universités)
Office C-203
20, avenue le Gorgeu
CS 93837
29238 BREST Cedex 3, France
Teaching in English
Teaching in french
- Introductory courses in real-time and/or embedded systems
(AADL and system design, scheduling analysis, synchronous languages, Ada,
real-time operating systems). Master level.
- Object programming with Java and
distributed systems (CORBA, RMI technologies, Rabbit MQ), Master level.
- Introductory courses on OpenGL for 1st year of Bachelor.
- Teaching materials in french : labs and
lecture materials
.
Research
- I am a member of the Lab-STICC laboratory, SHAKER/SHARP team.
In the Lab-STICC, I was in charge of the SHARP department.
- My interests are
embedded critical systems design and verification, and especially the relationships between real-time
scheduling analysis and software architecture of critical systems.
- Publications.
- Phd students
who worked with me:
Sébastien Levieux (not defended),
Alan Le Boudec (not defended),
Blandine Djika (not defended),
Illham Atchadam,
Thomas Alves,
Mourad Dridi,
Arezki Laga,
Rahma Bouaziz,
Hai Nam Tran,
Hamza Ouarnoughi,
Shuai Li,
Vincent Gaudel,
Loic Plassart,
and
Jérôme Legrand.
Thanks to all :-)
- Recent projects I was or I am involved:
- COINS (2025/2027):
a joined project with University of Nantes and the Barcelona Super Computing Center about soft/hard co-designing to
embed ML/HPC payloads in space. The objective is to investigate fault tolerance
mechanisms and fault injection (bitflip) for ML/HPC space applications that stay
timing predictable (e.g. schedulable).
We use POMELOS and Cheddar in this project (see above for POMELOS and Cheddar description).
- VERGER (2023/2026), with LIRA/Observatoire de Paris and CNES. The
project is a follow-up of AADL modeling and scheduling analysis of the PLATO DPU (an ESA satellite) during its Preliminary Design Review (with AADLInspector/Cheddar).
In VERGER, we design timing predictable communication
services for AMP multiprocessor applications. Timing predictable means schedulable
(alsways with Cheddar).
- ROV-operate (2020/2025):
a joined project with University of Split about the design of
an underwater autonomous drone.
The project addressed two objectives: design methods for underwater image processing and design/simulation of the software to be embedded on the drone.
- POMELOS (since 2024): a
platform we have installed at the Lab-STICC to develop space applications. The platform is composed of
GR-740 boards, spacewire network devices, combined with FPGA boards (GR740-MINI
and UltraScale boards). The platform can be used to prototype hardware devices and
software for space.
- In 2002, I started the development of Cheddar, a schedulability tool. While it was originaly for teachning, Cheddar has also been used in research activities and sometimes on real case-study (e.g. for space systems).
Tha main contributors of this project are:
- Ellidiss Technologies
which provides industrial support for this toolset.
- Cheddar is developed by a team composed of the Lab-STICC and Ellidiss Technologies:
Pierre Dissaux (Ellidiss Technologies),
Jérôme Legrand (Ellidiss Technologies),
Alain Plantec (UBO/Lab-STICC),
Stéphane Rubini (UBO/Lab-STICC),
Laurent Lemarchand (UBO/Lab-STICC),
Hai Nam Tran (UBO/Lab-STICC),
Valérie Nicolas (UBO/Lab-STICC), Jalil Boukhobza (ENSTA/Lab-STICC), and Frank Singhoff
(UBO/Lab-STICC).
- Several Phd Students are/was involded in this project:
Alan Le Boudec, Blandine Djika, Illham Atchadam,
Mourad Dridi,
Rahma Bouaziz,
Hai Nam Tran,
Shuai Li,
Vincent Gaudel,
Jérôme Legrand. Thanks to them!
- We were lucky to get funds from several institutions. Thanks to all!
The Cheddar project was funded by Ellidiss Technologies, H2020 MOSAR, Conseil
régional de Bretagne, Conseil général du Finistère, Brest Métropole,
EGIDE/Campus France, CNES, Labex CominLabs, Thales DMS and communications, BPI-France, ANR, Lab-STICC and UBO.
- Main partners who work/worked with us on Cheddar or projects around Cheddar: Ellidiss, ACES/Télécom-Paris-Tech, ISAE and latter CMU/SEI, LIRA/Observatoire de Paris and CNES, Thales DMS/COM, BSC, Univ. Nantes/LS2N, Univ. Split, Univ. of Lisbon/LASiGE laboratory.
- I am a member of the AS-2C committe
of the SAE (Society of Automotive Engineers) since 2008. This committee is in charge
of the AADL language (Architecture Analysis and Design Language).
Today, the standard is mature and I am less involved.
- Main past projects:
- H2020 MOSAR project (2019/2021): acting as subcontractror for Ellidiss, about the design of modular satellites. This project was an opportunity to review with
Ellidiss
the integration of Cheddar inside the ESA TASTE platform.
- SAPIENT and NORTH (2012/2018) EGIDE projects: with LASIGE/Univ. of Lisbon, about scheduling analysis for TSP systems and non-intrusive monitoring for real-time systems.
Short CV :
- ACM SIGAda Outstanding Ada Community Contributions in 2010.
- Full professor since 2009. Univ of Brest, Lab-STICC.
- Associate professor at UBO/LISyC, 2000 to 2009.
- Phd thesis in computer sciences from Télécom Paris (ENST Paris), 1999.
- Engineering degree in computer sciences from Conservatoire National des Arts et Métiers (CNAM) Paris, 1997.
- DEA Systèmes informatiques from Univ. Paris 6/UPMC, 1996.