Specification of embedded control systems behaviour using actor interface automata
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Building a Software Development Environment for Embedded Systems
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Component-based analysis of embedded control applications
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Designing safe and predictable software for embedded applications is a considerable challenge, which has been addressed by the COMDES-II framework. This is a component-based software framework employing a timed multitasking model of computation supported by a run-time environment. This paper presents a real-time kernel implementing the run-time environment – the HARTEXμ kernel that has been specifically developed for COMDES-II systems. The design and implementation of the kernel take into account the limitations of embedded systems, e.g. a small memory footprint and reduced kernel overhead. It also features Boolean vector processing that eliminates the need for linked-list queues, resulting in constant execution time of kernel functions independent of the number of tasks involved.