Microkernel Development for Embedded Systems

• 作者: Carlos Henrique Valério Luis Henrique de Carvalho Ferreira Rodrigo Maximiano Antunes de Almeida
• 来源期刊: 软件工程与应用(英文)
• 学科: 工学
• 关键词: Embedded Systems MICROKERNEL Device DRIVER CONTROLLER HARDWARE Devices CALLBACK
• 年，卷（期）: 2013,（1）
• 页码范围: 20-28
• 页数: 9页
• 分类号: TP31

摘要

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.