Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature
Institution:
PoitiersDisciplines:
Directors:
Abstract EN:
We present a concrete case study of an embedded system and its implications in the theory of real-time scheduling. The development process of the embedded system controlling an unmanned aerial vehicle (UAV) pointed out some limitations in the classic modelling of concrete real-time systems because some hardware devices lead to a specific activation scheme of the tasks (e. G. Serial communication between active sensors and the processor). We had to define a new task model in order to take this particular scheme, which occurs frequently in real applications (aircraft and automotive systems). This is the model of serial transactions that we generalize to monotonic transactions. We present the case study of the UAV, and the aspects of real-time scheduling theory related to the monotonic and serial transactions (comparison with the transactions and the multiframe model). We give an exact characterization of the worst case response time in a pseudo-polynomial time for our model
Abstract FR:
L’étude que nous présentons traite de l’ordonnancement d’un modèle de tâches tems réel spécifique rencontré dans le développement d’une application concrète. Le développement de du contrôle embarqué d’un drone miniature a montré des limitations dans les modèles classiques d’ordonnancement pour la prise en compte de certains aspects matériels (notamment mode de communication sériel entre des capteurs actifs et le système de contrôle). La prise en compte de ces aspects nous a amenés à définir un modèle de tâches particuliers : la transaction série, que nous avons généralisé au modèle des transactions monotoniques. Nous présentons le système de contrôle du drone, et les aspects liés à l’ordonnancement des modèles de tâches proposés, qui correspondent à de nombreux cas réels (avionique, contrôle automobile). Nous comparons nos modèles à l’existant (transactions, modèles multiframes), et dégageons des tests d’ordonnançabilité de complexité pseudo-polynomiale.