Article (Périodiques scientifiques)
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
LEE, Jaekwon; SHIN, Seung Yeob; Nejati, Shiva et al.
2022In Empirical Software Engineering, 27
Peer reviewed vérifié par ORBi
 

Documents


Texte intégral
EMSE2022_priority_assignment.pdf
Postprint Auteur (2.75 MB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers



Détails



Mots-clés :
Priority Assignment; Schedulability Analysis; Real-Time Systems; Coevolutionary Search; Search-Based Software Engineering
Résumé :
[en] In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority values to tasks is critical to allow the tasks to complete their executions while maximizing safety margins from their specified deadlines. This enables real-time systems to tolerate unexpected overheads in task executions and still meet their deadlines. In practice, priority assignments result from an interactive process between the development and testing teams. In this article, we propose an automated method that aims to identify the best possible priority assignments in real-time systems, accounting for multiple objectives regarding safety margins and engineering constraints. Our approach is based on a multi-objective, competitive coevolutionary algorithm mimicking the interactive priority assignment process between the development and testing teams. We evaluate our approach by applying it to six industrial systems from different domains and several synthetic systems. The results indicate that our approach significantly outperforms both our baselines, i.e., random search and sequential search, and solutions defined by practitioners. Our approach scales to complex industrial systems as an offline analysis method that attempts to find near-optimal solutions within acceptable time, i.e., less than 16 hours.
Centre de recherche :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
ULHPC - University of Luxembourg: High Performance Computing
Disciplines :
Sciences informatiques
Auteur, co-auteur :
LEE, Jaekwon ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
SHIN, Seung Yeob  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Nejati, Shiva;  University of Ottawa, Canada > School of Electrical Engineering and Computer Science
BRIAND, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV ; University of Ottawa,Canada > School of Electrical Engineering and Computer Science
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
Date de publication/diffusion :
06 août 2022
Titre du périodique :
Empirical Software Engineering
ISSN :
1382-3256
eISSN :
1573-7616
Maison d'édition :
Kluwer Academic Publishers, Pays-Bas
Titre particulier du numéro :
Advances in Search-Based Software Engineering
Volume/Tome :
27
Peer reviewed :
Peer reviewed vérifié par ORBi
Projet européen :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Organisme subsidiant :
CER - Conseil Européen de la Recherche
CRSNG - Conseil de Recherches en Sciences naturelles et en Génie
CE - Commission Européenne
Disponible sur ORBilu :
depuis le 13 avril 2022

Statistiques


Nombre de vues
341 (dont 80 Unilu)
Nombre de téléchargements
115 (dont 6 Unilu)

citations Scopus®
 
3
citations Scopus®
sans auto-citations
2
OpenCitations
 
0
citations OpenAlex
 
5
citations WoS
 
2

Bibliographie


Publications similaires



Contacter ORBilu