@inproceedings{37067, abstract = {{IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these descriptions at the XML level can be time-consuming and error-prone. In this paper, we show that the UML can be consistently applied as an efficient and comprehensible frontend for IP-XACT-based IP description and integration. For this, we present an IP-XACT UML profile that enables UML-based descriptions covering the same information as a corresponding IP-XACT description. This enables the automated generation of IP-XACT component and design descriptions from respective UML models. In particular, it also allows the integration of existing IPs with UML. To illustrate our approach, we present an application example based on the IBM PowerPC Evaluation Kit.}}, author = {{Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of DATE'09}}, isbn = {{978-1-4244-3781-8}}, keywords = {{Unified modeling language, XML, Power system modeling, Application software, Master-slave, Power system management, Acceleration, Scattering, Software engineering, Software standards}}, publisher = {{IEEE}}, title = {{{A UML Frontend for IP-XACT-based IP Management}}}, doi = {{10.1109/DATE.2009.5090664}}, year = {{2009}}, } @inproceedings{37063, abstract = {{Safety-critical automotive systems must fulfill hard real-time constraints to guarantee their reliability and safety requirements. In the context of network-based electronics systems, high-level timing requirements have to be carefully mastered and traced throughout the whole development process. In this paper, we outline the management of scheduling-specific timing information by the application of a steer-by-wire design example. We apply the principles of the AUTOSAR-compliant Timing Augmented Description Language (TADL) following the methodology introduced by the TIMMO project[2]. Focus of the example will be the identification of end-to-end timing constraints and their refinement by means of stimuli-response event chains.}}, author = {{Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}}, booktitle = {{Proceedings of IESS09}}, isbn = {{978-3-642-04283-6}}, keywords = {{Abstraction Level Controller Area Network High Abstraction Level Event Chain Automotive System}}, publisher = {{Springer Verlag}}, title = {{{Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}}}, doi = {{10.1007/978-3-642-04284-3_20}}, year = {{2009}}, } @inproceedings{17272, abstract = {{In developmental research, tutoring behavior has been identified as scaffolding infants' learning processes. It has been defined in terms of child-directed speech (Motherese), child-directed motion (Motionese), and contingency. In the field of developmental robotics, research often assumes that in human-robot interaction (HRI), robots are treated similar to infants, because their immature cognitive capabilities benefit from this behavior. However, according to our knowledge, it has barely been studied whether this is true and how exactly humans alter their behavior towards a robotic interaction partner. In this paper, we present results concerning the acceptance of a robotic agent in a social learning scenario obtained via comparison to adults and 8-11 months old infants in equal conditions. These results constitute an important empirical basis for making use of tutoring behavior in social robotics. In our study, we performed a detailed multimodal analysis of HRI in a tutoring situation using the example of a robot simulation equipped with a bottom-up saliency-based attention model. Our results reveal significant differences in hand movement velocity, motion pauses, range of motion, and eye gaze suggesting that for example adults decrease their hand movement velocity in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI) and this decrease is even higher in the Adult-Robot Interaction (ARI). We also found important differences between ACI and ARI in how the behavior is modified over time as the interaction unfolds. These findings indicate the necessity of integrating top-down feedback structures into a bottom-up system for robots to be fully accepted as interaction partners.}}, author = {{Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}}, booktitle = {{Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}}, keywords = {{robot simulation, hand movement velocity, robotic interaction partner, robotic agent, robot-directed interaction, multimodal analysis, Motionese, Motherese, intelligent tutoring systems, immature cognitive capability, human computer interaction, eye gaze, child-directed speech, child-directed motion, bottom-up system, bottom-up saliency-based attention model, adult-robot interaction, adult-child interaction, adult-adult interaction, human-robot interaction, action learning, social learning scenario, social robotics, software agents, top-down feedback structures, tutoring behavior}}, pages = {{1--6}}, publisher = {{IEEE}}, title = {{{People modify their tutoring behavior in robot-directed interaction for action learning}}}, doi = {{10.1109/DEVLRN.2009.5175516}}, year = {{2009}}, } @article{63951, abstract = {{The parameters describing the quadrupolar and CSA interactions of 51V solid-state MAS NMR investigations of model complexes mimicking vanadoenzymes as well as vanadium containing catalysts and enzyme complexes are interpreted with respect to the chemical structure. The interpretation is based on the data of 15 vanadium complexes including two new complexes with previously unpublished data and 13 complexes with data previously published by us. Correlations between the chemical structure and the 51V solid-state NMR data of this class of compounds have been established. Especially for the isotropic chemical shift δ iso and the chemical shift anisotropy δ σ , correlations with specific structural features like the coordination number of the vanadium atom, the number of coordinating nitrogens, the number of oxygen atoms and the chemical surrounding of the complex could be established for these compounds. Moreover, quantitative correlations between the solid-state NMR parameters and specific bond angles and bond lengths have been obtained. Our results can be of particular interest for future investigations concerning the structure and the mode of action of related vanadoenzymes and vanadate protein assemblies, including the use of vanadate adducts as transition state analogs for phosphate metabolizing systems.}}, author = {{Fenn, Annika and Wächtler, Maria and Gutmann, Torsten and Breitzke, Hergen and Buchholz, Axel and Lippold, Ines and Plass, Winfried and Buntkowsky, Gerd}}, journal = {{Solid State Nuclear Magnetic Resonance}}, keywords = {{51V NMR, Cis-dioxovanadium (v) complex, Model system, Vanadate}}, number = {{4}}, pages = {{192–201}}, title = {{{Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts}}}, doi = {{10.1016/j.ssnmr.2009.11.003}}, volume = {{36}}, year = {{2009}}, } @inproceedings{9576, abstract = {{In neurosurgery, delineation of tumor boundaries during resection of brain tumors is of substantial relevance. During operation distinction between tumor and healthy tissue rely on the abilities of the surgeon based on visual and tactile differentiation. In this paper a high sensitivity actuator-sensor system using a piezoelectric bimorph is presented. Frequency shift and transfer function of the bimorphpsilas voltages are detected and evaluated. Sensorpsilas sensitivity is evaluated using two frequency controls strategies: A phase-locked loop (PLL) and a self-oscillating circuit. Results of measurements conducted on gel-phantoms are presented and discussed.}}, author = {{Uribe, David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}}, booktitle = {{Frequency Control Symposium, 2008 IEEE International}}, issn = {{1075-6787}}, keywords = {{biomedical measurement, brain, cancer, neurophysiology, phantoms, phase locked loops, piezoelectric actuators, surgery, tactile sensors, transfer functions, tumours, PLL, biomedical tissue differentiation system, brain tumor resection, frequency control, frequency shift, gel-phantom, high sensitivity actuator-sensor system, neurosurgery, phase-locked loop, piezoelectric actuators, piezoelectric bimorph, self-oscillating circuit, sensor sensitivity, tactile differentiation, tactile sensor system, transfer function, tumor boundary, visual differentiation, Biomedical measurements, Circuits, Frequency control, Neoplasms, Neurosurgery, Phase locked loops, Piezoelectric actuators, Surges, Transfer functions, Voltage}}, pages = {{91--94}}, title = {{{Development of a biomedical tissue differentiation system using piezoelectric actuators}}}, doi = {{10.1109/FREQ.2008.4622963}}, year = {{2008}}, } @article{34563, abstract = {{UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB.}}, author = {{Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}}, journal = {{Design Automation for Embedded Systems}}, keywords = {{UML SysML Model-based design System specification Modelling languages}}, pages = {{261--292}}, publisher = {{Springer-Verlag}}, title = {{{UML for Electronic Systems Design – A Comprehensive Overview}}}, doi = {{10.1007/s10617-008-9028-9}}, volume = {{12}}, year = {{2008}}, } @inbook{33815, abstract = {{Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation Desk, National Instruments Teststand) and almost each test system requests its own proprietary test description language. The exchange of tests between different test systems and the reuse of tests between different test levels is normally not possible. Efforts to integrate these heterogeneous test environments, to address test exchange in a general manner and to standardize and harmonize the existing language environment are still at the beginning and not tailored towards the requirements of the automotive domain. To keep the whole development and test process efficient and manageable, the definition of an integrated and seamless approach is required. TestML – the test exchange language we present in this article – is defined to overcome the technological obstacles (different test language syntax and semantics, different data formats and interface descriptions) that almost automatically accompany the application of heterogeneous test tools and test infrastructures. TestML supports the exchange of tests between different test notations in a heterogeneous tool environment. In this paper, we introduce the XML schema of TestML and demonstrate the efficiency of the interchange format by giving examples from the model-based development of electronic control units. Tool support is illustrated by an application with Simulink/Stateflow.}}, author = {{Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}}, booktitle = {{ASWSD 2006: Model-Driven Development of Reliable Automotive Services}}, editor = {{Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}}, isbn = {{978-3-540-70929-9}}, keywords = {{Test Behavior, Test Exchange, System Under Test, Hybrid Automaton, Test Execution}}, pages = {{98--117}}, publisher = {{Springer Verlag}}, title = {{{TestML – A Test Exchange Language for Model-based Testing of Embedded Software}}}, doi = {{10.1007/978-3-540-70930-5_7}}, year = {{2008}}, } @article{64041, abstract = {{Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift tensor η σ and the Euler angles α , β and γ ) are determined both experimentally and theoretically using DFT methods. A comparative study of different methods to determine the NMR parameters by numerical simulation of the spectra is presented. Detailed theoretical investigations on the DFT level using various basis sets and structural models show that by useful choice of the methodology, the calculated parameters agree to the experimental ones in a very good manner.}}, author = {{Schweitzer, Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz, Axel and Plass, Winfried and Buntkowsky, Gerd}}, journal = {{Solid State Nuclear Magnetic Resonance}}, keywords = {{51V NMR, Model system, Ab initio calculation, Cis-dioxovanadium(V) complex, Haloperoxidase, Numerical optimization, Quadrupolar interaction}}, number = {{1–2}}, pages = {{52–67}}, title = {{{51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases}}}, doi = {{10.1016/j.ssnmr.2008.02.003}}, volume = {{34}}, year = {{2008}}, } @article{10646, author = {{Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}}, issn = {{1751-8601}}, journal = {{IET Computers Digital Techniques}}, keywords = {{reconfigurable architectures, resource allocation, device reconfiguration time, dynamic hardware reconfiguration, dynamically reconfigurable hardware, light-weight runtime system, merge server distribute load, periodic real-time tasks, runtime system overheads, schedulability analysis, scheduling technique, server-based execution, synthesis tool flow}}, number = {{4}}, pages = {{295--302}}, title = {{{Server-based execution of periodic tasks on dynamically reconfigurable hardware}}}, doi = {{10.1049/iet-cdt:20060186}}, volume = {{1}}, year = {{2007}}, } @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{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{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}}, } @inproceedings{39352, abstract = {{The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of the UML 2004}}, keywords = {{System State Formal Semantic Object Management Group Denotational Semantic Dynamic Semantic}}, title = {{{An ASM Definition of the Dynamic OCL 2.0 Semantics}}}, doi = {{10.1007/978-3-540-30187-5_17}}, year = {{2004}}, } @inproceedings{1998, abstract = {{Nearly all existing HPC systems are operated by resource management systems based on the queuing approach. With the increasing acceptance of grid middleware like Globus, new requirements for the underlying local resource management systems arise. Features like advanced reservation or quality of service are needed to implement high level functions like co-allocation. However it is difficult to realize these features with a resource management system based on the queuing concept since it considers only the present resource usage. In this paper we present an approach which closes this gap. By assigning start times to each resource request, a complete schedule is planned. Advanced reservations are now easily possible. Based on this planning approach functions like diffuse requests, automatic duration extension, or service level agreements are described. We think they are useful to increase the usability, acceptance and performance of HPC machines. In the second part of this paper we present a planning based resource management system which already covers some of the mentioned features.}}, author = {{Hovestadt, Matthias and Kao, Odej and Keller, Axel and Streit, Achim}}, booktitle = {{Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)}}, keywords = {{High Performance Computing, Service Level Agreement, Grid Resource, Resource Management System, Advance Reservation}}, pages = {{1--20}}, title = {{{Scheduling in HPC Resource Management Systems: Queuing vs. Planning}}}, doi = {{10.1007/10968987_1}}, volume = {{2862}}, year = {{2003}}, } @inproceedings{11733, abstract = {{Current navigation systems like GPS (Global Positioning System) and its Russian counterpart GLONASS (Global Navigation Satellite System) only evaluate the direct signal path. The receivers treat the reflected paths also reaching the receiver antenna as disturbance which has to be suppressed. Multipath affects the tracking accuracy by resulting in a degeneration of the S-curve of the DLL (delay locked loop). Nowadays the future European systems GALILEO and GPSIIF/III with two new signals are on the way to the market and it is time to think about new receiver structures. Therefore we investigated if it is possible to use multipath for navigation constructively.}}, author = {{Bischoff, Renke and Haeb-Umbach, Reinhold and Schulz, Wolfgang and Heinrichs, Guenther}}, booktitle = {{IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)}}, keywords = {{combined GALILEO/UMTS receiver, delay locked loop, delay lock loops, DLL, Global Positioning System, GLONASS, GPS, GPSIIF/III, mobile satellite communication, multipath channels, multipath receiver structure, radio receivers, RAKE receiver, S-curve}}, pages = {{1844--1848 vol.4}}, title = {{{Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver}}}, doi = {{10.1109/VTC.2002.1002940}}, volume = {{4}}, year = {{2002}}, } @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}}, } @inproceedings{39474, abstract = {{Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS).}}, author = {{Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}}, booktitle = {{Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society}}, isbn = {{0-7803-5211-4}}, keywords = {{Manufacturing systems, Fuzzy control, Multiagent systems, Control systems, Concurrent computing, Specification languages, Communication standards, Standards development, Communication system control, Computer integrated manufacturing}}, location = {{New York, NY, USA }}, publisher = {{IEEE}}, title = {{{Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}}}, doi = {{10.1109/NAFIPS.1999.781697}}, year = {{1999}}, } @inproceedings{39526, abstract = {{The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.}}, author = {{Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J. and Tahedl, C. and Weber, A.}}, booktitle = {{Proceedings of the 1996 IEEE Symposium on Visual Languages}}, isbn = {{0-8186-7508-X}}, keywords = {{Computer integrated manufacturing, Job shop scheduling, Processor scheduling, Computer languages, Control system synthesis, Computer aided manufacturing, Sorting, Assembly, Costs, Control systems}}, title = {{{Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}}}, doi = {{10.1109/VL.1996.545302}}, year = {{1996}}, }