TITLE:
Microkernel Development for Embedded Systems
AUTHORS:
Rodrigo Maximiano Antunes de Almeida, Luis Henrique de Carvalho Ferreira, Carlos Henrique Valério
KEYWORDS:
Embedded Systems; Microkernel; Device Driver Controller; Hardware Devices; Callback
JOURNAL NAME:
Journal of Software Engineering and Applications,
Vol.6 No.1,
January
30,
2013
ABSTRACT:
This paper presents the development of a microkernel with a device driver controller for embedded systems. The implementation was done in C language aiming low cost microcontrollers. The proposed system allowed to perform soft real-time activities while keeping the drivers and the application isolated by a secure layer. The callback system proved itself extremely simple to use while still maintaining the security of the system regarding the temporal constraints.