Sciweavers

Share
DATE
2010
IEEE

Assertion-based verification of RTOS properties

10 years 29 days ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOSModel in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertionbased verification of RTOS properties. Keywords- real-time operating systems; verification; PSL
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u
Added 10 Jul 2010
Updated 10 Jul 2010
Type Conference
Year 2010
Where DATE
Authors Marcio F. S. Oliveira, Henning Zabel, Wolfgang Müller 0003
Comments (0)
books