---
res:
  bibo_abstract:
  - 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 RTOS-Model in SystemC.
    We apply IEEE P1850 PSL for which we present an approach and first experiences
    for the assertion-based verification of RTOS properties.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Marcio F. S.
      foaf_name: Oliveira, Marcio F. S.
      foaf_surname: Oliveira
  - foaf_Person:
      foaf_givenName: Henning
      foaf_name: Zabel, Henning
      foaf_surname: Zabel
  - foaf_Person:
      foaf_givenName: Wolfgang
      foaf_name: Müller, Wolfgang
      foaf_surname: Müller
      foaf_workInfoHomepage: http://www.librecat.org/personId=16243
  bibo_doi: 10.1109/DATE.2010.5457130
  dct_date: 2010^xs_gYear
  dct_language: eng
  dct_publisher: IEEE@
  dct_subject:
  - Operating systems
  - Real time systems
  - Timing
  - Hardware
  - Analytical models
  - Embedded software
  - Software systems
  - Processor scheduling
  - Software performance
  - Performance analysis
  dct_title: Assertion-Based Verification of RTOS Properties@
...