{"id":1115,"date":"2022-08-19T11:04:10","date_gmt":"2022-08-19T09:04:10","guid":{"rendered":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/"},"modified":"2022-08-19T11:04:10","modified_gmt":"2022-08-19T09:04:10","slug":"phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/","title":{"rendered":"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p>We&rsquo;re happy to welcome you to the PhD defence of Jaekwon Lee (SVV group) on 7 September 2022 at 15:00.<\/p><p>The PhD defence will take place in JFK 004\/005 room on the Kirchberg campus.<\/p><p>\u00a0<\/p><p><strong>Members of the defence committee<\/strong>:<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Prof. Dr.\u00a0Fabrizio PASTORE, University of\u00a0Luxembourg, Chair<\/li><li class=\"ulux-list-item\">Dr. Seung Yeob SHIN, University of\u00a0Luxembourg, Vice-Chair<\/li><li class=\"ulux-list-item\">Prof. Dr Lionel BRIAND, University of\u00a0Luxembourg, Member<\/li><li class=\"ulux-list-item\">Dr Mehrdad\u00a0SAADATMAND, Research Institutes of Sweden, Member<\/li><li class=\"ulux-list-item\">Prof. Dr Manuel ORIOL, Schaffhausen Institute of Technology Member<\/li><\/ul><p><strong>Abstract<\/strong>:\u00a0<\/p><p>Real-time systems have become indispensable for human life as they are used in numerous industries, such as vehicles, medical devices, and satellite systems. These systems are very sensitive to violations of their time constraints (deadlines), which can have catastrophic consequences. To verify whether the systems meet their time constraints, engineers perform schedulability analysis from early stages and throughout development. However, there are challenges in obtaining precise results from schedulability analysis due to estimating the worst-case execution times (WCETs) and assigning optimal priorities to tasks.<\/p><p>\u00a0<\/p><p>Estimating WCET is an important activity at early design stages of real-time systems. Based on such WCET estimates, engineers make design and implementation decisions to ensure that task executions always complete before their specified deadlines. However, in practice, engineers often cannot provide precise point of WCET estimates and they prefer to provide plausible WCET ranges.<\/p><p>\u00a0<\/p><p>Task priority assignment is an important decision, as it determines the order of task executions and it has a substantial impact on schedulability results. It thus requires finding optimal priority assignments so that tasks not only complete their execution but also maximize the safety margins from their deadlines. Optimal priority values increase the tolerance of real-time systems to unexpected overheads in task executions so that they can still meet their deadlines. However, it is a hard problem to find optimal priority assignments because their evaluation relies on uncertain WCET values and complex engineering constraints must be accounted for.<\/p><p>\u00a0<\/p><p>This dissertation proposes three approaches to estimate WCET and assign optimal priorities at design stages. Combining a genetic algorithm and logistic regression, we first suggest an automatic approach to infer safe WCET ranges with a probabilistic guarantee based on the worst-case scheduling scenarios. We then introduce an extended approach to account for weakly hard real-time systems with an industrial schedule simulator. We evaluate our approaches by applying them to industrial systems from different domains and several synthetic systems. The results suggest that they are possible to estimate probabilistic safe WCET ranges efficiently and accurately so the deadline constraints are likely to be satisfied with a high degree of confidence. Moreover, we propose an automated technique that aims to identify the best possible priority assignments in real-time systems. The approach deals with multiple objectives regarding safety margins and engineering constraints using a coevolutionary algorithm. Evaluation with synthetic and industrial systems shows that the approach significantly outperforms both a baseline approach and solutions defined by practitioners. All the solutions in this dissertation scale to complex industrial systems for offline analysis within an acceptable time, i.e., at most 27 hours.<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"<p>We&rsquo;re happy to welcome you to the PhD defence of Jaekwon Lee (SVV group) on 7 September 2022 at 15:00.The PhD defence will take place in JFK 004\/005 room on the Kirchberg campus.\u00a0Members of the defence committee:Prof. Dr.\u00a0Fabrizio PASTORE, University of\u00a0Luxembourg, ChairDr. Seung Yeob SHIN, University of\u00a0Luxembourg, Vice-ChairProf. Dr Lionel BRIAND, University of\u00a0Luxembourg, MemberDr Mehrdad\u00a0SAADATMAND, Research Institutes of Sweden, MemberProf. Dr Manuel ORIOL, Schaffhausen Institute of Technology Member<\/p>\n","protected":false},"author":0,"featured_media":1116,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2022-09-07 15:00:00","event_end_date":"2022-09-07 17:00:00","event_speaker_name":"Jaekwon Lee (SVV group)","event_speaker_link":"","event_is_online":false,"event_location":"","event_street":"JFK 004\/005 room (Kirchberg campus)","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning - SnT - Universit\u00e9 du Luxembourg I Uni.lu<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning\" \/>\n<meta property=\"og:description\" content=\"We&#039;re happy to welcome you to the PhD defence of Jaekwon Lee (SVV group) on 7 September 2022 at 15:00.The PhD defence will take place in JFK 004\/005 room on the Kirchberg campus.\u00a0Members of the defence committee:Prof. Dr.\u00a0Fabrizio PASTORE, University of\u00a0Luxembourg, ChairDr. Seung Yeob SHIN, University of\u00a0Luxembourg, Vice-ChairProf. Dr Lionel BRIAND, University of\u00a0Luxembourg, MemberDr Mehrdad\u00a0SAADATMAND, Research Institutes of Sweden, MemberProf. Dr Manuel ORIOL, Schaffhausen Institute of Technology Member\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/\",\"name\":\"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning - SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg\",\"datePublished\":\"2022-08-19T09:04:10+00:00\",\"dateModified\":\"2022-08-19T09:04:10+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning - SnT - Universit\u00e9 du Luxembourg I Uni.lu","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/","og_locale":"fr_FR","og_type":"article","og_title":"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning","og_description":"We're happy to welcome you to the PhD defence of Jaekwon Lee (SVV group) on 7 September 2022 at 15:00.The PhD defence will take place in JFK 004\/005 room on the Kirchberg campus.\u00a0Members of the defence committee:Prof. Dr.\u00a0Fabrizio PASTORE, University of\u00a0Luxembourg, ChairDr. Seung Yeob SHIN, University of\u00a0Luxembourg, Vice-ChairProf. Dr Lionel BRIAND, University of\u00a0Luxembourg, MemberDr Mehrdad\u00a0SAADATMAND, Research Institutes of Sweden, MemberProf. Dr Manuel ORIOL, Schaffhausen Institute of Technology Member","og_url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/","og_site_name":"SnT FR","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/","url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/","name":"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning - SnT - Universit\u00e9 du Luxembourg I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg","datePublished":"2022-08-19T09:04:10+00:00","dateModified":"2022-08-19T09:04:10+00:00","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2022\/08\/phd_defence_wcet_and_priority_assignment_analysis_of_real_time_systems_using_search_and_machine_learning.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-wcet-and-priority-assignment-analysis-of-real-time-systems-using-search-and-machine-learning\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/snt-fr\/events\/"},{"@type":"ListItem","position":4,"name":"PhD Defence: WCET and Priority Assignment Analysis of Real-Time Systems using Search and Machine Learning"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/1115"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/comments?post=1115"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/1115\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/1116"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=1115"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-topic?post=1115"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-type?post=1115"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=1115"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}