@inproceedings{37053,
  abstract     = {{Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models.}},
  author       = {{Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}},
  booktitle    = {{Proceedings of HLDVT2010}},
  keywords     = {{Hardware, Microprogramming, Application software, Timing, Protocols, Virtual prototyping, Real time systems, Sampling methods, Operating systems, Emulation}},
  location     = {{Anaheim, FL, USA}},
  publisher    = {{IEEE}},
  title        = {{{Verification of Real-Time Properties for Hardware-Dependant Software}}},
  year         = {{2010}},
}

@inproceedings{39078,
  author       = {{Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }},
  booktitle    = {{Proceedings of the Design 2004}},
  keywords     = {{mechatronic systems, self-optimization, virtual prototyping}},
  location     = {{Dubrovnik}},
  title        = {{{Virtual Prototyping Of Self-Optimizing Mechatronic Systems}}},
  year         = {{2004}},
}

@inproceedings{39411,
  abstract     = {{Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.}},
  author       = {{Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}},
  booktitle    = {{Proceedings of IEEE KMN 2001}},
  isbn         = {{0-7695-1269-0}},
  keywords     = {{Virtual prototyping, Animation, Collaboration, System analysis and design, Feedback, Application software, Power system modeling, Handicapped aids, Process design, Contracts}},
  title        = {{{Customer-Oriented Systems Design through Virtual Prototyps}}},
  doi          = {{10.1109/ENABL.2001.953425}},
  year         = {{2001}},
}