---
_id: '40119'
alternative_title:
- Principles and Practice
citation:
  ama: Ecker W, Müller W, Dömer R, eds. <i>Hardware-Dependent Software</i>. Springer
    Netherlands; 2009. doi:<a href="https://doi.org/10.1007/978-1-4020-9436-1">10.1007/978-1-4020-9436-1</a>
  apa: Ecker, W., Müller, W., &#38; Dömer, R. (Eds.). (2009). <i>Hardware-dependent
    Software</i>. Springer Netherlands. <a href="https://doi.org/10.1007/978-1-4020-9436-1">https://doi.org/10.1007/978-1-4020-9436-1</a>
  bibtex: '@book{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent
    Software}, DOI={<a href="https://doi.org/10.1007/978-1-4020-9436-1">10.1007/978-1-4020-9436-1</a>},
    publisher={Springer Netherlands}, year={2009} }'
  chicago: 'Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer, eds. <i>Hardware-Dependent
    Software</i>. Dordrecht: Springer Netherlands, 2009. <a href="https://doi.org/10.1007/978-1-4020-9436-1">https://doi.org/10.1007/978-1-4020-9436-1</a>.'
  ieee: 'W. Ecker, W. Müller, and R. Dömer, Eds., <i>Hardware-dependent Software</i>.
    Dordrecht: Springer Netherlands, 2009.'
  mla: Ecker, Wolfgang, et al., editors. <i>Hardware-Dependent Software</i>. Springer
    Netherlands, 2009, doi:<a href="https://doi.org/10.1007/978-1-4020-9436-1">10.1007/978-1-4020-9436-1</a>.
  short: W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer
    Netherlands, Dordrecht, 2009.
date_created: 2023-01-25T22:20:51Z
date_updated: 2024-04-18T20:09:39Z
department:
- _id: '58'
doi: 10.1007/978-1-4020-9436-1
editor:
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- 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
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - '9781402094354'
  - '9781402094361'
publication_status: published
publisher: Springer Netherlands
status: public
title: Hardware-dependent Software
type: book_editor
user_id: '15931'
year: '2009'
...
---
_id: '37067'
abstract:
- lang: eng
  text: IP-XACT is a well accepted standard for the exchange of IP components at Electronic
    System and Register Transfer Level. Still, the creation and manipulation of these
    descriptions at the XML level can be time-consuming and error-prone. In this paper,
    we show that the UML can be consistently applied as an efficient and comprehensible
    frontend for IP-XACT-based IP description and integration. For this, we present
    an IP-XACT UML profile that enables UML-based descriptions covering the same information
    as a corresponding IP-XACT description. This enables the automated generation
    of IP-XACT component and design descriptions from respective UML models. In particular,
    it also allows the integration of existing IPs with UML. To illustrate our approach,
    we present an application example based on the IBM PowerPC Evaluation Kit.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management.
    In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>'
  apa: Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based
    IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in
    Europe Conference &#38; Exhibition. <a href="https://doi.org/10.1109/DATE.2009.5090664">https://doi.org/10.1109/DATE.2009.5090664</a>
  bibtex: '@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A
    UML Frontend for IP-XACT-based IP Management}, DOI={<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>},
    booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim
    and Xie, Tao and Müller, Wolfgang}, year={2009} }'
  chicago: 'Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based
    IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a
    href="https://doi.org/10.1109/DATE.2009.5090664">https://doi.org/10.1109/DATE.2009.5090664</a>.'
  ieee: 'T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based
    IP Management,” presented at the Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition, 2009, doi: <a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>.'
  mla: Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”
    <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>.
  short: 'T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice,
    France, 2009.'
conference:
  name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:54:02Z
date_updated: 2023-01-17T11:54:07Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090664
keyword:
- Unified modeling language
- XML
- Power system modeling
- Application software
- Master-slave
- Power system management
- Acceleration
- Scattering
- Software engineering
- Software standards
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
  isbn:
  - 978-1-4244-3781-8
publisher: IEEE
status: public
title: A UML Frontend for IP-XACT-based IP Management
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37066'
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 multiple system processors. Abstract RTOS simulations
    and timing analysis applies for fast and early estimation to configure it towards
    the individual needs of the application and environment. In this context, a high
    accuracy of the simulation compared to an instruction set simulation (ISS) is
    of key importance. In this paper, we investigate the accuracy of abstract RTOS
    simulation and compare it to ISS and the behavior of the physical system. We show
    that we can reach an increased accuracy of the simulation when we inject noise
    into the time model. Our results indicate that it is sufficient to inject uniformly
    distributed random time values to the RTOS real-time clock.
author:
- 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: 'Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract
    RTOS Simulation. In: <i>Proceedings of DATE’09</i>. ; 2009. doi:<a href="https://doi.org/10.1109/DATE.2009.5090925">10.1109/DATE.2009.5090925</a>'
  apa: Zabel, H., &#38; Müller, W. (2009). Increased Accuracy through Noise Injection
    in Abstract RTOS Simulation. <i>Proceedings of DATE’09</i>. Design, Automation
    &#38; Test in Europe Conference &#38; Exhibition. <a href="https://doi.org/10.1109/DATE.2009.5090925">https://doi.org/10.1109/DATE.2009.5090925</a>
  bibtex: '@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased
    Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={<a href="https://doi.org/10.1109/DATE.2009.5090925">10.1109/DATE.2009.5090925</a>},
    booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang},
    year={2009} }'
  chicago: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise
    Injection in Abstract RTOS Simulation.” In <i>Proceedings of DATE’09</i>. Nice,
    France, 2009. <a href="https://doi.org/10.1109/DATE.2009.5090925">https://doi.org/10.1109/DATE.2009.5090925</a>.
  ieee: 'H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract
    RTOS Simulation,” presented at the Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition, 2009, doi: <a href="https://doi.org/10.1109/DATE.2009.5090925">10.1109/DATE.2009.5090925</a>.'
  mla: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection
    in Abstract RTOS Simulation.” <i>Proceedings of DATE’09</i>, 2009, doi:<a href="https://doi.org/10.1109/DATE.2009.5090925">10.1109/DATE.2009.5090925</a>.
  short: 'H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.'
conference:
  name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:51:44Z
date_updated: 2023-01-17T11:51:48Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090925
keyword:
- Timing
- Analytical models
- Clocks
- Performance analysis
- Scheduling
- Operating systems
- Delay
- Real time systems
- Application software
- Context modeling
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
  isbn:
  - 978-1-4244-3781-8
status: public
title: Increased Accuracy through Noise Injection in Abstract RTOS Simulation
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37063'
abstract:
- lang: eng
  text: Safety-critical automotive systems must fulfill hard real-time constraints
    to guarantee their reliability and safety requirements. In the context of network-based
    electronics systems, high-level timing requirements have to be carefully mastered
    and traced throughout the whole development process. In this paper, we outline
    the management of scheduling-specific timing information by the application of
    a steer-by-wire design example. We apply the principles of the AUTOSAR-compliant
    Timing Augmented Description Language (TADL) following the methodology introduced
    by the TIMMO project[2]. Focus of the example will be the identification of end-to-end
    timing constraints and their refinement by means of stimuli-response event chains.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Ahmed
  full_name: Elfeky, Ahmed
  last_name: Elfeky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication
    Based Real-Time Systems - A Steer-by-Wire Case Study. In: <i>Proceedings of IESS09</i>.
    Springer Verlag; 2009. doi:<a href="https://doi.org/10.1007/978-3-642-04284-3_20">10.1007/978-3-642-04284-3_20</a>'
  apa: Klobedanz, K., Kuznik, C., Elfeky, A., &#38; Müller, W. (2009). Development
    of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.
    <i>Proceedings of IESS09</i>. <a href="https://doi.org/10.1007/978-3-642-04284-3_20">https://doi.org/10.1007/978-3-642-04284-3_20</a>
  bibtex: '@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development
    of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study},
    DOI={<a href="https://doi.org/10.1007/978-3-642-04284-3_20">10.1007/978-3-642-04284-3_20</a>},
    booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz,
    Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009}
    }'
  chicago: Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development
    of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.”
    In <i>Proceedings of IESS09</i>. Springer Verlag, 2009. <a href="https://doi.org/10.1007/978-3-642-04284-3_20">https://doi.org/10.1007/978-3-642-04284-3_20</a>.
  ieee: 'K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive
    Communication Based Real-Time Systems - A Steer-by-Wire Case Study,” 2009, doi:
    <a href="https://doi.org/10.1007/978-3-642-04284-3_20">10.1007/978-3-642-04284-3_20</a>.'
  mla: Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time
    Systems - A Steer-by-Wire Case Study.” <i>Proceedings of IESS09</i>, Springer
    Verlag, 2009, doi:<a href="https://doi.org/10.1007/978-3-642-04284-3_20">10.1007/978-3-642-04284-3_20</a>.
  short: 'K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09,
    Springer Verlag, 2009.'
date_created: 2023-01-17T11:42:03Z
date_updated: 2023-01-17T11:42:08Z
department:
- _id: '672'
doi: 10.1007/978-3-642-04284-3_20
keyword:
- Abstraction Level     Controller Area Network     High Abstraction Level     Event
  Chain     Automotive System
language:
- iso: eng
publication: Proceedings of IESS09
publication_identifier:
  isbn:
  - 978-3-642-04283-6
publisher: Springer Verlag
status: public
title: Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire
  Case Study
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37064'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- 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: 'Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den
    Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.'
  apa: Becker, M., Zabel, H., &#38; Müller, W. (2009). <i>Integration abstrakter RTOS-Simulation
    in den Entwurf eingebetteter automobiler E/E-Systeme</i>. Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.
  bibtex: '@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter
    RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker,
    Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }'
  chicago: Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter
    RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
  ieee: M. Becker, H. Zabel, and W. Müller, “Integration abstrakter RTOS-Simulation
    in den Entwurf eingebetteter automobiler E/E-Systeme,” presented at the Methoden
    und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
    Systemen (MBMV), Berlin, 2009.
  mla: Becker, Markus, et al. <i>Integration Abstrakter RTOS-Simulation in Den Entwurf
    Eingebetteter Automobiler E/E-Systeme</i>. 2009.
  short: 'M. Becker, H. Zabel, W. Müller, in: 2009.'
conference:
  location: Berlin
  name: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen
    und Systemen (MBMV)
date_created: 2023-01-17T11:49:24Z
date_updated: 2023-01-17T11:49:29Z
department:
- _id: '672'
language:
- iso: eng
status: public
title: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler
  E/E-Systeme
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37061'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. Systematic Model-in-the-Loop Test of Embedded Control Systems.
    In: <i>Proceedings of IESS09</i>. ; 2009.'
  apa: Krupp, A., &#38; Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded
    Control Systems. <i>Proceedings of IESS09</i>.
  bibtex: '@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic
    Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of
    IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test
    of Embedded Control Systems.” In <i>Proceedings of IESS09</i>. Friedrichshafen,
    2009.
  ieee: A. Krupp and W. Müller, “Systematic Model-in-the-Loop Test of Embedded Control
    Systems,” 2009.
  mla: Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of
    Embedded Control Systems.” <i>Proceedings of IESS09</i>, 2009.
  short: 'A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.'
date_created: 2023-01-17T11:39:08Z
date_updated: 2023-01-17T11:39:16Z
department:
- _id: '672'
language:
- iso: eng
place: Friedrichshafen
publication: Proceedings of IESS09
status: public
title: Systematic Model-in-the-Loop Test of Embedded Control Systems
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37068'
author:
- first_name: 'R. '
  full_name: 'Doemer, R. '
  last_name: Doemer
- first_name: A.
  full_name: Gerstlauer, A.
  last_name: Gerstlauer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and
    Many-Core Embedded Systems. In: <i>Proceedings of ASP-DAC’09</i>. ; 2009.'
  apa: Doemer, R., Gerstlauer, A., &#38; Müller, W. (2009). Hardware-dependent Software
    for Multi- and Many-Core Embedded Systems. <i>Proceedings of ASP-DAC’09</i>.
  bibtex: '@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan},
    title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems},
    booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R.  and Gerstlauer, A.
    and Müller, Wolfgang}, year={2009} }'
  chicago: Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software
    for Multi- and Many-Core Embedded Systems.” In <i>Proceedings of ASP-DAC’09</i>.
    Yokohama, Japan, 2009.
  ieee: R. Doemer, A. Gerstlauer, and W. Müller, “Hardware-dependent Software for
    Multi- and Many-Core Embedded Systems,” 2009.
  mla: Doemer, R., et al. “Hardware-Dependent Software for Multi- and Many-Core Embedded
    Systems.” <i>Proceedings of ASP-DAC’09</i>, 2009.
  short: 'R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama,
    Japan, 2009.'
date_created: 2023-01-17T11:56:21Z
date_updated: 2023-01-17T11:56:40Z
department:
- _id: '672'
language:
- iso: eng
place: Yokohama, Japan
publication: Proceedings of ASP-DAC'09
status: public
title: Hardware-dependent Software for Multi- and Many-Core Embedded Systems
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '33809'
abstract:
- lang: eng
  text: "Today, mobile and embedded real-time systems have to cope with the migration\r\nand
    allocation of multiple software tasks running on top of a real-time operating\r\nsystem
    (RTOS) residing on one or several system processors. Each RTOS has to\r\nbe configured
    towards the individual needs of the application and environment.\r\nFor this,
    different scheduling strategies and task priorities have to be evaluated in\r\norder
    to keep execution and response times for a given task set. Abstract RTOS\r\nsimulation
    is applied to analyze different parameters in early design phases. This\r\nchapter
    presents a SystemC RTOS library for abstract yet accurate RTOS sim-\r\nulation,
    supporting modeling of preemption in the presence of prioritized and\r\nnested
    interrupts. After introducing basic principles of abstract RTOS simula-\r\ntion,
    we present our SystemC library in detail. Thereafter, we discuss related\r\napproaches
    and close with applications in electronic automotive systems design\r\nand some
    evaluations."
author:
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with
    SystemC. In: Ecker W, Müller W, Dömer R, eds. <i>Hardware Dependent Software -
    Principles and Practice</i>. Springer Verlag; 2009:233-260.'
  apa: Zabel, H., Müller, W., &#38; Gerstlauer, A. (2009). Accurate RTOS Modelling
    and Analysis with SystemC. In W. Ecker, W. Müller, &#38; R. Dömer (Eds.), <i>Hardware
    Dependent Software - Principles and Practice</i> (pp. 233–260). Springer Verlag.
  bibtex: '@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate
    RTOS Modelling and Analysis with SystemC}, booktitle={Hardware Dependent Software
    - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning
    and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller,
    Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }'
  chicago: 'Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS
    Modelling and Analysis with SystemC.” In <i>Hardware Dependent Software - Principles
    and Practice</i>, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer,
    233–60. Dordrecht: Springer Verlag, 2009.'
  ieee: 'H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis
    with SystemC,” in <i>Hardware Dependent Software - Principles and Practice</i>,
    W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp.
    233–260.'
  mla: Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.”
    <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang
    Ecker et al., Springer Verlag, 2009, pp. 233–60.
  short: 'H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.),
    Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht,
    2009, pp. 233–260.'
date_created: 2022-10-18T10:05:32Z
date_updated: 2025-02-26T14:45:39Z
editor:
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
language:
- iso: eng
page: 233-260
place: Dordrecht
publication: Hardware Dependent Software - Principles and Practice
publication_identifier:
  isbn:
  - 978-1-4020-9435-4
publisher: Springer Verlag
status: public
title: Accurate RTOS Modelling and Analysis with SystemC
type: book_chapter
user_id: '5786'
year: '2009'
...
---
_id: '34563'
abstract:
- lang: eng
  text: UML has been widely accepted by the software community for several years.
    As electronic systems design can no longer be seen as an isolated hardware design
    activity, UML becomes of significant interest as a unification language for systems
    description combining both HW and SW components. This article provides a comprehensive
    view of the UML applied to System-on-Chip (SoC) and hardware-related embedded
    systems design. The modeling concepts in the UML language are first introduced,
    including major diagrams for the representation of the behavior and the structure
    of systems. The principles behind application specific UML customizations (UML
    profiles) are summarized, and several examples relevant for SoC design are given,
    such as the SysML (System Modeling Language) and the SoC Profile. Thereafter,
    various approaches associating UML with existing HW/SW design languages are presented.
    Beyond language aspects, the article addresses the question of UML-based design
    flows, and shows how UML can be applied concretely to the development of electronic-based
    systems. The current situation about tool support constitutes the last focus of
    the article. In particular, we show how UML tools can be combined with well-known
    simulation environments, such as MATLAB.
author:
- first_name: Yves
  full_name: Vanderperren, Yves
  last_name: Vanderperren
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Wim
  full_name: Dahaene, Wim
  last_name: Dahaene
citation:
  ama: Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A
    Comprehensive Overview. <i>Design Automation for Embedded Systems</i>. 2008;12:261-292.
    doi:<a href="https://doi.org/10.1007/s10617-008-9028-9">10.1007/s10617-008-9028-9</a>
  apa: Vanderperren, Y., Müller, W., &#38; Dahaene, W. (2008). UML for Electronic
    Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>,
    <i>12</i>, 261–292. <a href="https://doi.org/10.1007/s10617-008-9028-9">https://doi.org/10.1007/s10617-008-9028-9</a>
  bibtex: '@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems
    Design – A Comprehensive Overview}, volume={12}, DOI={<a href="https://doi.org/10.1007/s10617-008-9028-9">10.1007/s10617-008-9028-9</a>},
    journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag},
    author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008},
    pages={261–292} }'
  chicago: 'Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic
    Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded
    Systems</i> 12 (2008): 261–92. <a href="https://doi.org/10.1007/s10617-008-9028-9">https://doi.org/10.1007/s10617-008-9028-9</a>.'
  ieee: 'Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design
    – A Comprehensive Overview,” <i>Design Automation for Embedded Systems</i>, vol.
    12, pp. 261–292, 2008, doi: <a href="https://doi.org/10.1007/s10617-008-9028-9">10.1007/s10617-008-9028-9</a>.'
  mla: Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive
    Overview.” <i>Design Automation for Embedded Systems</i>, vol. 12, Springer-Verlag,
    2008, pp. 261–92, doi:<a href="https://doi.org/10.1007/s10617-008-9028-9">10.1007/s10617-008-9028-9</a>.
  short: Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems
    12 (2008) 261–292.
date_created: 2022-12-19T12:18:21Z
date_updated: 2022-12-19T12:23:56Z
department:
- _id: '672'
doi: 10.1007/s10617-008-9028-9
intvolume: '        12'
keyword:
- UML     SysML     Model-based design     System specification     Modelling languages
language:
- iso: eng
page: 261-292
publication: Design Automation for Embedded Systems
publisher: Springer-Verlag
status: public
title: UML for Electronic Systems Design – A Comprehensive Overview
type: journal_article
user_id: '5786'
volume: 12
year: '2008'
...
---
_id: '34564'
abstract:
- lang: eng
  text: To provide user interfaces for a rich set of devices and interaction modalities,
    we follow a model-based development methodology. We devised an architecture which
    deploys user interfaces specified as dialogue models with abstract interaction
    objects and allows context-based adaptations by means of an external transcoding
    process. For the validation of the applicability of this methodology for developing
    usable multimodal multi-device systems, we present two case studies based on proof-of-concept
    implementations and assessed them with a large set of established design principles
    and different types of modality cooperation.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System
    against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>.
    2008;2(1):25-41. doi:<a href="https://doi.org/10.1007/s12193-008-0003-3">10.1007/s12193-008-0003-3</a>
  apa: Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction
    and Rendering System against Established Design Principles. <i>Journal on Multimodal
    User Interfaces</i>, <i>2</i>(1), 25–41. <a href="https://doi.org/10.1007/s12193-008-0003-3">https://doi.org/10.1007/s12193-008-0003-3</a>
  bibtex: '@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction
    and Rendering System against Established Design Principles}, volume={2}, DOI={<a
    href="https://doi.org/10.1007/s12193-008-0003-3">10.1007/s12193-008-0003-3</a>},
    number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag},
    author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }'
  chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
    and Rendering System against Established Design Principles.” <i>Journal on Multimodal
    User Interfaces</i> 2, no. 1 (2008): 25–41. <a href="https://doi.org/10.1007/s12193-008-0003-3">https://doi.org/10.1007/s12193-008-0003-3</a>.'
  ieee: 'R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering
    System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>,
    vol. 2, no. 1, pp. 25–41, 2008, doi: <a href="https://doi.org/10.1007/s12193-008-0003-3">10.1007/s12193-008-0003-3</a>.'
  mla: Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
    and Rendering System against Established Design Principles.” <i>Journal on Multimodal
    User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href="https://doi.org/10.1007/s12193-008-0003-3">10.1007/s12193-008-0003-3</a>.
  short: R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
date_created: 2022-12-19T12:22:50Z
date_updated: 2022-12-19T12:23:05Z
department:
- _id: '672'
doi: 10.1007/s12193-008-0003-3
intvolume: '         2'
issue: '1'
keyword:
- Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design
  principles
language:
- iso: eng
page: 25-41
publication: Journal on Multimodal User Interfaces
publisher: Springer-Verlag
status: public
title: Assessment of a Multimodal Interaction and Rendering System against Established
  Design Principles
type: journal_article
user_id: '5786'
volume: 2
year: '2008'
...
---
_id: '33815'
abstract:
- lang: eng
  text: Test processes in the automotive industry are tool-intensive and affected
    by technologically heterogeneous test infrastructures. In the industrial practice
    a product has to pass tests at several levels of abstraction such as Model-in-the-Loop
    (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different
    test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation
    Desk, National Instruments Teststand) and almost each test system requests its
    own proprietary test description language. The exchange of tests between different
    test systems and the reuse of tests between different test levels is normally
    not possible. Efforts to integrate these heterogeneous test environments, to address
    test exchange in a general manner and to standardize and harmonize the existing
    language environment are still at the beginning and not tailored towards the requirements
    of the automotive domain. To keep the whole development and test process efficient
    and manageable, the definition of an integrated and seamless approach is required.
    TestML – the test exchange language we present in this article – is defined to
    overcome the technological obstacles (different test language syntax and semantics,
    different data formats and interface descriptions) that almost automatically accompany
    the application of heterogeneous test tools and test infrastructures. TestML supports
    the exchange of tests between different test notations in a heterogeneous tool
    environment. In this paper, we introduce the XML schema of TestML and demonstrate
    the efficiency of the interchange format by giving examples from the model-based
    development of electronic control units. Tool support is illustrated by an application
    with Simulink/Stateflow.
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Ines
  full_name: Fey, Ines
  last_name: Fey
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Mirko
  full_name: Conrad, Mirko
  last_name: Conrad
- first_name: Christian
  full_name: Wewetzer, Christian
  last_name: Wewetzer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test
    Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger
    IH, Meisinger M, eds. <i>ASWSD 2006: Model-Driven Development of Reliable Automotive
    Services</i>. Springer Verlag; 2008:98-117. doi:<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>'
  apa: 'Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., &#38; Müller,
    W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded
    Software. In M. Broy, I. H. Krüger, &#38; M. Meisinger (Eds.), <i>ASWSD 2006:
    Model-Driven Development of Reliable Automotive Services</i> (pp. 98–117). Springer
    Verlag. <a href="https://doi.org/10.1007/978-3-540-70930-5_7">https://doi.org/10.1007/978-3-540-70930-5_7</a>'
  bibtex: '@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin,
    Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing
    of Embedded Software}, DOI={<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>},
    booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services},
    publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp,
    Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy,
    Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117}
    }'
  chicago: 'Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer,
    and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing
    of Embedded Software.” In <i>ASWSD 2006: Model-Driven Development of Reliable
    Automotive Services</i>, edited by Manfred Broy, Ingolf H. Krüger, and Michael
    Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. <a href="https://doi.org/10.1007/978-3-540-70930-5_7">https://doi.org/10.1007/978-3-540-70930-5_7</a>.'
  ieee: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML
    – A Test Exchange Language for Model-based Testing of Embedded Software,” in <i>ASWSD
    2006: Model-Driven Development of Reliable Automotive Services</i>, M. Broy, I.
    H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp.
    98–117.'
  mla: 'Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based
    Testing of Embedded Software.” <i>ASWSD 2006: Model-Driven Development of Reliable
    Automotive Services</i>, edited by Manfred Broy et al., Springer Verlag, 2008,
    pp. 98–117, doi:<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>.'
  short: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M.
    Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of
    Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.'
date_created: 2022-10-18T11:19:31Z
date_updated: 2022-10-18T11:20:02Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70930-5_7
editor:
- first_name: Manfred
  full_name: Broy, Manfred
  last_name: Broy
- first_name: Ingolf H.
  full_name: Krüger, Ingolf H.
  last_name: Krüger
- first_name: Michael
  full_name: Meisinger, Michael
  last_name: Meisinger
keyword:
- Test Behavior
- Test Exchange
- System Under Test
- Hybrid Automaton
- Test Execution
language:
- iso: eng
page: 98-117
place: Berlin, Heidelberg
publication: 'ASWSD 2006: Model-Driven Development of Reliable Automotive Services'
publication_identifier:
  isbn:
  - 978-3-540-70929-9
publisher: Springer Verlag
status: public
title: TestML – A Test Exchange Language for Model-based Testing of Embedded Software
type: book_chapter
user_id: '5786'
year: '2008'
...
---
_id: '53583'
citation:
  ama: Müller W, Wolfe J, eds. <i>Proceedings of the 5th International DAC Workshop
    of UML for SoC Design</i>.; 2008.
  apa: Müller, W., &#38; Wolfe, J. (Eds.). (2008). <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>.
  bibtex: '@book{Müller_Wolfe_2008, place={Anaheim, CA, USA}, title={Proceedings of
    the 5th International DAC Workshop of UML for SoC Design}, year={2008} }'
  chicago: Müller, Wolfgang, and John Wolfe, eds. <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008.
  ieee: W. Müller and J. Wolfe, Eds., <i>Proceedings of the 5th International DAC
    Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008.
  mla: Müller, Wolfgang, and John Wolfe, editors. <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>. 2008.
  short: W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop
    of UML for SoC Design, Anaheim, CA, USA, 2008.
date_created: 2024-04-18T20:44:43Z
date_updated: 2024-04-18T20:44:48Z
department:
- _id: '58'
editor:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: John
  full_name: Wolfe, John
  last_name: Wolfe
language:
- iso: eng
place: Anaheim, CA, USA
status: public
title: Proceedings of the 5th International DAC Workshop of UML for SoC Design
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '53594'
citation:
  ama: Wolfe J, Müller W, eds. <i>Proceedings of the 4th DAC Workshop on UML for SOC
    Design </i>.; 2008.
  apa: Wolfe, J., &#38; Müller, W. (Eds.). (2008). <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>.
  bibtex: '@book{Wolfe_Müller_2008, place={Anaheim CA, USA}, title={Proceedings of
    the 4th DAC Workshop on UML for SOC Design }, year={2008} }'
  chicago: Wolfe, John, and Wolfgang Müller, eds. <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>. Anaheim CA, USA, 2008.
  ieee: J. Wolfe and W. Müller, Eds., <i>Proceedings of the 4th DAC Workshop on UML
    for SOC Design </i>. Anaheim CA, USA, 2008.
  mla: Wolfe, John, and Wolfgang Müller, editors. <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>. 2008.
  short: J. Wolfe, W. Müller, eds., Proceedings of the 4th DAC Workshop on UML for
    SOC Design , Anaheim CA, USA, 2008.
date_created: 2024-04-18T21:54:23Z
date_updated: 2024-04-18T22:11:24Z
department:
- _id: '58'
editor:
- first_name: John
  full_name: Wolfe, John
  last_name: Wolfe
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
language:
- iso: eng
place: Anaheim CA, USA
status: public
title: 'Proceedings of the 4th DAC Workshop on UML for SOC Design '
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '37075'
abstract:
- lang: eng
  text: Complex control oriented embedded systems with hard real-time constraints
    require real-time operation system (RTOS) for predictable timing behavior. To
    support the evaluation of different scheduling strategies and task priorities,
    we use an abstract RTOS model based on SystemC. In this article, we present an
    annotation method for time estimation that supports flexible simulation and validation
    of real-time-constraints for task migration between different target processors
    without loss of simulation performance and less memory overhead.
author:
- 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: Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS
    Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds.
    2008;271. doi:<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>
  apa: Zabel, H., &#38; Müller, W. (2008). <i>An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration</i> (L. Kleinjohann
    &#38; B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. <a href="https://doi.org/10.1007/978-0-387-09661-2_18">https://doi.org/10.1007/978-0-387-09661-2_18</a>
  bibtex: '@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International
    Federation for Information Processing}, title={An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271},
    DOI={<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>},
    publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann,
    L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation
    for Information Processing} }'
  chicago: 'Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L.
    Kleinjohann and B. Kleinjohann.  IFIP – The International Federation for Information
    Processing. Dordrecht: Springer Verlag, 2008. <a href="https://doi.org/10.1007/978-0-387-09661-2_18">https://doi.org/10.1007/978-0-387-09661-2_18</a>.'
  ieee: 'H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract
    RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag,
    Dordrecht, 2008, doi: <a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>.'
  mla: Zabel, Henning, and Wolfgang Müller. <i>An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration</i>. Edited by
    L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>.
  short: H. Zabel, W. Müller, 271 (2008).
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2008)
date_created: 2023-01-17T12:08:21Z
date_updated: 2023-01-17T12:08:25Z
department:
- _id: '672'
doi: 10.1007/978-0-387-09661-2_18
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
intvolume: '       271'
keyword:
- Execution Time     Schedule Strategy     Simulation Speed     Task Migration     Atomic
  Block
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-0-387-09660-5
publisher: Springer Verlag
series_title: ' IFIP – The International Federation for Information Processing'
status: public
title: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor
  Task Migration
type: conference
user_id: '5786'
volume: 271
year: '2008'
...
---
_id: '37072'
abstract:
- lang: eng
  text: "Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs-\r\nzeiten
    und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis-\r\nsen
    und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis
    von\r\nSystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen
    allerdings nur\r\nunzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling
    und ihren hard-\r\nwareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte
    Scheduler für Softwa-\r\nre Task und Interrupt Service Routinen. Diese Trennung
    erlaubt die präzise Modellierung\r\nvon Interrupt Prioritäten und Interrupt Scheduling
    unabhängig von dem eigentlichen RTOS\r\nScheduler."
author:
- 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: 'Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen
    in SystemC. In: Scholl Ch, Disch S, eds. <i>Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System</i>. Shaker Verlag;
    2008.'
  apa: Zabel, H., &#38; Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten
    RTOS Modellen in SystemC. In Ch. Scholl &#38; S. Disch (Eds.), <i>Methoden und
    Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>.
    Shaker Verlag.
  bibtex: '@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt
    Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen
    zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker
    Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and
    Disch, S.}, year={2008} }'
  chicago: 'Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in
    Abstrakten RTOS Modellen in SystemC.” In <i>Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch.
    Scholl and S. Disch. Aachen: Shaker Verlag, 2008.'
  ieee: H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS
    Modellen in SystemC,” in <i>Methoden und Beschreibungs-sprachen zur Modellierung
    und Verifikation von Schaltungen und System</i>, 2008.
  mla: Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten
    RTOS Modellen in SystemC.” <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung
    Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch,
    Shaker Verlag, 2008.
  short: 'H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen,
    2008.'
date_created: 2023-01-17T12:05:11Z
date_updated: 2023-01-17T12:05:17Z
department:
- _id: '672'
editor:
- first_name: Ch.
  full_name: Scholl, Ch.
  last_name: Scholl
- first_name: S.
  full_name: Disch, S.
  last_name: Disch
language:
- iso: eng
place: Aachen
publication: Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation
  von Schaltungen und System
publisher: Shaker Verlag
status: public
title: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
year: '2008'
...
---
_id: '37076'
abstract:
- lang: eng
  text: "An komplexe Steuersoftware werden harte Anforderungen bez ̈ug-\r\nlich der
    Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines\r\nEchtzeit-Schedulingverfahrens
    ist hier entscheidend. Die Verwendung\r\nvon Interrupts in einem Echtzeitsystem
    erlaubt die zeitnahe Reaktion\r\nauf externe Ereignisse. Sie erschwert allerdings
    die Vorhersagbarkeit\r\nvon Zeitschranken.\r\nIn diesem Bericht wird eine Methode
    zur abstrakten Simulation\r\neines Echtzeitbetriebssystems (Real-Time Operating
    System/RTOS)\r\nin der Systembeschreibungssprache SystemC vorgestellt. Die Verwen-\r\ndung
    eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver-\r\nschiedener Schedulingverfahren
    zu einem fr ̈uhen Zeitpunkt im Ent-\r\nwurf des Systems. Interrupts unterliegen
    allerdings nicht einem RTOS-\r\nSchedulingverfahren und m ̈ussen daher gesondert
    behandelt werden.\r\nDieser Bericht beschreibt die Implementierung eines kanonischen\r\nRTOS-Modells
    zur fr ̈uhen Analyse von Schedulingverfahren, das ei-\r\nne getrennte Modellierung
    von Task- und Interrupt-Scheduling er-\r\nlaubt. Dieser Ansatz erlaubt die Trennung
    des hardwareabh ̈angigen\r\nInterrupt-Scheduling in ein separates Modell und eine
    Evaluierung des\r\nSchedules, das sich rein auf Tasks bezieht."
author:
- 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: Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).
  apa: Zabel, H., &#38; Müller, W. (2007). <i>Simulation mit abstrakten RTOS Modellen
    in SystemC</i> (Vol. 6, Issue 4).
  bibtex: '@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation
    mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel,
    Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }'
  chicago: Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen
    in SystemC.” C-LAB Report. Paderborn, 2007.
  ieee: H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,”
    vol. 6, no. 4. Paderborn, 2007.
  mla: Zabel, Henning, and Wolfgang Müller. <i>Simulation Mit Abstrakten RTOS Modellen
    in SystemC</i>. no. 4, 2007.
  short: H. Zabel, W. Müller, 6 (2007).
date_created: 2023-01-17T12:11:18Z
date_updated: 2023-01-17T12:11:23Z
department:
- _id: '672'
intvolume: '         6'
issue: '4'
language:
- iso: eng
place: Paderborn
publication_identifier:
  issn:
  - 1619-7879
series_title: C-LAB Report
status: public
title: Simulation mit abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
volume: 6
year: '2007'
...
---
_id: '37083'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. Systematic Testbench Specification for Constrained Randomized
    Test and Functional Coverage. In: <i>Proceedings of the 21st European Conference
    on Modelling and Simulation (ECMS 2007)</i>. ; 2007.'
  apa: Krupp, A., &#38; Müller, W. (2007). Systematic Testbench Specification for
    Constrained Randomized Test and Functional Coverage. <i>Proceedings of the 21st
    European Conference on Modelling and Simulation (ECMS 2007)</i>.
  bibtex: '@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic
    Testbench Specification for Constrained Randomized Test and Functional Coverage},
    booktitle={Proceedings of the 21st European Conference on Modelling and Simulation
    (ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
    for Constrained Randomized Test and Functional Coverage.” In <i>Proceedings of
    the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>. Prague,
    Czech Republic, 2007.
  ieee: A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained
    Randomized Test and Functional Coverage,” 2007.
  mla: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
    for Constrained Randomized Test and Functional Coverage.” <i>Proceedings of the
    21st European Conference on Modelling and Simulation (ECMS 2007)</i>, 2007.
  short: 'A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on
    Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.'
date_created: 2023-01-17T12:20:50Z
date_updated: 2023-01-17T12:20:56Z
department:
- _id: '672'
language:
- iso: eng
place: Prague, Czech Republic
publication: Proceedings of the 21st European Conference on Modelling and Simulation
  (ECMS 2007)
status: public
title: Systematic Testbench Specification for Constrained Randomized Test and Functional
  Coverage
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37080'
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Ines
  full_name: Fey, Ines
  last_name: Fey
- first_name: M.
  full_name: Conrad, M.
  last_name: Conrad
- first_name: Ch.
  full_name: Wewetzer, Ch.
  last_name: Wewetzer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange
    Language for Model-based Testing of Embedded Software. In: <i>Proceedings of the
    Automotive Software Workshop ’06</i>. ; 2007.'
  apa: Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., &#38; Müller, W. (2007).
    TestML - A Test Exchange Language for Model-based Testing of Embedded Software.
    <i>Proceedings of the Automotive Software Workshop ’06</i>.
  bibtex: '@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML
    - A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings
    of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines
    and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }'
  chicago: Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller.
    “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.”
    In <i>Proceedings of the Automotive Software Workshop ’06</i>, 2007.
  ieee: J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test
    Exchange Language for Model-based Testing of Embedded Software,” 2007.
  mla: Großmann, Jürgen, et al. “TestML - A Test Exchange Language for Model-Based
    Testing of Embedded Software.” <i>Proceedings of the Automotive Software Workshop
    ’06</i>, 2007.
  short: 'J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings
    of the Automotive Software Workshop ’06, 2007.'
date_created: 2023-01-17T12:19:06Z
date_updated: 2023-01-17T12:19:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the Automotive Software Workshop '06
status: public
title: TestML - A Test Exchange Language for Model-based Testing of Embedded Software
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37079'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering.
    In: <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>. ; 2007.'
  apa: Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in
    Engineering. <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>.
  bibtex: '@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and
    Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings
    of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007}
    }'
  chicago: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams
    in Engineering.” In <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>.
    San Diego, USA, 2007.
  ieee: W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,”
    2007.
  mla: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in
    Engineering.” <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>,
    2007.
  short: 'W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07,
    San Diego, USA, 2007.'
date_created: 2023-01-17T12:13:03Z
date_updated: 2023-01-17T12:13:09Z
department:
- _id: '672'
language:
- iso: eng
place: San Diego, USA
publication: Proceedings of the UML for SoC Design Workshop at DAC'07
status: public
title: On the Use and Misuse of UML- Application of Diagrams in Engineering
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37085'
abstract:
- lang: eng
  text: Smart Cards are becoming a ubiquitous means for securing a wide range of interactive
    applications. However in many cases its use is limited for authentication purposes
    only. In this paper we extend the use of smart cards for carrying abstract user
    interface descriptions which can be rendered on dierent and potentially remote
    clients that in addition can support varying interaction modalities. This adds
    on the one hand to the security since a backend application cannot be used without
    the UI description, and on the other hand to the versatility of applications,
    since all devices with a respective renderer for certain modalities can be utilized.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andrés
  full_name: Marin-López, Andrés
  last_name: Marin-López
- first_name: Daniel
  full_name: Díaz-Sánchez, Daniel
  last_name: Díaz-Sánchez
citation:
  ama: 'Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for
    Secure and Device Independent User Interfaces. In: <i>Proceedings of the International
    Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>.
    ; 2007.'
  apa: Schäfer, R., Müller, W., Marin-López, A., &#38; Díaz-Sánchez, D. (2007). Using
    Smart Cards for Secure and Device Independent User Interfaces. <i>Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore},
    title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López,
    Andrés and Díaz-Sánchez, Daniel}, year={2007} }'
  chicago: Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez.
    “Using Smart Cards for Secure and Device Independent User Interfaces.” In <i>Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)</i>. Singapore, 2007.
  ieee: R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Using Smart Cards
    for Secure and Device Independent User Interfaces,” 2007.
  mla: Schäfer, Robbie, et al. “Using Smart Cards for Secure and Device Independent
    User Interfaces.” <i>Proceedings of the International Conference on Mobile Technology,
    Applications and Systems (Mobility 2007)</i>, 2007.
  short: 'R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007), Singapore, 2007.'
date_created: 2023-01-17T12:23:34Z
date_updated: 2023-01-17T12:23:39Z
department:
- _id: '672'
language:
- iso: eng
place: Singapore
publication: Proceedings of the International Conference on Mobile Technology, Applications
  and Systems (Mobility 2007)
status: public
title: Using Smart Cards for Secure and Device Independent User Interfaces
type: conference
user_id: '5786'
year: '2007'
...