C. L. Liu and J. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment,” Journal of the ACM, Vol. 20, No. 1, 1973, pp. 46-61. doi:10.1145/321738.321743
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.