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 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

Collections

UNIV-BREST | INSTITUT-TELECOM | ENIB | LAB-STICC | LAB-STICC_UBO | 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

Share

Metrics

Record views

954

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD