Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications
Thanh Dat Nguyen
(1, 2)
,
Yassine Ouhammou
(1, 2)
,
Emmanuel Grolleau
(3)
,
Julien Forget
(4)
,
Claire Pagetti
(5)
,
Pascal Richard
(3)
1
LIAS [Poitiers] -
Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]
2 SETR - Systèmes Embarqués Temps Réel
3 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
4 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
5 DTIS, ONERA, Université de Toulouse [Toulouse]
2 SETR - Systèmes Embarqués Temps Réel
3 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
4 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
5 DTIS, ONERA, Université de Toulouse [Toulouse]
Thanh Dat Nguyen
- Fonction : Auteur
- PersonId : 781952
- IdRef : 199319111
Yassine Ouhammou
- Fonction : Auteur
- PersonId : 1328752
- ORCID : 0000-0003-3776-4736
- IdRef : 175835705
Emmanuel Grolleau
- Fonction : Auteur
- PersonId : 746223
- IdHAL : emmanuel-grolleau
- ORCID : 0000-0001-7045-9819
- IdRef : 086811843
Julien Forget
- Fonction : Auteur
- PersonId : 10132
- IdHAL : julienforget
- ORCID : 0000-0002-1669-8971
- IdRef : 163689709
Claire Pagetti
- Fonction : Auteur
- PersonId : 6952
- IdHAL : claire-pagetti
- ORCID : 0000-0001-7265-1839
- IdRef : 08651542X
Pascal Richard
- Fonction : Auteur
- PersonId : 855233
- ORCID : 0000-0003-0061-1971
- IdRef : 07333930X