 |
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
Frank Singhoff 1
Mail :
Author IdHAL : frank-singhoff
Stéphane Rubini 1
Mail :
Author IdHAL : stephane-rubini ORCID : https://orcid.org/0000-0002-3206-0310
Hai Nam Tran 1
Mail :
Author IdHAL : hai-nam-tran ORCID : https://orcid.org/0000-0001-8358-0327
Jalil Boukhobza 1
Mail :
Author IdHAL : jalil-boukhobza ORCID : https://orcid.org/0000-0002-2194-4006
Laurent Lemarchand 1
Mail :
Author IdHAL : laurent-lemarchand
Pierre Dissaux 2
Author Employer institution : Ellidiss Technologies
Valérie-Anne Nicolas
Mail :
Author
Alain Plantec 1
Mail :
Author
Jérôme Legrand 3
Author
Mourad Dridi 1
Author Employer institution : Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance
Jean-Philippe Diguet 1
Mail : Site :
Author IdHAL : jean-philippe-diguet
1
Lab-STICC_UBO_CACS_MOCS (Université de Bretagne Occidentale, 20 avenue Le Gorgeu, CS 93837, 29238 Brest Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
2
Ellidiss Technologies [Brest] (24 quai de la douane, 29200 Brest - France)
- Ellidiss Technologies (France)
3
LISYC - Laboratoire d'Informatique des Systèmes Complexes (Université de Bretagne Occidentale 20 av. Victor Le Gorgeu CS 93837 29238 Brest Cedex - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBO - Université de Brest : EA3883 (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
Document type :
Conference papers
Domain :
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 : Thursday, March 5, 2020 - 4:31:36 PM
Contributor : Frank Singhoff <>
Submitted on : Thursday, June 28, 2018 - 10:11:02 AM
Last modification on : Thursday, March 5, 2020 - 4:31:36 PM
Identifiers
- HAL Id : hal-01825157, version 1
Collections
UNIV-BREST | CNRS | 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⟩
Metrics
Record views
