N. G. Leveson, “Software Safety in Embedded Computer Systems,” Communications of the ACM, Vol. 34, No. 2, 1991, pp. 34-46. doi:10.1145/102792.102799
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.