TY - JOUR
T1 - Safety-Guaranteed and Development Cost- Minimized Scheduling of DAG Functionality in an Automotive System
AU - Hu, Biao
AU - Xu, Shengjie
AU - Cao, Zhengcai
AU - Zhou, Mengchu
N1 - Funding Information:
This work was supported in part by the Beijing Leading Talents Program under Grant Z191100006119031, in part by the National Natural Science Foundation of China under Grant 91848103 and Grant 61802013, in part by the Deanship of Scientific Research (DSR) at King Abdulaziz University under Grant KEP-2-135-39, and in part by the Talent Foundation of Beijing University of Chemical University under Grant buctrc201811
Publisher Copyright:
© 2000-2011 IEEE.
PY - 2022/4/1
Y1 - 2022/4/1
N2 - It is important to sufficiently guarantee an automotive system's safety, because otherwise terrible consequences may happen. Generally the safety in an automotive system includes two aspects: reliability and timeliness. Previous studies have proposed many approaches to how to improve them. However, few of them consider the development cost along with their improvement. In this study, we aim to propose a method that can build a safety-guaranteed and development cost-minimized schedule for functionality modeled as a directed acyclic graph running on an automotive system. Unlike previous studies that tightly couple the development cost minimization with other requirements together, we start by building a schedule with the minimum development cost by ignoring safety requirement. Then, reliability and real-time requirements are subsequently taken into consideration. Together with automotive safety integrity level decomposition options provided by International Standard called ISO 26262, the decomposition is evaluated for each task to improve its safety, and tasks are then successively chosen to adjust the schedule, such that its safety can be maximized with incurring the least extra development cost. This procedure continues until a schedule that meets safety requirement is built. Experiments on a real-life automotive benchmark and extensive synthetic functionality demonstrate that our proposed heuristics outperform the state-of-the-art heuristic algorithm, and a typical intelligent optimization algorithm.
AB - It is important to sufficiently guarantee an automotive system's safety, because otherwise terrible consequences may happen. Generally the safety in an automotive system includes two aspects: reliability and timeliness. Previous studies have proposed many approaches to how to improve them. However, few of them consider the development cost along with their improvement. In this study, we aim to propose a method that can build a safety-guaranteed and development cost-minimized schedule for functionality modeled as a directed acyclic graph running on an automotive system. Unlike previous studies that tightly couple the development cost minimization with other requirements together, we start by building a schedule with the minimum development cost by ignoring safety requirement. Then, reliability and real-time requirements are subsequently taken into consideration. Together with automotive safety integrity level decomposition options provided by International Standard called ISO 26262, the decomposition is evaluated for each task to improve its safety, and tasks are then successively chosen to adjust the schedule, such that its safety can be maximized with incurring the least extra development cost. This procedure continues until a schedule that meets safety requirement is built. Experiments on a real-life automotive benchmark and extensive synthetic functionality demonstrate that our proposed heuristics outperform the state-of-the-art heuristic algorithm, and a typical intelligent optimization algorithm.
KW - Automotive safety integrity level (ASIL)
KW - DAG functionality
KW - automotive system
KW - directed acyclic graph (DAG)
KW - genetic algorithm
KW - intelligent optimization machine learning
KW - safety guarantee
KW - schedule optimization
UR - http://www.scopus.com/inward/record.url?scp=85097142061&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85097142061&partnerID=8YFLogxK
U2 - 10.1109/TITS.2020.3030607
DO - 10.1109/TITS.2020.3030607
M3 - Article
AN - SCOPUS:85097142061
SN - 1524-9050
VL - 23
SP - 3074
EP - 3086
JO - IEEE Transactions on Intelligent Transportation Systems
JF - IEEE Transactions on Intelligent Transportation Systems
IS - 4
ER -