{"id":3864,"date":"2023-09-14T14:07:53","date_gmt":"2023-09-14T12:07:53","guid":{"rendered":"https:\/\/www.uni.lu\/snt-en\/?post_type=news&#038;p=3864"},"modified":"2024-08-09T13:52:25","modified_gmt":"2024-08-09T11:52:25","slug":"enhancing-reliability-of-real-time-systems","status":"publish","type":"news","link":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/","title":{"rendered":"Enhancing Reliability of Real-time Systems"},"content":{"rendered":"\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><div class=\"wp-block-unilux-blocks-spacer is-spacer-size-sm\"><\/div>\n\n\n<p>Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, medical devices, and even networked multimedia electronics. These systems receive information from their environment, or from a user, and perform a task to be completed before a certain deadline. In the verification of real-time systems, it\u2019s vital that they can meet their deadlines to the precision necessary for their tasks. Since many of these systems keep us safe from harm, being able to rely on them to operate effectively can help avoid critical, even life or death, situations.\u00a0\u00a0<\/p>\n\n\n\n<p>To illustrate the idea, air traffic control systems are important real-time systems. They need information from their environment and must process this by their allocated deadlines in order for our airspace to operate smoothly. Crashes could ensue if information isn\u2019t processed in time. Throughout early-stage development of real-time systems, worst-case execution times (WCET) are analysed for tasks to ensure that the systems will operate safely even if the software takes its worst-case amount of time to complete. However, it\u2019s challenging to acquire precise WCET values, and so engineers often opt for WCET ranges to ensure safe operations of the systems.&nbsp;<\/p>\n\n\n\n<p>Researchers at the <a href=\"https:\/\/www.uni.lu\/snt-en\/\">University of Luxembourg\u2019s Interdisciplinary Centre for Security, Reliability and Trust (SnT)<\/a> have been working together with <a href=\"https:\/\/luxspace.lu\" target=\"_blank\" rel=\"noreferrer noopener\">LuxSpace<\/a>, the Betzdorf-based provider of space systems, applications and services, in the verification of their real-time systems to ensure they meet their deadlines. Their real-time systems span a series of satellites, which provide important services on Earth. For example, in 2020, LuxSpace launched their ESAIL fleet of 53 small satellites into orbit, which serves the maritime sector by tracking ship positioning on Earth. If these satellites were to not execute their tasks as planned, ships could lose their direction and assistance from their GPS. In such real-time systems, being able to operate within time constraints prevents communication failures and keeps important everyday services operating smoothly.&nbsp;&nbsp;<\/p>\n\n\n\n<p>Throughout the four-year project, the research team, comprising Dr. Jaekwon Lee, Dr. Seung Yeob Shin, and Prof. Lionel Briand from SnT\u2019s Software Verification and Validation (SVV) research group, studied the estimation of WCET in real-time systems, and proposed three possible approaches that would effectively estimate WCET ranges. Furthermore, the researchers extended their field of work to also include setting priorities for tasks to execute.&nbsp;<\/p>\n\n\n\n<p>Not all real-time systems in our industries are constrained by hard deadlines. In fact, some systems can tolerate occasional deadline misses, as long as their tasks are completed within reasonable times. The best example of this is a web browser. In an ideal world, a web browser will open a site swiftly after clicking on it. If it doesn\u2019t open straightaway, it may not have critical implications, but does harm the user experience. Assigning priorities to this type of applications can improve the user experience by knowing which application (i.e., task) to execute first. For example, if a system update on a web browser is scheduled to begin at 4pm, but at the same time you receive a Teams call, the Teams call will be executed first since it is of higher priority to the user.&nbsp;<\/p>\n<\/div><\/section>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":326,"featured_media":3866,"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},"news-category":[4],"news-topic":[10,24],"organisation":[184,198],"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>Enhancing Reliability of Real-time Systems - SnT news I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, and more.\" \/>\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-en\/news\/enhancing-reliability-of-real-time-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Enhancing Reliability of Real-time Systems\" \/>\n<meta property=\"og:description\" content=\"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, medical devices, and even\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2024-08-09T11:52:25+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1024\" \/>\n\t<meta property=\"og:image:height\" content=\"768\" \/>\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=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\"},\"author\":{\"name\":\"Geeta\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/7f5186b4d6fc7de90b6fe3fc98f170ce\"},\"headline\":\"Enhancing Reliability of Real-time Systems\",\"datePublished\":\"2023-09-14T12:07:53+00:00\",\"dateModified\":\"2024-08-09T11:52:25+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\"},\"wordCount\":533,\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg\",\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\",\"name\":\"Enhancing Reliability of Real-time Systems - SnT news I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg\",\"datePublished\":\"2023-09-14T12:07:53+00:00\",\"dateModified\":\"2024-08-09T11:52:25+00:00\",\"description\":\"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, and more.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg\",\"width\":1024,\"height\":768,\"caption\":\"Image of series of satellites providing services on Earth\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"News\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/news\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Enhancing Reliability of Real-time Systems\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\",\"name\":\"SnT - University of Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - University of Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/7f5186b4d6fc7de90b6fe3fc98f170ce\",\"name\":\"Geeta\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/1e2ee5c3efd624acfb14f7cd04d93d50?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/1e2ee5c3efd624acfb14f7cd04d93d50?s=96&d=mm&r=g\",\"caption\":\"Geeta\"}}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Enhancing Reliability of Real-time Systems - SnT news I University of Luxembourg","description":"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, and more.","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-en\/news\/enhancing-reliability-of-real-time-systems\/","og_locale":"en_GB","og_type":"article","og_title":"Enhancing Reliability of Real-time Systems","og_description":"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, medical devices, and even","og_url":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/","og_site_name":"SnT EN","article_modified_time":"2024-08-09T11:52:25+00:00","og_image":[{"width":1024,"height":768,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#article","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/"},"author":{"name":"Geeta","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/7f5186b4d6fc7de90b6fe3fc98f170ce"},"headline":"Enhancing Reliability of Real-time Systems","datePublished":"2023-09-14T12:07:53+00:00","dateModified":"2024-08-09T11:52:25+00:00","mainEntityOfPage":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/"},"wordCount":533,"publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg","inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/","url":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/","name":"Enhancing Reliability of Real-time Systems - SnT news I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg","datePublished":"2023-09-14T12:07:53+00:00","dateModified":"2024-08-09T11:52:25+00:00","description":"Real-time systems control many crucial aspects of our modern-day society \u2013 from flight control, defence, space systems, and more.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/09\/Enhancing-Reliability-of-Real-time-Systems.jpg","width":1024,"height":768,"caption":"Image of series of satellites providing services on Earth"},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/news\/enhancing-reliability-of-real-time-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-en\/"},{"@type":"ListItem","position":3,"name":"News","item":"https:\/\/www.uni.lu\/snt-en\/news\/"},{"@type":"ListItem","position":4,"name":"Enhancing Reliability of Real-time Systems"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-en\/#website","url":"https:\/\/www.uni.lu\/snt-en\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-en\/#organization","name":"SnT - University of Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - University of Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]},{"@type":"Person","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/7f5186b4d6fc7de90b6fe3fc98f170ce","name":"Geeta","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/1e2ee5c3efd624acfb14f7cd04d93d50?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/1e2ee5c3efd624acfb14f7cd04d93d50?s=96&d=mm&r=g","caption":"Geeta"}}]}},"blog_id":5,"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news\/3864"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/types\/news"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/326"}],"version-history":[{"count":4,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news\/3864\/revisions"}],"predecessor-version":[{"id":11743,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news\/3864\/revisions\/11743"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media\/3866"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=3864"}],"wp:term":[{"taxonomy":"news-category","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news-category?post=3864"},{"taxonomy":"news-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/news-topic?post=3864"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=3864"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}