@inproceedings{38106, abstract = {{User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combination with flexible device access and control. However, managing those data poses severe privacy problems both legally and from a trust perspective. Therefore we propose a home automation middleware for secure management of user and context data that gives access to services just for the authorized users and devices. The middleware has been successfully tested at the ambient computing (AC-LAB) at the University of Paderborn.}}, author = {{Marin, Andres and Müller, Wolfgang and Schäfer, Robbie and Almenarez, Florina and Diaz, Daniel and Ziegler, Max}}, booktitle = {{Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)}}, isbn = {{0-7695-2788-4}}, location = {{White Plains, New York, USA}}, publisher = {{IEEE}}, title = {{{Middleware for Secure Home Access and Control}}}, year = {{2007}}, } @inproceedings{38100, abstract = {{Smart Cards are becoming a ubiquitous means for securing a wide range of interactive applications. However in many cases its use is limited for authentication purposes only. In this paper we extend the use of smart cards for carrying abstract user interface descriptions which can be rendered on different and potentially remote clients that in addition can support different interaction modalities. This adds on the one hand to the security since a backend application cannot be used without the UI description, and on the other hand to the versatility of applications, since all devices with a respective renderer for certain modalities can be utilized.}}, author = {{Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}}, booktitle = {{Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)}}, keywords = {{Smart Card, Abstract User Interface, Device Independence}}, title = {{{Device Independent User Interfaces for Smart Cards}}}, year = {{2007}}, } @inproceedings{38104, abstract = {{Location-aware services for private use such as GPS- based navigation systems and GSM-based offerings have become quite a success for outdoor applications, while indoor positioning systems are still mainly employed for professional use only. The main reasons are cost issues and the complexity of setup and maintenance of those systems. In this paper we present CaMPTrack (Camera-based Multiple Person Tracker), a prototype of a webcam-based positioning system and discuss its application and development challenges.}}, author = {{Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007}}, keywords = {{Positioning Systems, Camera Based, Cost Efficiency, Smart Home Applications}}, title = {{{A Low-Cost Positioning System for Location-Aware Applications in Smart Homes}}}, year = {{2007}}, } @inproceedings{38102, author = {{Schäfer, Robbie and Müller, Wolfgang}}, booktitle = {{Proceedings of IWUMUI’2007 at HCI'2007}}, title = {{{Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal}}}, year = {{2007}}, } @inproceedings{38533, abstract = {{UML (Unified Modeling Language™) as an OMG standard has received wide acceptance in software engineering over the last years. As electronic systems design moved towards software engineering, there is emerging interest for UML within the hardware community and different UML diagrams and their variations found their application in requirements specification, testbenches, architectural descriptions, and behavioral modeling.In most cases, UML is just applied as a graphical capture, though UML 2.0 meanwhile comes as a computationally complete language based on a generic metamodeling mechanism. Though it introduces considerable complexity, it is one of the key strengths of UML 2.0, providing a flexible foundation for its customization towards different application domains through so-called UML profiles, which currently receives increasing tool support and gives UML great potential to complement current C++-oriented languages for ESL design. In this context, SysML and the UML for SoC extension are already available as OMG profiles for Systems Engineering and SoC application and several proprietary profiles are under development. In that context, the concepts of the Model Driven Architecture (MDA) are of emerging interest. However, since MDA was mainly introduced for CASE tool support, its full application for hardware design still needs some investigations and certainly comes with some pitfalls.For industrial applications, the availability of appropriate tool support is crucial for deployment of UML in SoC design. UML tools currently come in different variations based on different UML versions and subsets with the support of specific flows, so that the selection of the appropriate tools becomes a key decision for the successful introduction of UML. Recently, several groups have reported positive outcomes regarding the customization of UML and tool support towards SoC design. These efforts result from collaborations between industrial users, researchers, and tool vendors, and constitute steps in the right direction. Regarding model exchange between tools, the UML-related XMI (XML Metadata Interchange) format and its relationship to SPIRIT, the emerging IEEE standard, are of additional particular interest. Partial overlaps can be identified and are currently under investigations by some projects, like SPRINT.}}, author = {{Müller, Wolfgang and Vanderperren, Yves}}, booktitle = {{Proceedings of CODES/ISSS}}, title = {{{UML and Model-Driven Development for SoC Design}}}, year = {{2006}}, } @inproceedings{38537, abstract = {{Ubiquitous systems use context information to select and adapt multimodal user interfaces and appliances for individual users in certain situations. However, in order to enable true reactive environments, context information has to be adequately collected, filtered, and processed and combined with user, device and other profiles. In this article, we present how an XML-based transcoding system can be applied for advanced profile processing and evolution. We demonstrate how to encode domain knowledge into sets of rules, which perform adaptations of user, device and context profiles for smart environments.}}, author = {{Schäfer, Robbie and Müller, Wolfgang and Groppe, Jinghua}}, booktitle = {{Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)}}, keywords = {{Resource Description Framework User Preference Smart Home Prefer Temperature Preference Profile}}, title = {{{Profile Processing and Evolution for Smart Environments}}}, year = {{2006}}, } @inproceedings{38538, abstract = {{Neither UML 2.0 nor the upcoming SysML 1.0 currently provides suffi- cient means for applications in the context of heterogeneous electronic systems de- scription and simulation. In this article, we demonstrate how general concepts of the simulation framework Ptolemy II seamlessly complement SysML to serve as a uni- versal description language covering discrete event as well as continuous behaviors.}}, author = {{Müller, Wolfgang and Zabel, Henning}}, booktitle = {{Proceedings of the UML-SoC Workshop at DAC 2006}}, title = {{{Towards a Unified Behavioural Modelling Language}}}, year = {{2006}}, } @inproceedings{38536, author = {{Müller, Wolfgang}}, booktitle = {{Proc. of FDL'06}}, title = {{{UML - The Emerging Hardware Description Language?}}}, year = {{2006}}, } @inproceedings{38540, author = {{Lavagno, Luciano and Müller, Wolfgang}}, title = {{{UML: A Next Generation Language for SoC Design}}}, year = {{2006}}, } @inproceedings{38543, abstract = {{Today a large variety of mobile interaction devices such as PDAs and mobile phones enforce the development of a wide range of user interfaces for each platform. The complexity even grows, when multiple interaction devices are used to perform the same task and when different modalities have to be supported. We introduce a new dialog model for the abstraction of concrete user interfaces with a separate advanced control layer for the integration of different modalities. In this context, we present the Dialog and Interface Specification Language (DISL), which comes with a proof-of-concept implementation.}}, author = {{Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}}, booktitle = {{Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA'2006)}}, isbn = {{978-3-540-70815-5}}, keywords = {{User Interface Interaction Manager Output Device Multimodal Interface Interaction Object}}, title = {{{Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}}}, doi = {{10.1007/978-3-540-70816-2_4}}, year = {{2006}}, } @inproceedings{38784, abstract = {{This article presents the classification tree method for functional verification to close the gap from the specification of a test plan to SystemVerilog (Chandra and Chakrabarty, 2001) test bench generation. Our method supports the systematic development of test configurations and is based on the classification tree method for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for random test generation as well as for functional coverage and property specification}}, author = {{Krupp, Alexander and Müller, Wolfgang}}, booktitle = {{Proceedings of the Design Automation & Test in Europe Conference}}, isbn = {{3-9810801-1-4}}, keywords = {{Classification tree analysis, System testing, Embedded system, Safety, Automatic testing, Automation}}, publisher = {{IEEE}}, title = {{{Classification Trees for Functional Coverage and Random Test Generation}}}, doi = {{10.1109/DATE.2006.243902}}, year = {{2006}}, } @inproceedings{39028, abstract = {{User adaptive systems, as envisioned with Ambient Intel- ligence (AmI), can only unveil their power, if rich informa- tion of users – including private data as their preferences and abilities as well as their usage context – can be retrieved and evaluated. However, collecting and storing this data poses severe privacy problems both legally and from a trust per- spective. Therefore we propose a home automation middle- ware for secure management of personal profiles that allows access to profiles only for the relevant stakeholders in a spe- cific situation.}}, author = {{Schäfer, Robbie and Ziegler, Max and Müller, Wolfgang}}, booktitle = {{Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)}}, title = {{{Securing Personal Data in Smart Home Environments}}}, year = {{2006}}, } @inproceedings{38107, abstract = {{TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.}}, author = {{Großmann, Jürgen and Müller, Wolfgang}}, booktitle = {{Proc. of ISOLA 06}}, isbn = {{978-0-7695-3071-0}}, keywords = {{System testing, Software testing, Automotive engineering, Automatic testing, Machinery production industries, Protocols, Hardware design languages, Samarium, XML, Computer industry}}, location = {{Paphos, Cyprus}}, title = {{{A Formal Behavioral Semantics for TestML}}}, doi = {{10.1109/ISoLA.2006.37}}, year = {{2006}}, } @inproceedings{38109, author = {{Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and Riccobene, Elvinia}}, booktitle = {{Proc. of ICCAD'06}}, title = {{{UML for ESL Design - Basic Principles, Tools, and Applications}}}, year = {{2006}}, } @inproceedings{38539, author = {{Lavagno, Luciano and Müller, Wolfgang}}, title = {{{UML: A Next Generation Language for SoC Design}}}, year = {{2006}}, } @inbook{33822, author = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}}, booktitle = {{UML for SoC Design}}, editor = {{Martin, Grant and Müller, Wolfgang}}, isbn = {{0-387-25744-6}}, pages = {{63--88}}, publisher = {{Kluwer}}, title = {{{Model Based Specification for Platform Independent Hardware Execution}}}, year = {{2005}}, } @inbook{33824, author = {{Martin, Grant and Müller, Wolfgang}}, booktitle = {{UML for SoC Design}}, editor = {{Martin, Grant and Müller, Wolfgang}}, isbn = {{0-387-25744-6}}, pages = {{1--15}}, publisher = {{Kluwer}}, title = {{{When Worlds Collide: Can UML help SoC Design?}}}, year = {{2005}}, } @inproceedings{39029, abstract = {{UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}}, booktitle = {{Proceedings of DATE’05}}, isbn = {{0-7695-2288-2}}, keywords = {{Hardware, Unified modeling language, Virtual machining, Object oriented modeling, Field programmable gate arrays, Java, Microcontrollers, Embedded software, Real time systems, Documentation}}, publisher = {{IEEE}}, title = {{{A Model-Based Approach for Executable Specification on Reconfigurable Hardware}}}, doi = {{10.1109/DATE.2005.20}}, year = {{2005}}, } @inproceedings{39030, abstract = {{StateCharts are well accepted for embedded systems specification for various applications. However, for the specification of complex systems they have several limitations. In this article, we present a novel approach to efficiently execute an UML 2.0 subset for embedded real- time systems implementation with focus on hardware interrupts, software exceptions, and timeouts. We introduce a UML Virtual Machine, which directly executes sequence diagrams, which are embedded into hierarchically structured state transition diagrams. Whereas state diagrams are directly executed as Embedded State Machines (ESMs), sequence diagrams are translated into UVM Bytecode. The final UVM execution is performed by the interaction of the ESM and the Bytecode Interpreter. Due to our completely model- based approach, the UVM runtime kernel is easily adaptable and scalable to different scheduling and memory management strategies.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of ISNG 05}}, keywords = {{UML, Executable Models, Hardware/Software Co-design, Virtual Machine, Embedded Systems}}, title = {{{A UML Virtual Machine for Embedded Systems}}}, year = {{2005}}, } @inproceedings{39032, abstract = {{Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of VL/HCC 05}}, isbn = {{0-7695-2443-5}}, keywords = {{Unified modeling language, Software design, Virtual machining, Embedded system, Programming, Documentation, Hardware, Computer languages, Operating systems, Runtime}}, title = {{{Transformation of UML State Machines for Direct Execution}}}, doi = {{10.1109/VLHCC.2005.64}}, year = {{2005}}, }