Article citationsMore>>

A. S. Tanenbaum, J. N. Herder and H. Bos, “Can we Make Operating Systems Reliable and Secure?” Computer, Vol. 39, No. 5, 2006. pp. 44-51.

has been cited by the following article:

• 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.