---
_id: '37046'
abstract:
- lang: eng
  text: In this article, we present a flexible simulation environment for embedded
    real-time software refinement by a mixed level cosimulation. For this, we combine
    the native speed of an abstract real-time operating system (RTOS) model in SystemC
    with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU.
    In order to support stepwise RTOS software refinement from system level to the
    target software, each task can be separately migrated between the native execution
    and the ISS. By adapting the dynamic binary translation approach to an efficient
    but yet very accurate synchronization scheme the overhead of QEMU user mode execution
    is only factor two compared to native SystemC. Furthermore, the simulation speed
    increases almost linearly according to the utilization of the task set abstracted
    by the native execution. Hereby, the simulation time can be considerably reduced
    by cosimulating just a subset of tasks on QEMU.
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. A Mixed Level Simulation Environment for Stepwise
    RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag;
    2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>'
  apa: Becker, M., Zabel, H., &#38; Müller, W. (2010). <i>A Mixed Level Simulation
    Environment for Stepwise RTOS Software Refinement</i> (L. Kleinjohann &#38; B.
    Kleinjohann, Eds.). Springer Verlag. <a href="https://doi.org/10.1007/978-3-642-15234-4_15">https://doi.org/10.1007/978-3-642-15234-4_15</a>
  bibtex: '@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed
    Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>},
    publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller,
    Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }'
  chicago: 'Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation
    Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and
    B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_15">https://doi.org/10.1007/978-3-642-15234-4_15</a>.'
  ieee: 'M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment
    for Stepwise RTOS Software Refinement,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>.'
  mla: Becker, Markus, et al. <i>A Mixed Level Simulation Environment for Stepwise
    RTOS Software Refinement</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer
    Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>.
  short: 'M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
    Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:01:30Z
date_updated: 2023-01-17T11:03:00Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_15
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Application Programming Interface     User Mode     Kernel Space     System Level
  Design     Mixed Level
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37044'
abstract:
- lang: eng
  text: In this paper we present new concepts to resolve ECU (Electronic Control Unit)
    failures in FlexRay networks. Our approach extends the FlexRay bus schedule by
    redundant slots with modifications in the communication and slot assignment. We
    introduce additional backup nodes to replace faulty nodes. To reduce the required
    memory resources of the backup nodes, we distribute redundant tasks over different
    nodes and propose the migration of tasks to the backup node at runtime. We investigate
    different solutions to migrate the redundant tasks to the backup node by time-triggered
    and event-triggered transmissions.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- 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: Yuan
  full_name: Zhi, Yuan
  last_name: Zhi
citation:
  ama: 'Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant
    FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
    doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>'
  apa: Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., &#38; Zhi, Y. (2010). <i>Task
    Migration for Fault-Tolerant FlexRay Networks</i> (L. Kleinjohann &#38; B. Kleinjohann,
    Eds.). Springer Verlag. <a href="https://doi.org/10.1007/978-3-642-15234-4_7">https://doi.org/10.1007/978-3-642-15234-4_7</a>
  bibtex: '@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht},
    title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>},
    publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel,
    Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann,
    B.}, year={2010} }'
  chicago: 'Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan
    Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann
    and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_7">https://doi.org/10.1007/978-3-642-15234-4_7</a>.'
  ieee: 'K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration
    for Fault-Tolerant FlexRay Networks,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>.'
  mla: Klobedanz, Kay, et al. <i>Task Migration for Fault-Tolerant FlexRay Networks</i>.
    Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>.
  short: 'K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann,
    B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T10:59:52Z
date_updated: 2023-01-17T11:00:00Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_7
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Faulty Node     Static Segment     Slot Assignment     Task Migration     Communication
  Controller
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Task Migration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37048'
abstract:
- lang: eng
  text: We introduce a structured methodology for the generation of executable test
    environments from textual requirement specifications via UML class diagrams and
    the application of the classification tree methodology for embedded systems. The
    first phase is a stepwise transformation from unstructured English text into a
    textual normal form (TNF), which is automatically translated into UML class diagrams.
    After annotations of the class diagrams and the definition of test cases by sequence
    diagrams, both are converted into classification trees. From the classification
    trees we can finally generate SystemVerilog code. The methodology is introduced
    and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alexander
  full_name: Bol, Alexander
  last_name: Bol
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Ola
  full_name: Lundkvist, Ola
  last_name: Lundkvist
citation:
  ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
    from Natural Language Requirement Specifications for Embedded Real-Time Systems.
    In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>'
  apa: Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of
    Executable Testbenches from Natural Language Requirement Specifications for Embedded
    Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag.
    <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>
  bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>},
    publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
    Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
    }'
  chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
    Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>.'
  ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
    Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
    Systems,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.'
  mla: Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural
    Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited
    by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.
  short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
    (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:09:48Z
date_updated: 2023-01-17T11:09:54Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Natural Language     UML     SystemVerilog     Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
  for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37047'
abstract:
- lang: eng
  text: We introduce a structured methodology for the generation of executable test
    environments from textual requirement specifications via UML class diagrams and
    the application of the classification tree methodology for embedded systems. The
    first phase is a stepwise transformation from unstructured English text into a
    textual normal form (TNF), which is automatically translated into UML class diagrams.
    After annotations of the class diagrams and the definition of test cases by sequence
    diagrams, both are converted into classification trees. From the classification
    trees we can finally generate SystemVerilog code. The methodology is introduced
    and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alexander
  full_name: Bol, Alexander
  last_name: Bol
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Ola
  full_name: Lundkvist, Ola
  last_name: Lundkvist
citation:
  ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
    from Natural Language Requirement Specifications for Embedded Real-Time Systems.
    In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>'
  apa: Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of
    Executable Testbenches from Natural Language Requirement Specifications for Embedded
    Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag.
    <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>
  bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>},
    publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
    Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
    }'
  chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
    Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>.'
  ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
    Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
    Systems,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.'
  mla: Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural
    Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited
    by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.
  short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
    (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:05:55Z
date_updated: 2025-03-12T16:39:13Z
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Natural Language     UML     SystemVerilog     Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
  for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...