---
_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: '3033'
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Richard
  full_name: Karp, Richard
  last_name: Karp
- first_name: Emo
  full_name: Welzl, Emo
  last_name: Welzl
citation:
  ama: Blömer J, Karp R, Welzl E. The rank of sparse random matrices over finite fields.
    <i>Random Structures \&#38; Algorithms</i>. 1997;(4):407-419. doi:<a href="https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y">10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y</a>
  apa: Blömer, J., Karp, R., &#38; Welzl, E. (1997). The rank of sparse random matrices
    over finite fields. <i>Random Structures \&#38; Algorithms</i>, (4), 407–419.
    <a href="https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y">https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y</a>
  bibtex: '@article{Blömer_Karp_Welzl_1997, title={The rank of sparse random matrices
    over finite fields}, DOI={<a href="https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y">10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y</a>},
    number={4}, journal={Random Structures \&#38; Algorithms}, author={Blömer, Johannes
    and Karp, Richard and Welzl, Emo}, year={1997}, pages={407–419} }'
  chicago: 'Blömer, Johannes, Richard Karp, and Emo Welzl. “The Rank of Sparse Random
    Matrices over Finite Fields.” <i>Random Structures \&#38; Algorithms</i>, no.
    4 (1997): 407–19. <a href="https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y">https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y</a>.'
  ieee: J. Blömer, R. Karp, and E. Welzl, “The rank of sparse random matrices over
    finite fields,” <i>Random Structures \&#38; Algorithms</i>, no. 4, pp. 407–419,
    1997.
  mla: Blömer, Johannes, et al. “The Rank of Sparse Random Matrices over Finite Fields.”
    <i>Random Structures \&#38; Algorithms</i>, no. 4, 1997, pp. 407–19, doi:<a href="https://doi.org/10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y">10.1002/(SICI)1098-2418(199707)10:4&#60;407::AID-RSA1&#62;3.0.CO;2-Y</a>.
  short: J. Blömer, R. Karp, E. Welzl, Random Structures \&#38; Algorithms (1997)
    407–419.
date_created: 2018-06-05T08:34:49Z
date_updated: 2022-01-06T06:58:52Z
department:
- _id: '64'
doi: 10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y
extern: '1'
issue: '4'
keyword:
- random matrices
- rank
- finite fields
page: 407-419
publication: Random Structures \& Algorithms
publication_status: published
status: public
title: The rank of sparse random matrices over finite fields
type: journal_article
user_id: '25078'
year: '1997'
...