About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL
Frank Singhoff
(1)
,
Stéphane Rubini
(1)
,
Hai Nam Tran
(1)
,
Jalil Boukhobza
(1)
,
Laurent Lemarchand
(1)
,
Pierre Dissaux
(2)
,
Valérie-Anne Nicolas
,
Alain Plantec
(1)
,
Jérôme Legrand
(3)
,
Mourad Dridi
(1)
,
Jean-Philippe Diguet
(1)
Frank Singhoff
- Fonction : Auteur
- PersonId : 2860
- IdHAL : frank-singhoff
- IdRef : 057757380
Stéphane Rubini
- Fonction : Auteur
- PersonId : 13231
- IdHAL : stephane-rubini
- ORCID : 0000-0002-3206-0310
- IdRef : 223329940
Hai Nam Tran
- Fonction : Auteur
- PersonId : 19131
- IdHAL : hai-nam-tran
- ORCID : 0000-0001-8358-0327
- IdRef : 226115984
Jalil Boukhobza
- Fonction : Auteur
- PersonId : 1840
- IdHAL : jalil-boukhobza
- ORCID : 0000-0002-2194-4006
- IdRef : 09772582X
Laurent Lemarchand
- Fonction : Auteur
- PersonId : 1346
- IdHAL : laurent-lemarchand
- ORCID : 0000-0003-0894-4076
- IdRef : 185221211
Valérie-Anne Nicolas
- Fonction : Auteur
- PersonId : 753792
- IdHAL : valerie-anne-nicolas
Alain Plantec
- Fonction : Auteur
- PersonId : 871739
- IdHAL : alain-plantec
- ORCID : 0000-0002-6882-0676
Jean-Philippe Diguet
- Fonction : Auteur
- PersonId : 607
- IdHAL : jean-philippe-diguet
- ORCID : 0000-0003-0728-6040
- IdRef : 13096753X