@inproceedings{37066,
  abstract     = {{Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations and timing analysis applies for fast and early estimation to configure it towards the individual needs of the application and environment. In this context, a high accuracy of the simulation compared to an instruction set simulation (ISS) is of key importance. In this paper, we investigate the accuracy of abstract RTOS simulation and compare it to ISS and the behavior of the physical system. We show that we can reach an increased accuracy of the simulation when we inject noise into the time model. Our results indicate that it is sufficient to inject uniformly distributed random time values to the RTOS real-time clock.}},
  author       = {{Zabel, Henning and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE'09}},
  isbn         = {{978-1-4244-3781-8}},
  keywords     = {{Timing, Analytical models, Clocks, Performance analysis, Scheduling, Operating systems, Delay, Real time systems, Application software, Context modeling}},
  title        = {{{Increased Accuracy through Noise Injection in Abstract RTOS Simulation}}},
  doi          = {{10.1109/DATE.2009.5090925}},
  year         = {{2009}},
}

@inproceedings{39050,
  abstract     = {{Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.}},
  author       = {{Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}},
  booktitle    = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}},
  isbn         = {{0-7695-2424-9}},
  keywords     = {{Intelligent networks, Smart homes, Middleware, Project management, Data security, Ubiquitous computing, Context-aware services, Computer architecture, Home automation, Environmental management}},
  location     = {{Copenhagen, Denmark }},
  publisher    = {{IEEE}},
  title        = {{{Secure Profile Management in Smart Home Networks}}},
  doi          = {{10.1109/DEXA.2005.171}},
  year         = {{2005}},
}

@inproceedings{2421,
  abstract     = {{In contrast to processors, current reconfigurable devices totally lack programming models that would allow for device independent compilation and forward compatibility. The key to overcome this limitation is hardware virtualization. In this paper, we resort to a macro-pipelined execution model to achieve hardware virtualization for data streaming applications. As a hardware implementation we present a hybrid multi-context architecture that attaches a coarse-grained reconfigurable array to a host CPU. A co-simulation framework enables cycle-accurate simulation of the complete architecture. As a case study we map an FIR filter to our virtualized hardware model and evaluate different designs. We discuss the impact of the number of contexts and the feature of context state on the speedup and the CPU load.}},
  author       = {{Enzler, Rolf and Plessl, Christian and Platzner, Marco}},
  booktitle    = {{Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}},
  keywords     = {{Zippy, multi-context, FPGA}},
  pages        = {{151--160}},
  publisher    = {{Springer}},
  title        = {{{Virtualizing Hardware with Multi-Context Reconfigurable Arrays}}},
  doi          = {{10.1007/b12007}},
  volume       = {{2778}},
  year         = {{2003}},
}

@inproceedings{39505,
  abstract     = {{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       = {{Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1997 IEEE Symposium on Visual Languages}},
  isbn         = {{0-8186-8144-6}},
  keywords     = {{Prototypes, Layout, Animation, Command languages, Application software, Libraries, Virtual reality, Computer graphics, Hardware, Context modeling}},
  title        = {{{Visual-Textual Prototyping of 4D Scenes}}},
  doi          = {{10.1109/VL.1997.626601}},
  year         = {{1997}},
}

@inproceedings{39538,
  abstract     = {{This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.}},
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}},
  booktitle    = {{Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair}},
  isbn         = {{4-930813-67-0}},
  keywords     = {{Animation, Protocols, Timing, Computer languages, Electronic mail, Context modeling, Visualization, Control systems, Flow graphs, Trademarks}},
  title        = {{{Complete Visual Specification and Animations of Protocols}}},
  doi          = {{10.1109/ASPDAC.1995.486383}},
  year         = {{1995}},
}