Abstract
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and a kernel fault injector. Dependability evaluation is the last stage of a system development process. Results will be used in the future research to propose enhanced error detection techniques embedded into the operating system kernel.
Highlights
Dependability evaluation of operating systems is the focus of many research jobs
This paper presents results of experimental dependability evaluation of the memory management subsystem of PhoenixRTOS real-time kernel Section 2 presents briefly PhoenixRTOS operating system and memory management
The paper presents methodology for dependability evaluation of Phoenix-RTOS real-time operating system developed by author for real application needs
Summary
Dependability evaluation of operating systems is the focus of many research jobs. Developed methodologies are based mainly on software-fault injection technique. In papers [2], [8] new methods of dependability evaluation for microkernelbased operating systems are proposed. In paper [5] experimental environment for operating system with monolithic kernel and results of experimental dependability evaluation for Linux kernel are presented. The paper [6] presents model of error propagation between device drivers and operating system services. In paper [3], [1] the timetriggered architecture and results of experimental dependability evaluation for the architecture implementation have been presented. The main drawback of presented architecture is the requirement of specific application decomposition. It significantly decreases number of possible system implementations and practically disables application porting
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal on Computational Science & Applications
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
