---
_id: '36918'
abstract:
- lang: eng
  text: This paper presents an advanced eight levels spanning SystemC based virtual
    platform methodology and framework - referred to as HeroeS 3 - providing smooth
    application to platform mapping and continuous co-refinement of a virtual prototype
    with its physical environment model. For heterogeneity support, various SystemC
    extensions are combined covering continuous/discrete models of computation and
    different communication abstractions, such as analog mixed-signal models, abstract
    RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability
    assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to
    avoid risking physical injury or damage. Also, simulation results are deterministic
    and can be evaluated interactively or offline. We apply FEM to both the physical
    environment model and the different abstractions of the virtual prototype. Currently,
    we focus on sensor failures and application control flow errors.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC
    Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a
    href="https://doi.org/10.1109/ICCPS.2014.6843726">10.1109/ICCPS.2014.6843726</a>'
  apa: Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in
    a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>.
    ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a
    href="https://doi.org/10.1109/ICCPS.2014.6843726">https://doi.org/10.1109/ICCPS.2014.6843726</a>
  bibtex: '@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault
    Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for
    Cyber Physical Systems}, DOI={<a href="https://doi.org/10.1109/ICCPS.2014.6843726">10.1109/ICCPS.2014.6843726</a>},
    publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang},
    year={2014} }'
  chicago: 'Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling
    in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical
    Systems.” Berlin: IEEE, 2014. <a href="https://doi.org/10.1109/ICCPS.2014.6843726">https://doi.org/10.1109/ICCPS.2014.6843726</a>.'
  ieee: 'M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous
    SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented
    at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin,
    2014, doi: <a href="https://doi.org/10.1109/ICCPS.2014.6843726">10.1109/ICCPS.2014.6843726</a>.'
  mla: Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC
    Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a
    href="https://doi.org/10.1109/ICCPS.2014.6843726">10.1109/ICCPS.2014.6843726</a>.
  short: 'M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.'
conference:
  location: Berlin
  name: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
date_created: 2023-01-16T11:57:08Z
date_updated: 2023-01-16T11:57:22Z
department:
- _id: '58'
doi: 10.1109/ICCPS.2014.6843726
keyword:
- Computational modeling
- Finite element analysis
- Prototypes
- Abstracts
- Software
- Fault tolerance
- Fault tolerant systems
language:
- iso: eng
place: Berlin
publisher: IEEE
status: public
title: Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework
  for Cyber Physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '39061'
abstract:
- lang: eng
  text: This article presents an approach, which combines theorem proving-based refinement
    with model checking for state based real-time systems. Our verification flow starts
    from UML state diagrams, which are translated to the formal B language and are
    model checked for real-time properties. By means of the B language and a B theorem
    prover, refined state diagrams are verified against their abstract representation.
    The approach is presented by means of the refinement of a digital echo cancellation
    unit.
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
- first_name: Ian
  full_name: Oliver, Ian
  last_name: Oliver
citation:
  ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
    Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004.
    doi:<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>'
  apa: Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model
    Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>.
    Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a
    href="https://doi.org/10.1109/DATE.2004.1269214">https://doi.org/10.1109/DATE.2004.1269214</a>
  bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
    and Model Checking of An Echo Cancellation Unit}, DOI={<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>},
    booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
    and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
  chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
    Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’
    Forum</i>. Paris, 2004. <a href="https://doi.org/10.1109/DATE.2004.1269214">https://doi.org/10.1109/DATE.2004.1269214</a>.
  ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking
    of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation
    and Test in Europe Conference and Exhibition, 2004, doi: <a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>.'
  mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
    Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>.
  short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
    Paris, 2004.'
conference:
  name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
  isbn:
  - 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39505'
abstract:
- lang: eng
  text: '3D-graphics are becoming popular in a steadily increasing number of areas
    such as entertainment, scientific visualization, simulation, and virtual reality.
    Despite this rapid growth the generation of animated 3D scenes is by no means
    trivial. Since animated 3D objects evolve over time the authors denote these objects
    as 4D. The article presents a novel approach to the rapid prototyping of 4D models.
    They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based
    approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL)
    for the specification of the dynamics in 4D scenes. AAL provides support for different
    levels of abstraction: primitives, structured objects, animated objects, and animated
    (autonomous) agents.'
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: R.
  full_name: Hunstock, R.
  last_name: Hunstock
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping
    of 4D Scenes. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>.
    ; 1997. doi:<a href="https://doi.org/10.1109/VL.1997.626601">10.1109/VL.1997.626601</a>'
  apa: Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &#38; Müller, W. (1997).
    Visual-Textual Prototyping of 4D Scenes. <i>Proceedings of the 1997 IEEE Symposium
    on Visual Languages</i>. 1997 IEEE Symposium on Visual Languages. <a href="https://doi.org/10.1109/VL.1997.626601">https://doi.org/10.1109/VL.1997.626601</a>
  bibtex: '@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri,
    Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={<a href="https://doi.org/10.1109/VL.1997.626601">10.1109/VL.1997.626601</a>},
    booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker,
    M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang},
    year={1997} }'
  chicago: Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang
    Müller. “Visual-Textual Prototyping of 4D Scenes.” In <i>Proceedings of the 1997
    IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href="https://doi.org/10.1109/VL.1997.626601">https://doi.org/10.1109/VL.1997.626601</a>.
  ieee: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual
    Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages,
    1997, doi: <a href="https://doi.org/10.1109/VL.1997.626601">10.1109/VL.1997.626601</a>.'
  mla: Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” <i>Proceedings
    of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href="https://doi.org/10.1109/VL.1997.626601">10.1109/VL.1997.626601</a>.
  short: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings
    of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.'
conference:
  name: 1997 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:48:57Z
date_updated: 2023-01-24T11:49:01Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626601
keyword:
- Prototypes
- Layout
- Animation
- Command languages
- Application software
- Libraries
- Virtual reality
- Computer graphics
- Hardware
- Context modeling
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-8144-6
status: public
title: Visual-Textual Prototyping of 4D Scenes
type: conference
user_id: '5786'
year: '1997'
...
---
_id: '39541'
abstract:
- lang: eng
  text: We investigate a translation of SDL diagrams into the complete visual representation
    of Pictorial Janus (PJ) programs in order to analyze the specification by visual
    debugging and animation. We additionally introduce timing concepts to PJ (Timed
    PJ) for a mapping of the SDL timing statements. The concepts transforming SDL
    interaction and process diagrams into Timed PJ are outlined by an example sketching
    the transformation of an Ethernet CSMA/CD protocol specification.
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete
    Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>'
  apa: Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams
    Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>.
    <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>
  bibtex: '@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany
    }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>}, booktitle={Proceedings
    of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang
    and Tahedl, C.}, year={1995} }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams
    Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual
    Languages</i>.  Darmstadt, Germany , 1995. <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>.
  ieee: 'G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into
    a Complete Visual Representation,” 1995, doi: <a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.'
  mla: Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual
    Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.
  short: 'G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual
    Languages,  Darmstadt, Germany , 1995.'
date_created: 2023-01-24T12:07:26Z
date_updated: 2023-01-24T12:07:33Z
department:
- _id: '672'
doi: 10.1109/VL.1995.520803
keyword:
- Animation
- Timing
- Debugging
- Ethernet networks
- Multiaccess communication
- Protocols
- Computer languages
- Prototypes
- Environmental management
- Visualization
language:
- iso: eng
place: ' Darmstadt, Germany '
publication: Proceedings of Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-7045-2
status: public
title: Transforming SDL Diagrams Into a Complete Visual Representation
type: conference
user_id: '5786'
year: '1995'
...