uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Static worst-case execution time analysis of the μC/OS-II real-time kernel
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Embedded Systems)
Show others and affiliations
2010 (English)In: Frontiers of Computer Science in China, ISSN 1673-7350, Vol. 4, no 1, 17-27 p.Article in journal (Refereed) Published
Abstract [en]

Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether RTOS also behaves in a timely predictable manner. In this paper, static analysis techniques are used to predict the WCET of the system calls and the Disable Interrupt regions of the mu C/OS-II real-time kernel, which presents a quantitative evaluation of the real-time performance of mu C/OS-II. The precision of applying existing WCET analysis techniques on RTOS is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also discussed.

Place, publisher, year, edition, pages
2010. Vol. 4, no 1, 17-27 p.
National Category
Computer Science Computer Engineering
URN: urn:nbn:se:uu:diva-141641DOI: 10.1007/s11704-009-0073-8ISI: 000292503700002OAI: oai:DiVA.org:uu-141641DiVA: diva2:385954
Available from: 2010-02-15 Created: 2011-01-12 Last updated: 2015-08-14Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Guan, NanYi, Wang
By organisation
Computer Systems
Computer ScienceComputer Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 226 hits
ReferencesLink to record
Permanent link

Direct link