[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-82789-en":3,"doc-seo-82789-105":29,"detail-sidebar-cat-0-en-105":90},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":11,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},82789,137441390410,"Hazel","https://ap-avatar.wpscdn.com/avatar/2000252f4ab5702993?_k=1776741390130283984",8,"Research & Report","Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directions","Autonomous driving (AD) systems transform multi-rate, asynchronous sensor streams into vehicle actuation through callback graphs and middleware. Temporal correctness depends on end-to-end cause-effect chains: parallel localization and perception, timestamped data fusion, convergence at planning, and propagation through control to actuation. Processing variability on multicore CPUs and GPU-accelerated platforms makes rare deadline misses unavoidable, so safety relies on fail-safes such as minimal-risk maneuvers. The work surveys real-time analytical models and AD system software, identifies gaps across constraint units, timing metrics, resource models, execution-time variability, and safety integration, and outlines research directions to align theory with practical enforceable infrastructure.","Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directions  \nAtsushi Yano∗† and Takuya Azumi‡†  \n∗ Graduate School of Science and Engineering, Saitama University, Japan †TIER IV Incorporated, Japan  \n‡Academic Association (Graduate School of Science and Engineering), Saitama University, Japan  \narXiv :2607 .04 129v 1 [ cs . SE] 5 Jul 2026  \nAbstract—Autonomous driving (AD) systems continuously transform multi-rate and asynchronous sensor streams into vehicle actuation through graphs of callbacks, nodes, and middleware components. In such systems, temporal correctness cannot be characterized by the execution time or deadline of an individual task alone: localization and perception chains run in parallel, fuse data with different timestamps, converge at planning, and propagate through control to actuation. Moreover, the demand for high processing capability places AD systems on highperformance processors with multicore parallelism and GPU acceleration, where execution times vary strongly with the input scene, hardware state, and co-running work. Rare deadline misses at runtime therefore cannot be ruled out, and safety is preserved through fail-safe mechanisms such as the minimal-risk maneuver (MRM). This raises a two-sided question: what analytical models are needed to reason about timing in AD systems, and what system software is needed to realize, observe, and enforce those models on real platforms? On the analytical side, real-time research has evolved from periodic/sporadic tasks, directed acyclic graphs (DAGs), pipelines, mixed-criticality systems, and timer-/event-driven models toward end-to-end latency along cause-effect chains, data freshness, timing disparity, probabilistic timing, highest-criticality fail-safe operation, and early deadline-miss detection. On the system-software side, AD stacks and middleware, such as Autoware and ROS 2, expose both the opportunities and limitations of implementing analyzable timing behavior through executors, communication layers, tracing tools, and evaluation frameworks. This paper surveys these two lines of work and identifies the remaining gaps along five dimensions: units of timing constraints, timing metrics, resource models, executiontime variability, and safety integration. Rather than proposing a single new model or runtime, we formulate open problems and research directions for converging theory and practice: analytical models must move closer to AD reality, while AD system software must be reshaped into analyzable, enforceable, and safety-aware infrastructure.  \nIndex Terms—real-time systems, autonomous driving, analytical timing model, system software, ROS 2, Autoware, cause-effect chains, end-to-end latency, data freshness, probabilistic timing, deadline-miss detection, open problems.  \nI. Introduction  \nAn autonomous driving (AD) system is a cyber-physical system that continuously transforms multiple sensor streams into vehicle actuation through a graph of callbacks rather than a single linear chain (Fig. 1) . This figure shows one representative Autoware configuration, a concrete instance rather than a fixed  \narchitecture. In it, each gray box is a Robot Operating System (ROS) 2 callback (or the node itself when the node holds a single callback), a dashed enclosure groups the callbacks of a multi-callback node, and solid edges carry publish/subscribe communication over a topic. Orange dotted edges instead carry data through a node-internal queue or the ROS 2 take API [1]; such an edge does not trigger the destination callback directly but affects its execution time and output. Each callback is triggered by a timer at a fixed period (marked with a timer icon), by a subscription to a single topic, or by the synchronization of several topics (a sync callback, using the ApproximateTime or ExactTime policy [2]) . Multi-rate sensors, such as multiple LiDARs, a global navigation satellite system (GNSS), and an ine","cbCaihLoi6tckPf8","https://ap.wps.com/l/cbCaihLoi6tckPf8","pdf",695653,2,1,"English","en",105,"# Introduction\n## Motivation: timing correctness across sensor-to-actuation graphs\n## Limits of classical real-time assumptions in AD software","[{\"question\":\"Why can’t timing correctness in autonomous driving be judged by a single task’s execution time or deadline?\",\"answer\":\"Because localization and perception run in parallel, fuse data with different timestamps, converge at planning, and then propagate through control to actuation. Timing correctness is a property of the entire sensor-to-actuation graph rather than one task.\"},{\"question\":\"What safety mechanism helps preserve correctness when deadline misses are rare but possible?\",\"answer\":\"Safety is preserved through fail-safe mechanisms such as the minimal-risk maneuver (MRM), which provides an emergency stop behavior based on dead reckoning.\"},{\"question\":\"Which gaps does the paper identify for bridging analytical models and AD system software?\",\"answer\":\"Remaining gaps are organized into five dimensions: units of timing constraints, timing metrics, resource models, execution-time variability, and safety integration. The paper frames open problems and research directions to make models closer to AD reality and system software analyzable and enforceable.\"}]",1784182945,20,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":85,"head_meta":87,"extra_data":89,"updated_unix":27},"toward-the-right-analytical-model-and-system-software-for-autonomous-driving-systems-open-problems-and-research-directions","",{"@graph":35,"@context":84},[36,52,67],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,46,49],{"item":40,"name":41,"@type":42,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":20},"https://docshare.wps.com/document/","Document",{"item":47,"name":12,"@type":42,"position":48},"https://docshare.wps.com/document/research-report/",3,{"item":50,"name":13,"@type":42,"position":51},"https://docshare.wps.com/document/toward-the-right-analytical-model-and-system-software-for-autonomous-driving-systems-open-problems-and-research-directions/82789/",4,{"url":50,"name":13,"@type":53,"author":54,"headline":13,"publisher":56,"fileFormat":59,"inLanguage":23,"description":14,"dateModified":60,"datePublished":61,"encodingFormat":59,"isAccessibleForFree":62,"interactionStatistic":63},"DigitalDocument",{"name":9,"@type":55},"Person",{"url":40,"name":57,"@type":58},"DocShare","Organization","application/pdf","2026-07-24","2026-07-16",true,{"@type":64,"interactionType":65,"userInteractionCount":20},"InteractionCounter",{"@type":66},"ViewAction",{"@type":68,"mainEntity":69},"FAQPage",[70,76,80],{"name":71,"@type":72,"acceptedAnswer":73},"Why can’t timing correctness in autonomous driving be judged by a single task’s execution time or deadline?","Question",{"text":74,"@type":75},"Because localization and perception run in parallel, fuse data with different timestamps, converge at planning, and then propagate through control to actuation. Timing correctness is a property of the entire sensor-to-actuation graph rather than one task.","Answer",{"name":77,"@type":72,"acceptedAnswer":78},"What safety mechanism helps preserve correctness when deadline misses are rare but possible?",{"text":79,"@type":75},"Safety is preserved through fail-safe mechanisms such as the minimal-risk maneuver (MRM), which provides an emergency stop behavior based on dead reckoning.",{"name":81,"@type":72,"acceptedAnswer":82},"Which gaps does the paper identify for bridging analytical models and AD system software?",{"text":83,"@type":75},"Remaining gaps are organized into five dimensions: units of timing constraints, timing metrics, resource models, execution-time variability, and safety integration. The paper frames open problems and research directions to make models closer to AD reality and system software analyzable and enforceable.","https://schema.org",{"og:url":50,"og:type":86,"og:title":13,"og:site_name":57,"og:description":14},"article",{"robots":88,"canonical":50},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":91},[92,96,100,104,109,114,119,122,126,129,133],{"id":21,"doc_module":4,"doc_module_name":45,"category_name":93,"show_sort_weight":94,"slug":95},"Story & Novel",90,"story-novel",{"id":20,"doc_module":4,"doc_module_name":45,"category_name":97,"show_sort_weight":98,"slug":99},"Literature",80,"literature",{"id":51,"doc_module":4,"doc_module_name":45,"category_name":101,"show_sort_weight":102,"slug":103},"Exam",70,"exam",{"id":105,"doc_module":4,"doc_module_name":45,"category_name":106,"show_sort_weight":107,"slug":108},5,"Comic",60,"comic",{"id":110,"doc_module":4,"doc_module_name":45,"category_name":111,"show_sort_weight":112,"slug":113},6,"Technology",50,"technology",{"id":115,"doc_module":4,"doc_module_name":45,"category_name":116,"show_sort_weight":117,"slug":118},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":120,"slug":121},30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":28,"slug":125},9,"Religion & Spirituality","religion-spirituality",{"id":28,"doc_module":4,"doc_module_name":45,"category_name":127,"show_sort_weight":28,"slug":128},"World Cup","world-cup",{"id":130,"doc_module":4,"doc_module_name":45,"category_name":131,"show_sort_weight":130,"slug":132},10,"Lifestyle","lifestyle",{"id":134,"doc_module":4,"doc_module_name":45,"category_name":135,"show_sort_weight":105,"slug":136},19,"General","general"]