Litcius/Paper detail

Safety-Guaranteed and Development Cost- Minimized Scheduling of DAG Functionality in an Automotive System

Biao Hu, Shengjie Xu, Zhengcai Cao, MengChu Zhou

2020IEEE Transactions on Intelligent Transportation Systems17 citationsDOI

Abstract

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.

Topics & Concepts

Automotive industryScheduleScheduling (production processes)Computer scienceHeuristicsReliability engineeringReliability (semiconductor)Functional safetyMinificationSystem safetyEngineeringOperations managementPhysicsQuantum mechanicsOperating systemProgramming languagePower (physics)Aerospace engineeringReal-Time Systems SchedulingFlexible and Reconfigurable Manufacturing SystemsFormal Methods in Verification
Safety-Guaranteed and Development Cost- Minimized Scheduling of DAG Functionality in an Automotive System | Litcius