A Real-Time Scheduler Design for a Class of Embedded Systems

Song, Insop; Kim, Sehjeong; Karray, Fakhri

doi:10.1109/tmech.2007.915061

Cited by 21 publications

(8 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A queue is stable (the number of elements in the queue do not diverge to infinity), if the mean service rate is greater than the mean inter-arrival rate, as stated in [3]. Similarly, it can be argued that a queue is stable if for all starting lengths greater than some minimal length, the length decreases on average:…”

Section: Stabilitymentioning

confidence: 97%

“…One such algorithm was presented by Abeni et al in [2], where the authors present a mathematical model of reservation and develop a PI controller to control the virtual finishing time. Song et al, apply control theory more rigorously in [3] to a similar scheduling algorithm.…”

Section: Introductionmentioning

confidence: 99%

“…The approach considered in this paper is similar to the reservation based scheduler studied in [2] and [3], but adopts a predictive rather than adaptive approach to the problem, allowing for modifications prior to the completion of jobs. This paper also considers changes in the scheduling model that allows the scheduler access to more information about currently running jobs, as well as more control over how resources are allocated over time.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Prediction based bandwidth reservation

Ahmed

Ferri

2010

49th IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

A goal in soft real-time systems is to maintain quality of service in the presence of variations in computation times while efficiently utilizing the system. Several feedbackbased scheduling algorithms have been proposed for this application. This paper presents a prediction-based bandwidth reservation policy with the same goal. A proof is presented to show stability, of the job queue. Simulation results are also presented to show the effectiveness of the policy.

show abstract

Section: Stabilitymentioning

confidence: 97%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Prediction based bandwidth reservation

Ahmed

Ferri

2010

49th IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

show abstract

“…The development of safe and critical embedded control systems is not an easy activity because they have classically to satisfy functional and to meet temporal properties defined in user requirements, in addition to their time to market that should be more and more shorter than ever (Goessler et al, 2007;Lee and Villasenor, 2009;Acharya and Mahapatra, 2008;Song et al, 2008;Tsui et al, 2008;Pagilla et al, 2007). To meet all these constraints, different componentbased technologies (Crnkovic and Larsson, 2002) and Architecture Description Languages (ADL) (Dissaux et al, 2005) have been proposed in recent years to reuse already developed components and to follow modular approaches for specification and verification.…”

Section: Introductionmentioning

confidence: 99%

Formal approach for the development of intelligent industrial control components

Khalgui

Mosbahi

2011

IJCAT

View full text Add to dashboard Cite

The paper deals with reconfigurable embedded control systems following component-based technologies and/or Architecture Description Languages (ADL). A Control Component is defined as a software unit of the system which is assumed to be a network of components with precedence constraints. We define an agent-based architecture to handle automatic reconfigurations under well-defined conditions by creating, deleting or updating components to dynamically bring the whole system into safe and optimal behaviors. To cover all reconfiguration forms, we model the agent by nested state machines according to the formalism Net Condition/Event Systems (NCES), and apply a model checking to verify properties of NCES according to the temporal logic "Computation Tree Logic" (CTL). The goal is to check the agent's reactivity after any environment's evolution. Several complex networks can implement the system such that each one is executed at a given time when a corresponding reconfiguration scenario is automatically applied by the agent. To check the correctness of each one of them, we apply in several steps a refinement-based approach that automatically specifies feasible Control Components according to NCES. The model checker SESA is automatically applied in each step to verify deadlock properties of new generated components, and is manually used to verify CTL-based properties according to user requirements. We implement the proposed agent by three modules that allow interpretations of environment's evolutions, decisions of useful reconfiguration scenarios before their real applications.

show abstract

“…In 2007, Liu et al implemented a hybrid operating system with two-level interrupts to improve interrupt latency [7]. Song et al [8] in 2008 presented an analytical model using Lyapunov stability in a linear matrix inequality framework for a real-time scheduler. Gendy and Pont in 2008 [9] used an interrupt driven technique to provide automatic configuring time-triggered schedulers for a single-processor embedded system.…”

Section: Introductionmentioning

confidence: 99%

Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework

Lin

2010

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYInterrupt service routines are a key technology for embedded systems. In this paper, we introduce the standard approach for using Generalized Stochastic Petri Nets (GSPNs) as a high-level model for generating CTMC Continuous-Time Markov Chains (CTMCs) and then use Markov Reward Models (MRMs) to compute the performance for embedded systems. This framework is employed to analyze two embedded controllers with low cost and high performance, ARM7 and Cortex-M3. Cortex-M3 is designed with a tail-chaining mechanism to improve the performance of ARM7 when a nested interrupt occurs on an embedded controller. The Platform Independent Petri net Editor 2 (PIPE2) tool is used to model and evaluate the controllers in terms of power consumption and interrupt overhead performance. Using numerical results, in spite of the power consumption or interrupt overhead, Cortex-M3 performs better than ARM7.

show abstract

A Real-Time Scheduler Design for a Class of Embedded Systems

Cited by 21 publications

References 15 publications

Prediction based bandwidth reservation

Prediction based bandwidth reservation

Formal approach for the development of intelligent industrial control components

Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework

Contact Info

Product

Resources

About