Skip to Main content Skip to Navigation
New interface
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
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
2 Ellidiss Technologies [Brest]
3 LISYC - Laboratoire d'Informatique des Systèmes Complexes
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 : Friday, August 5, 2022 - 2:54:52 PM

Identifiers

  • HAL Id : hal-01825157, version 1

Collections

UNIV-BREST | INSTITUT-TELECOM | CNRS | LAB-STICC_UBO | ENIB | LAB-STICC | IBNM

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

141