The Generalized Graph Real-Time Task Model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

The Generalized Graph Real-Time Task Model

Le modèle de tâche en temps réel de graphe généralisé

David Doose
  • Fonction : Auteur
  • PersonId : 903087
Luca Santinelli
  • Fonction : Auteur
BMW

Résumé

Safety-critical real-time embedded systems are becoming difficult to model and analyze as they accommodate more and more functionalities, and they rely on more and more complex HW and SW implementations. One of the main difficulty with such systems is to find the right coupling between the task model and the analysis method. Indeed, if the task model is too simple it may add pessimism to the result of the analysis, and it may not be possible to prove the correctness of the systems. If the model is too complex, the analysis may be not efficient enough to be usable; or worst the model may have an incomplete method only or no method at all, so the system cannot be analyzed. Finding, the right couple task model analysis method is a balance between expressiveness and analysis efficiency. In this article, we introduce a new graph real-time task model (noted GGRTM) which has been used for several years for the deployment and the analysis of different embedded systems (UAV, USV, UGV). We discuss its expressiveness compared to the literature and demonstrate its advantages. We also, present a decidable and efficient, exact schedulability analysis.
Les systèmes embarqués en temps réel critiques pour la sécurité deviennent difficiles à modéliser et à analyser car ils acceptent de plus en plus de fonctionnalités et reposent sur des implémentations matérielles et logicielles de plus en plus complexes. L'une des principales difficultés de tels systèmes est de trouver le bon couplage entre le modèle de tâche et la méthode d'analyse. En effet, si le modèle de tâche est trop simple, cela peut ajouter du pessimisme au résultat de l'analyse, et il peut ne pas être possible de prouver l'exactitude des systèmes. Si le modèle est trop complexe, l'analyse peut ne pas être suffisamment efficace pour être utilisable ; ou pire, le modèle peut n'avoir qu'une méthode incomplète ou aucune méthode du tout, de sorte que le système ne peut pas être analysé. Trouver la bonne méthode d'analyse du modèle de tâche de couple est un équilibre entre l'expressivité et l'efficacité de l'analyse. Dans cet article, nous introduisons un nouveau modèle de tâche temps réel graphe (noté GGRTM) qui est utilisé depuis plusieurs années pour le déploiement et l'analyse de différents systèmes embarqués (UAV, USV, UGV). Nous discutons son expressivité par rapport à la littérature et démontrons ses avantages. Nous présentons également une analyse d'ordonnançabilité exacte, décidable et efficace.
Fichier principal
Vignette du fichier
DTIS22256.1681907687_postprint.pdf (176.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074589 , version 1 (19-04-2023)

Identifiants

Citer

David Doose, Luca Santinelli. The Generalized Graph Real-Time Task Model. 2022 IEEE 20th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2022, Wuhan, France. pp.120-127, ⟨10.1109/EUC57774.2022.00027⟩. ⟨hal-04074589⟩

Collections

ONERA
2 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More