Microkernel Development for Embedded Systems

作     者：Rodrigo Maximiano Antunes de Almeida Luis Henrique de Carvalho Ferreira Carlos Henrique Valério 

作者机构：IESTI-Systems Engineering and Information Technology Institute UNIFEI-Federal University of Itajubá Itajubá Brazil. 

出 版 物：《Journal of Software Engineering and Applications》 (软件工程与应用（英文）)

年 卷 期：2013年第6卷第1期

页      面：20-28页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Embedded Systems Microkernel Device Driver Controller Hardware Devices Callback 

摘      要：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.