@inproceedings{36918,
  abstract     = {{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       = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}},
  keywords     = {{Computational modeling, Finite element analysis, Prototypes, Abstracts, Software, Fault tolerance, Fault tolerant systems}},
  location     = {{Berlin}},
  publisher    = {{IEEE}},
  title        = {{{Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}}},
  doi          = {{10.1109/ICCPS.2014.6843726}},
  year         = {{2014}},
}

@article{3033,
  author       = {{Blömer, Johannes and Karp, Richard and Welzl, Emo}},
  journal      = {{Random Structures \& Algorithms}},
  keywords     = {{random matrices, rank, finite fields}},
  number       = {{4}},
  pages        = {{407--419}},
  title        = {{{The rank of sparse random matrices over finite fields}}},
  doi          = {{10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y}},
  year         = {{1997}},
}