---
_id: '37009'
abstract:
- lang: eng
  text: 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.
author:
- first_name: Marcio F. S.
  full_name: Oliveira, Marcio F. S.
  last_name: Oliveira
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties.
    In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>'
  apa: Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification
    of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38;
    Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>
  bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based
    Verification of RTOS Properties}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio
    F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }'
  chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based
    Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE,
    2010. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>.'
  ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification
    of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe
    Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.'
  mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.
  short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE,
    Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:15:10Z
date_updated: 2023-01-17T09:15:18Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457130
keyword:
- Operating systems
- Real time systems
- Timing
- Hardware
- Analytical models
- Embedded software
- Software systems
- Processor scheduling
- Software performance
- Performance analysis
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: Assertion-Based Verification of RTOS Properties
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '39029'
abstract:
- lang: eng
  text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
    Much effort has been undertaken to employ different aspects of UML for multiple
    domains, mainly in the area of software systems. Considering the area of electronic
    design automation, however, we currently see only very few approaches which investigate
    UML for hardware design and hardware/software co-design. We present an approach
    for executable UML closing the gap from system specification to its model-based
    execution on reconfigurable hardware. For this purpose, we present our abstract
    execution platform (AEP), which is based on a virtual machine running an executable
    UML subset for embedded software and reconfigurable hardware. This subset combines
    UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
    We describe how these binary encoded UML specifications can be directly executed
    and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
    we present evaluation results comparing the AEP implementation with C code on
    a C167 microcontroller.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
    Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE;
    2005. doi:<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>'
  apa: Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach
    for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>.
    <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>
  bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
    }, title={A Model-Based Approach for Executable Specification on Reconfigurable
    Hardware}, DOI={<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>},
    booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
    and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
  chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
    Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings
    of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>.'
  ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
    Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.'
  mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
    on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a
    href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.
  short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
    Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
  isbn:
  - 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...