2015 · 11 citations · 8 references
EngineeringTime-triggered Mixed-critical SchedulerReal-time System DesignComputer ArchitectureFormal VerificationHardware SecurityReliability EngineeringSystems EngineeringModern Safety-critical SystemsSingle CoreParallel ComputingMixed CriticalityComputer EngineeringScheduling (Computing)Computer ScienceScheduling AnalysisReal-time Multiprocessor SystemTime TriggeredReal-time Systems
Modern safety-critical systems, such as avionics, tend to be mixed-critical, because integration of different tasks with different assurance requirements can effectively reduce their costs in terms of hardware, at the risk, however to increase the costs for certification, in particular in the context of proving their schedulability. To simplify the certification costs such systems use Time Triggered (TT) scheduling paradigm, and a generalization of the Time Triggered (TT) scheduling paradigm Single Time Table per Mode (STTM), is a promising scheduling approach as, compared to priority-based algorithms. In the present paper we present a state-of-the art STTM algorithm which works optimally on single core and shows good preliminary results for multi-cores.
8
Techniques for Multiprocessor Global Schedulability Analysis
Sanjoy Baruah · 2007 · 691 citations
Scheduling Real-Time Mixed-Criticality Jobs
Vincenzo Bonifaci, Gianlorenzo D’Angelo, Haohan Li et al. · IEEE Transactions on Computers · 2011 · 160 citations · Full text