By Topic

Robustness study of an embedded operating system for industrial applications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Pardo, J. ; Fault Tolerant Syst. Group, Valencia Polytech. Univ., Spain ; Campelo, J.C. ; Serrano, J.J.

Critical industrial applications or fault tolerant applications need for operating systems (OS), which guarantee a correct and safe behaviour in spite of the appearance of errors. In order to validate the behaviour of an operating system, software fault injection techniques can be used. These techniques could be used to corrupt the information of some of the operating system calls to see how the system reacts in front of invalid or corrupted values at the kernel calls. The research work presented in this paper is about development and preliminary results obtained from the experimentation on software fault injection in an embedded system composed by a real-time operating system (RTOS) like MicroC/OS-II and a microcontroller as the Infineon C167. A software fault injection tool has been developed. The methodology proposed treated the operating system as a black-box where the source code was not available. With this objective a layer between the operating system and the application to be executed has been developed. OS error detection coverage has been measured and observations about OS critical data structures to be improved have been commented, in order to improve the final robustness of the OS.

Published in:

Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International  (Volume:2 )

Date of Conference:

28-30 Sept. 2004