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

https://hal.univ-brest.fr/hal-01825157
Contributor : Frank Singhoff <>
Submitted on : Thursday, June 28, 2018 - 10:11:02 AM
Last modification on : Monday, January 21, 2019 - 2:36:27 PM

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

857