A Jitter-Free Kernel for Hard Real-Time Systems

Angelov, Christo; Berthing, Jesper

doi:10.1007/11535409_55

Cited by 3 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The execution time for most of these services is both constant and deterministic, which is a compulsory requirement for real-time systems in order to avoid unpredictable kernel jitter [3].…”

Section: The µC/os-ii Rtosmentioning

confidence: 99%

Component-Based Real-Time Operating System for Embedded Applications

Loiret

Navas²,

Babau

et al. 2009

Component-Based Software Engineering

View full text Add to dashboard Cite

Abstract. As embedded systems must constantly integrate new functionalities, their developement cycles must be based on high-level abstractions, making the software design more flexible. CBSE provides an approach to these new requirements. However, low-level services provided by operating systems are an integral part of embedded applications, furthermore deployed on resource-limited devices. Therefore, the expected benefits of CBSE must not impact on the constraints imposed by the targetted domain, such as memory footprint, energy consumption, and execution time. In this paper, we present the componentization of a legacy industry-established Real-Time Operating System, and how componentbased applications are built on top of it. We use the Think framework that allows to produce flexible systems while paying for flexibility only where desired. Performed experimentions show that the induced overhead is negligeable.

show abstract

Section: The µC/os-ii Rtosmentioning

confidence: 99%

Component-Based Real-Time Operating System for Embedded Applications

Loiret

Navas²,

Babau

et al. 2009

Component-Based Software Engineering

View full text Add to dashboard Cite

show abstract

“…The method involves several types of model -model of computation, kernel configuration model and kernel component model -whereby models of computation are used to derive kernel configuration models and the latter are used to precisely specify kernel component models. The latter are defined in terms of interface, operational and property specifications, which have been used to implement the HARTEX family of hard real-time kernels [8], [9].…”

Section: Resultsmentioning

confidence: 99%

“…This has resulted in a number of advanced solutions: The detailed presentation of the above features goes beyond the scope of this paper. More information can be found in [8] - [10]. The following discussion gives an overview of HARTEX component functionality and specific techniques, such as Boolean vector processing, which is an outstanding feature of HARTEX components.…”

Section: Kernel Component Designmentioning

confidence: 99%

“…Boolean vectors (bit-strings) have been substituted for conventional linked-list queues throughout the kernel, resulting in considerable reduction of system overhead and constant execution time of kernel functions, independent of the number of tasks involved [8,9]. With that technique, sets are represented as Boolean vectors (e.g.…”

Section: Kernel Component Designmentioning

confidence: 99%

“…Tasks are scheduled for execution by the Task Manager using a preemptive priority-based scheduling algorithm. This is accomplished using the ATV and two other vectorsthe Enabled Tasks Vector and the Preempted Tasks Vector [8]. The Input Drivers Vector (IDV) and the Output Drivers Vector (ODV) are used to register I/O driver execution requests that may be generated by either the Event Manager or the Static Time Manager.…”

Section: Kernel Component Designmentioning

confidence: 99%

See 2 more Smart Citations

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

Berthing

Angelov

2007

33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007)

Self Cite

View full text Add to dashboard Cite

The paper presents a component-based framework for safe real-time kernels for embedded applications. In this framework, a component is defined as a selfcontained unit encapsulating a specific kernel subsystem. Complex components are decomposed into sub-components that implement an atomic functionality within the subsystem under consideration. Each component is specified in terms of public functions (primitives) and protected functions that are used by other components. Accordingly, kernel configurations are modeled by component call graphs that take into account components and their interactions. Such configurations are actually developed by deriving a conformance class specification from the requirements specification of a real-time application, and then mapping it onto an appropriate subset of kernel components, augmented with relevant component dependencies. Kernel safety is enhanced by the rigorous design of kernel functions, using advanced algorithms that provide for very small overhead and constant execution time of kernel primitives, independent of the number of tasks involved.

show abstract

A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications

Sierszecki

Angelov

2008

2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

View full text Add to dashboard Cite

A Jitter-Free Kernel for Hard Real-Time Systems

Cited by 3 publications

References 3 publications

Component-Based Real-Time Operating System for Embedded Applications

Component-Based Real-Time Operating System for Embedded Applications

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications

Contact Info

Product

Resources

About