Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Modélisation et vérification formelles d’un RTOS multicoeur conforme à AUTOSAR

Autor: Haur, Imane

Publikováno v: Automatic. École centrale de Nantes, 2022. English. ⟨NNT : 2022ECDN0057⟩

Formal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::72669f42cd2b43ac51436282b1205f7d
https://theses.hal.science/tel-04025811/document

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs

Autor: Asavoae, Mihail, Haur, Imane, Jan, Mathieu, Ben Hedia, Belgacem, Schoeberl, Martin

Publikováno v: Asavoae, M, Haur, I, Jan, M, Ben Hedia, B & Schoeberl, M 2020, Towards Formal Co-validation of Hardware and Software Timing Models of CPSs . in R Chamberlain, M Edin Grimheden & W Taha (eds), Cyber Physical Systems. Model-Based Design . Springer, Cham, Lecture Notes in Computer Science, vol. 11971, pp. 203-227, 9th International Workshop on Model-Based Design of Cyber Physical Systems and 15th International Workshop on Embedded and Cyber-Physical Systems Education, New York City, New York, United States, 17/10/2019 . https://doi.org/10.1007/978-3-030-41131-2_10

Timing analysis of safety-critical systems derives timing bounds of applications, or software (SW), executed on dedicated platforms, or hardware (HW). The ensemble HW–SW features, from a timing perspective, two different types of computation – a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1202::281308d266cf85fa1ec00a60abbbdfad
https://orbit.dtu.dk/en/publications/88312aae-16a3-456a-82b9-6b458af9476a