---
_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: '39382'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of the SpecC language
    that covers the execution of SpecC behaviors and their interaction with the kernel
    process. The semantics include wait, wait for, par, and try statements as they
    are introduced in SpecC. We present our definition in form of distributed abstract
    state machine (ASM) rules strictly following the lines of the SpecC Language Reference
    Manual. We mainly see our formal semantics in three application areas. First,
    it is a concise, unambiguous description for documentation and standardization.
    Second, it applies as a high-level, pseudo code-oriented specification for the
    implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis
    in order to identify similar concepts with other languages like VHDL and SystemC
    for the definition of common patterns and language subsets.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
    In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>'
  apa: Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics
    of SpecC. <i>Proceedings of the ISSS02</i>. <a href="https://doi.org/10.1145/581199.581234
    ">https://doi.org/10.1145/581199.581234 </a>
  bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
    Formal Execution Semantics of SpecC}, DOI={<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller,
    Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
  chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
    Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002.
    <a href="https://doi.org/10.1145/581199.581234 ">https://doi.org/10.1145/581199.581234
    </a>.
  ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
    SpecC,” 2002, doi: <a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.'
  mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings
    of the ISSS02</i>, 2002, doi:<a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.
  short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
    Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
  isbn:
  - 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39488'
abstract:
- lang: eng
  text: CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and
    Lotus Notes have been successfully introduced to support the cooperation of geographically
    distributed work groups. Unfortunately, some of these software systems are not
    flexible enough to be customized easily to the requirements of an individual user.
    Most of the environments can only be configured by experts through complex programming.
    In this article we introduce VIP space, a shared workspace space in the sense
    of exchanging and processing shared objects between members of distributed work
    groups. VIP space can be easily adapted to the user's individual views and needs
    by means of a visual programming language. In VIP space, objects of the shared
    workspace are moved by drag and drop between task fields. Task fields are programmed
    by visual "if-then" rules applying a combination of icon- and form-based techniques.
    When a document represented by an icon is dropped on a task field its rules are
    checked and actions of the selected rules are excited. VIP space is finally demonstrated
    in an Internet course application.
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jessica
  full_name: Rubart, Jessica
  last_name: Rubart
citation:
  ama: 'Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared
    Workspaces through Visual Programming. In: <i> Proceedings of the 32nd Annual
    Hawaii International Conference on Systems Sciences</i>. ; 1999. doi:<a href="https://doi.org/10.1109/HICSS.1999.773046">10.1109/HICSS.1999.773046</a>'
  apa: Dücker, M., Müller, W., &#38; Rubart, J. (1999). Innovative Concepts for Configurating
    Shared Workspaces through Visual Programming. <i> Proceedings of the 32nd Annual
    Hawaii International Conference on Systems Sciences</i>. Proceedings of the 32nd
    Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui,
    HI, USA . <a href="https://doi.org/10.1109/HICSS.1999.773046">https://doi.org/10.1109/HICSS.1999.773046</a>
  bibtex: '@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative
    Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={<a
    href="https://doi.org/10.1109/HICSS.1999.773046">10.1109/HICSS.1999.773046</a>},
    booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on
    Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica},
    year={1999} }'
  chicago: Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for
    Configurating Shared Workspaces through Visual Programming.” In <i> Proceedings
    of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Maui,
    HI, USA , 1999. <a href="https://doi.org/10.1109/HICSS.1999.773046">https://doi.org/10.1109/HICSS.1999.773046</a>.
  ieee: 'M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating
    Shared Workspaces through Visual Programming,” presented at the Proceedings of
    the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32,
    Maui, HI, USA , 1999, doi: <a href="https://doi.org/10.1109/HICSS.1999.773046">10.1109/HICSS.1999.773046</a>.'
  mla: Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces
    through Visual Programming.” <i> Proceedings of the 32nd Annual Hawaii International
    Conference on Systems Sciences</i>, 1999, doi:<a href="https://doi.org/10.1109/HICSS.1999.773046">10.1109/HICSS.1999.773046</a>.
  short: 'M. Dücker, W. Müller, J. Rubart, in:  Proceedings of the 32nd Annual Hawaii
    International Conference on Systems Sciences, Maui, HI, USA , 1999.'
conference:
  location: 'Maui, HI, USA '
  name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences. 1999. HICSS-32
date_created: 2023-01-24T11:35:47Z
date_updated: 2023-01-24T11:35:52Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.773046
keyword:
- Application software
- Electronic mail
- Computer networks
- Collaborative work
- Teleconferencing
- Asynchronous communication
- Software systems
- Internet
- Computer applications
- Discussion forums
language:
- iso: eng
place: 'Maui, HI, USA '
publication: ' Proceedings of the 32nd Annual Hawaii International Conference on Systems
  Sciences'
publication_identifier:
  isbn:
  - 0-7695-0001-3
status: public
title: Innovative Concepts for Configurating Shared Workspaces through Visual Programming
type: conference
user_id: '5786'
year: '1999'
...