Experimental Implementations of Priority Inheritance Semaphore on ITRON-speci cation Kernel
نویسندگان
چکیده
Using priority inheritance protocols is an e ective approach to solve the problem of uncontrolled priority inversion, which is among the major sources of deadline violations in hard real-time systems. In this paper, some approaches to incorporate priority inheritance to the ITRON speci cation are discussed. As the result, we propose two speci cations of priority inheritance semaphore functions with which the basic priority inheritance protocol can be realized, and implement both of them for evaluation. The run-time performance and memory requirements of the functions are evaluated with the implementations.
منابع مشابه
A Survey on Kernel Speci cation and Veri cation
Formal methods have been traditionally used to model and verify operating systems Dif ferent methods verify di erent operating systems properties such as process management mutual exclusion and inter process communication Moreover various methods may capture di erent design errors such as deadlocks or unspeci ed receptions The system kernel supports higher level system services Hence kernel ver...
متن کاملIntroduction to the TOPPERS Project - Open Source RTOS for Embedded Systems
The TOPPERS Project is to develop a series of open source real-time operating systems (RTOS) for embedded systems. The TOPPERS/JSP Kernel, which is the first product of the project, was released two years ago and is started to be used in industries. A technological basis of the TOPPERS Project is the ITRON Specification, which is a de-facto standard real-time kernel specification widely applied...
متن کاملImplementation of μITRON Embedded Operating System Specification on top of L4 Microkernel
The μITRON specification [6] was started as a sub-project within ITRON program targeted at the smallest systems with 8 or 16-bit microcontrollers. It was different from the base ITRON with a limited kernel functionality. Later, following the rapid hardware development, μITRON was adopted to be applicable to 32 microcontrollers. Therefore, μITRON is a specification of a real-time kernel for embe...
متن کاملEnsuring Correctness of Java Frameworks A Formal Look at JCF
In this paper we propose a novel approach to speci cation development and veri cation of object oriented frameworks employing separate interface inheritance and implementation inheritance hierarchies In particular we il lustrate how our method of framework speci cation and veri cation can be used to specify Java Collections Framework which is a part of the standard Java Development Kit and ensu...
متن کاملA simple framework for nonparametric speci"cation testing
This paper presents a simple framework for testing the speci"cation of parametric conditional means. The test statistics are based on quadratic forms in the residuals of the null model. Under general assumptions the test statistics are asymptotically normal under the null. With an appropriate choice of the weight matrix, the tests are shown to be consistent and to have good local power. Speci"c...
متن کامل