HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, IBNM - Institut Brestois du Numérique et des Mathématiques
Document type :
Conference papers
Complete list of metadata

https://hal.univ-brest.fr/hal-01825157
Contributor : Frank Singhoff Connect in order to contact the contributor
Submitted on : Thursday, June 28, 2018 - 10:11:02 AM
Last modification on : Wednesday, April 6, 2022 - 9:02:01 AM

Identifiers

  • HAL Id : hal-01825157, version 1

Citation

Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, et al.. About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL. Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia. ⟨hal-01825157⟩

Share

Metrics

Record views

139