A Jitter-Free Operational Environment for Dependable Embedded Systems

Angelov, Christo; Berthing, Jesper; Sierszecki, Krzysztof

doi:10.1007/11523277_27

Cited by 4 publications

(9 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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 problem has been solved by developing another type of kernel component -the Static Time Manager (alternatively named the Drum Sequencer). It provides an operational environment for multiple periodic tasks executing under Distributed Timed Multitasking, using only one timer per network node and sophisticated Boolean vector processing techniques [9]. Essentially, this is a combination of static cyclic scheduling of signal drivers and taskrelease actions, and dynamic priority-based scheduling of the released real-time tasks.…”

Section: Kernel Component Designmentioning

confidence: 99%

“…For example, experiments have shown that the HARTEX primitive release(tasks) takes 4 µs to execute in an 8-bit Atmel AVR-128 microcontroller -for up to 16 tasks, and as little as 0.5 µs in a 32-bit ARM-based microcontroller -for up to 32 simultaneously released tasks [9]. For comparison, it has been shown experimentally that the same operation takes 56 µs -for a single task, and up to 570 µs -for 20 tasks, in an M 68020-based computer running under the Olympus kernel [11].…”

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%

“…However in this case tasks are executed in a purely time-triggered fashion involving static cyclic scheduling of signal drivers and dynamic scheduling of periodic actor tasks [9].…”

Section: Models Of Computationmentioning

confidence: 99%

See 4 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

Section: Resultsmentioning

confidence: 99%

Section: Kernel Component Designmentioning

confidence: 99%

Section: Kernel Component Designmentioning

confidence: 99%

Section: Kernel Component Designmentioning

confidence: 99%

“…However in this case tasks are executed in a purely time-triggered fashion involving static cyclic scheduling of signal drivers and dynamic scheduling of periodic actor tasks [9].…”

Section: Models Of Computationmentioning

confidence: 99%

See 3 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

show abstract

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems

Angelov

Berthing

From Model-Driven Design to Resource Management for Distributed Embedded Systems

View full text Add to dashboard Cite

The paper presents a new type of system architecture for distributed embedded systems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants in accordance with the concept of Timed Multitasking, whereby actors can be viewed as real-time tasks with eventtriggered input and output drivers activated by timing or external events. The combination of actors, signal-based communication and timed multitasking has resulted in a new operational model-Distributed Timed Multitasking (DTM). The latter has been used to derive a task execution model and requirements specifications for a real-time kernel, which have been used to develop the timed-multitasking version of the HARTEXkQWiQX. In this context, the paper presents a discussion of specific implementation issues related to the execution of periodic and sporadic tasks under DTM.

show abstract

A Component-Based Framework for Distributed Control Systems

Angelov

Sierszecki

32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)

View full text Add to dashboard Cite

A Jitter-Free Operational Environment for Dependable Embedded Systems

Cited by 4 publications

References 6 publications

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

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

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems

A Component-Based Framework for Distributed Control Systems

Contact Info

Product

Resources

About