Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling

Yoon, Man-Ki; Kim, Jung-Eun; Bradford, Richard; Sha, Lui

doi:10.7873/date.2013.271

Cited by 13 publications

(20 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus the partition sizes are assumed to be predefined. The interested reader in partition parameter selection problem is referred to [7,31]. 9 A Physical-I/O is not a partition but a time duration for raw I/O operation.…”

Section: Formal Modelmentioning

confidence: 99%

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

Kim

Yoon

Bradford³

et al. 2014

2014 IEEE 38th Annual Computer Software and Applications Conference

Self Cite

View full text Add to dashboard Cite

The trend in the semiconductor industry toward multicore processors poses a significant challenge to many suppliers of safety-critical real-time embedded software. Having certified their systems for use on single-core processors, these companies may be forced to migrate their installed base of software onto multicore processors as single-core processors become harder to obtain. These companies naturally want to minimize the potentially high costs of recertifying their software for multicore processors. In support of this goal, we propose an approach to solving a fundamental problem in migrating legacy software applications to multicore systems, namely that of preventing conflicts among I/O transactions from applications residing on different cores. We formalize the problem as a partition scheduling problem that serializes I/O partitions. Although this problem is strongly NP-complete, we formulate it as a Constraint Programming (CP) problem. Since the CP approach scales poorly, we propose a heuristic algorithm that outperforms the CP approach in scalability.

show abstract

Section: Formal Modelmentioning

confidence: 99%

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

Kim

Yoon

Bradford³

et al. 2014

2014 IEEE 38th Annual Computer Software and Applications Conference

Self Cite

View full text Add to dashboard Cite

show abstract

“…The worst-case release pattern of τ s occurs when τ s and all high-priority tasks are released simultaneously [16]. Using response time analysis [17] we can determine an upper bound to the interference experienced by τ s for a given core π m as follows:…”

Section: Assignment Of Security Tasks With Period Adaptationmentioning

confidence: 99%

A design-space exploration for allocating security tasks in multicore real-time systems

Hasan

Mohan

Pellizzoni

et al. 2018

2018 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE)

View full text Add to dashboard Cite

The increased capabilities of modern real-time systems (RTS) expose them to various security threats. Recently, frameworks that integrate security tasks without perturbing the real-time tasks have been proposed, but they only target single core systems. However, modern RTS are migrating towards multicore platforms. This makes the problem of integrating security mechanisms more complex, as designers now have multiple choices for where to allocate the security tasks. In this paper we propose HYDRA, a design space exploration algorithm that finds an allocation of security tasks for multicore RTS using the concept of opportunistic execution. HYDRA allows security tasks to operate with existing real-time tasks without perturbing system parameters or normal execution patterns, while still meeting the desired monitoring frequency for intrusion detection. Our evaluation uses a representative real-time control system (along with synthetic task sets for a broader exploration) to illustrate the efficacy of HYDRA.

show abstract

“…For the security server with unknown capacity Q and replenishment period P , we can derive the lower (upper) bound of Q (P ) that makes security tasks τ i ∈ Γ S running under server schedulable by using periodic server model introduced in literature [14] [15] [16]. The key idea from previous work is that a task τ i can be schedulable if minimum supply for the server can match the maximum workload generated by τ i and hp(τ i ) during a time interval t. If the server task τ S is scheduled by a fixed-priority scheme, the minimum supply of the server is delivered to the security tasks when its (k−1)-th execution has just finished with minimum interference from the high-priority real-time tasks τ j ∈ Γ R .…”

Section: A Linear Lower-bound Supply Functionmentioning

confidence: 99%

Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems

Hasan

Mohan²,

Bobba

et al. 2016

2016 IEEE Real-Time Systems Symposium (RTSS)

View full text Add to dashboard Cite

Due to physical isolation as well as use of proprietary hardware and protocols, traditional real-time systems (RTS) were considered to be invulnerable to security breaches and external attacks. However, this assumption is being challenged by recent attacks that highlight the vulnerabilities in such systems. In this paper, we focus on integrating security mechanisms into RTS (especially legacy RTS) and provide a metric to measure the effectiveness of such mechanisms. We combine opportunistic execution with hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility. The proposed approach is shown to increase the security posture of RTS systems without impacting their temporal constraints.

show abstract

Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling

Cited by 13 publications

References 0 publications

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

A design-space exploration for allocating security tasks in multicore real-time systems

Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems

Contact Info

Product

Resources

About