6 research outputs found
Recommended from our members
Towards a Fault-tolerant, Scheduling Methodology for Safety-critical Certified Information Systems
Today, many critical information systems have safety-critical and non-safety-critical functions executed on the same platform in order to reduce design and implementation costs. The set of safety-critical functionality is subject to certification requirements and the rest of the functionality does not need to be certified, or is certified to a lower level. The resulting mixed-criticality systems bring challenges in designing such systems, especially when the critical tasks are required to complete with a timing constraint. This paper studies a problem of scheduling a mixed-criticality system with fault tolerance. A fault-recovery technique called checkpointing is used where a program can go back to a recent checkpoint for re-execution upon errors occurred. A novel schedulability test is derived to ensure that the safety-critical tasks are completed before their deadlines and the theoretical correctness is shown
์ต์ ECU๋ณด๋๋ฅผ ํ์ฉํ์ฌ ์ํํธ์๋ฌ๋ค์ ์ค์๊ฐ ๋ณต๊ตฌํ๋ ๊ธฐ๋ฒ
ํ์๋
ผ๋ฌธ (์์ฌ) -- ์์ธ๋ํ๊ต ๋ํ์ : ๊ณต๊ณผ๋ํ ์ปดํจํฐ๊ณตํ๋ถ, 2020. 8. ์ด์ฐฝ๊ฑด.This dissertation presents the fault-tolerant real-time scheduling using dynamic mode
switch support of modern ECU hardware. This dissertation first describes the optimal
capacity of the Periodic Resource which contains harmonic periodic task set using
the exact time supply function.We show that the optimal capacity can be represented
as sum of the each individual utilization of the task in the harmonic periodic task set
for both normal state(i.e. no faults) and faulty state. Then, this dissertation proposes
non-critical task overlapping technique by only using the idle time intervals of the Periodic
Resource in order to overlap the non-critical tasks which ensures no additional
capacity increase. Finally, this dissertation proposes the basic form of the Periodic
Resources in order to efficiently use the dynamic mode switch support. Next, we also
proposes the bin-packing heuristic algorithm that considers both making sub-taskset
as a one Periodic Resource and Periodic Resource wide bin-packing which has the
pseudo-polynomial time complexity. Experimental results show that the proposed
algorithm performs better than the traditional partitioned fixed-priority scheduling
approach and partitioned mixed-criticality scheduling approach. Also, the achievement
is made up to 18% in terms of the total needed cores compared to traditional
partitioned fixed-priority approach for making the given input task set schedulable.๋ณธ ๋
ผ๋ฌธ์์๋ ํจ์จ์ ์ธ ์ฌ๊ตฌ์ฑ๊ฐ๋ฅ ์์คํ
์ฌ์ฉ์ ์ํ ๊ณ์ธต๊ธฐ๋ฐ ์ค์๊ฐ ๊ฒฐํจ ๊ฐ๋ด ์ค์ผ์ค๋ง ๊ธฐ๋ฒ์ ์ ์ํ๋ค. ๋ณธ ์ฐ๊ตฌ๋ ์ฃผ๊ธฐ ์์ ๋ชจ๋ธ์ ๊ธฐ๋ฐ์ผ๋ก, ์ต์ ์ฃผ๊ธฐ ์์ ์๋ฒ์ ์ฉ๋์ ์ฃผ๊ธฐ ์์ ๋ชจ๋ธ์ด ๊ฐ์ง๋ ์ค์๊ฐ ์ฃผ๊ธฐ ํ์คํฌ ์
์ ์ ํธ๋ผ์ด์ ์ด์
์ ํฉ์ผ๋ก ์ ์ํ๋ค. ๋ณธ ๋
ผ๋ฌธ์ ํด๋น ์ต์ ์๋ฒ ์ฉ๋์ ์์คํ
์ด ์ ์ ๋์ํ ๋์ ์ค๋์ ํ ๋ ๋ชจ๋์ ๋ํด์ ์ ์ํ๋ค. ๋ค์์ผ๋ก, ๋น์ค์ ํ์คํฌ ์
๋ค์ ์ค์ ์ฃผ๊ธฐ ์์ ์๋ฒ์ ์ฌ๋ถ ๊ณต๋ฐฑ ์๊ฐ์ ํ์ฉํด ์๋ฒ ์ฉ๋์ ์ฆ๊ฐ ์์ด ๋น์ค์ ํ์คํฌ๋ฅผ ์ค์ ์ฃผ๊ธฐ ์์ ์๋ฒ์ ํ ๋นํ๋ ๋ฐฉ๋ฒ๋ก ์ ์ ์ํ๋ค. ๋ง์ง๋ง์ผ๋ก ๋ณธ ๋
ผ๋ฌธ์ ์ฃผ๊ธฐ ์์ ์๋ฒ ๋จ์์ ํํฐ์
๊ธฐ๋ฒ๊ณผ ์ฃผ๊ธฐ ํ์คํฌ๋ฅผ ํ๋์ ์ฃผ๊ธฐ ์์ ์๋ฒ๋ก ๋ง๋๋ ๋นํจํน ํด๋ฆฌ์คํฑ ์๊ณ ๋ฆฌ์ฆ์ ์ ์ํ๋ค. ์คํ ๊ฒฐ๊ณผ, ๋ณธ ๋
ผ๋ฌธ์์ ์ ์ํ ์๊ณ ๋ฆฌ์ฆ์ ๊ธฐ์กด์ ์ฌ์ฉ๋์๋ ํํฐ์
๊ธฐ๋ฐ ์ฐ์ ์์ ์ค์ผ์ค๋ง ์๊ณ ๋ฆฌ์ฆ๊ณผ ํํฐ์
๊ธฐ๋ฐ ์ฐ์ ์์ ํผ์ก ์ค์๋ ์๊ณ ๋ฆฌ์ฆ๋ณด๋ค ๋ ์์ ์์ ์ฝ์ด์ ๊ฐ์๋ฅผ ๋์ถ ํ ์ ์์์ ๋ณด์ธ๋ค. ์คํ๊ฒฐ๊ณผ๋ฅผ ๊ธฐ๋ฐ์ผ๋ก, ๋ณธ ์ฐ๊ตฌ์์ ์ ์ํ ์๊ณ ๋ฆฌ์ฆ์ ์ฌ๊ตฌ์ฑ๊ฐ๋ฅ ์์คํ
์ ํ์ฉํ๋ค๋ฉด ๊ธฐ์กด ๋ฐฉ๋ฒ ๋๋น ์ต๋ 18%์ ์ฝ์ด์ ๊ฐํจ๊ณผ๋ฅผ ๊ธฐ๋ํ ์ ์๋ค.1 Introduction 1
1.1 Motivation and Objective 1
1.2 Approach 2
1.3 Organization 6
2 System Model 7
3 Schedulability Analysis 10
3.1 Background 10
3.2 Optimal Capacity Analysis During Normal State 14
3.3 Optimal Capacity Analysis During Fault State 16
3.4 Periodic Resource Wide Schedulability Test 20
3.5 Non-Critical Task Overlapping 24
4 Proposed Approach 26
4.1 Minimum Harmonic Partitions of the Task Set 26
4.2 Proposed Heuristic Algorithm 28
4.2.1 Choosing Detection method 28
4.2.2 Packing Minimum Harmonic Partitions 29
4.2.3 Packing Free Tasks 30
4.2.4 Packing Non-Critical Tasks 31
4.3 Algorithm Description 32
5 Evaluation 35
5.1 Experimental Setup 35
5.2 Simulation Results 36
5.2.1 Free Task Bin-Packing 38
5.2.2 Minimum Harmonic Partitions Bin-Packing 40
5.2.3 Effect of Non-Critical Task Overlapping 43
5.2.4 Effect of State-Wise Computation 45
6 Related Works 46
6.1 Hierarchical Fault-Tolerant Real-Time Scheduling 46
6.2 Error Detection Method 46
7 Conclusion 48
References 50Maste
A Survey of Research into Mixed Criticality Systems
This survey covers research into mixed criticality systems that has been published since Vestalโs seminal paper in 2007, up until the end of 2016. The survey is organised along the lines of the major research areas within this topic. These include single processor analysis (including fixed priority and EDF scheduling, shared resources and static and synchronous scheduling), multiprocessor analysis, realistic models, and systems issues. The survey also explores the relationship between research into mixed criticality systems and other topics such as hard and soft time constraints, fault tolerant scheduling, hierarchical scheduling, cyber physical systems, probabilistic real-time systems, and industrial safety standards