@inproceedings{37050, abstract = {{The main obstacle for the wide acceptance of UML and SysML in the design of electronic systems is due to a major gap in the design flow between UML-based modeling and SystemC-based verification. To overcome this gap, we present an approach developed in the SATURN project which introduces UML profiles for the co-modeling of SystemC and C with code generation support in the context of the SysML tool suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two case studies.}}, author = {{Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and Azcarate, Florent and Carballeda, Manuel}}, booktitle = {{Proceedings of the IEEE Computer Society Annual Symposium on VLSI}}, keywords = {{Communicate Sequential Process Virtual Platform Smart Camera Synchronous Data Flow Artisan Studio}}, title = {{{The SATURN Approach to SysML-based HW/SW Codesign}}}, doi = {{10.1007/978-94-007-1488-5_9}}, year = {{2010}}, } @inproceedings{37048, abstract = {{We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller.}}, author = {{Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}}, editor = {{Kleinjohann, L. and Kleinjohann, B.}}, isbn = {{978-3-642-15233-7}}, keywords = {{Natural Language UML SystemVerilog Testbenches}}, publisher = {{Springer Verlag}}, title = {{{Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}}}, doi = {{10.1007/978-3-642-15234-4_9}}, year = {{2010}}, } @inproceedings{37049, author = {{Xie, Tao and Letombe, Florian and Müller, Wolfgang}}, editor = {{Kleinjohann, L. and Kleinjohann, B.}}, publisher = {{Springer Verlag}}, title = {{{Mutation-Analysis Directed Constrained Random Verification}}}, year = {{2010}}, } @inproceedings{37051, author = {{Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}}, location = {{Paris}}, title = {{{An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}}}, year = {{2010}}, } @inproceedings{37057, abstract = {{Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which is a challenging task for the verification engineer. To cope with complexity, verification techniques working on different abstraction levels are best practice. SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of functional coverage. In this paper we present a functional coverage library that implements parts of the IEEE 1800-2005 SystemVerilog standard and allows capturing functional coverage throughout the design and verification process with SystemC. Moreover, we will demonstrate the usability of the approach with a case study working on a CAN bus model written in SystemC.}}, author = {{Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}}, booktitle = {{Proceedings of SIES 2010}}, keywords = {{Libraries, Generators, Transfer functions, Monitoring, Computational modeling, Driver circuits, Adaptation model}}, location = {{ Trento, Italy}}, publisher = {{IEEE}}, title = {{{Verification of a CAN Bus Model in SystemC with Functional Coverage}}}, doi = {{10.1109/SIES.2010.5551379}}, year = {{2010}}, } @inproceedings{37056, abstract = {{In this paper we present an approach to increase the fault tolerance in FlexRay networks by introducing backup nodes to replace defect ECUs (Electronic Control Units). In order to reduce the memory requirements of such backup nodes, we distribute redundant tasks over different nodes and propose the distributed coordinated migration of tasks of the defect ECU to the backup node at runtime. This approach enhances our former work in, where we extended the FlexRay bus schedule by redundant slots to consider changes in the communication/slot assignment and investigated and evaluated different solutions to migrate the redundant tasks to the backup node using the static and/or dynamic segment of the communication cycle for transmissions. We present the approach of distributed coordination for migration and communication instead of additional dedicated coordinator nodes to further increase the fault tolerance. With this approach we improve the safety of FlexRay networks by avoiding a possible single point of failure due to a dedicated coordinator node also minimizing the necessary time needed for a reconfiguration after an ECU failure. Furthermore, we reduce the overhead within the communication and the demand for additional hardware components.}}, author = {{Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}}, booktitle = {{Proceedings of SIES 2010}}, keywords = {{Fault tolerant systems, Protocols, Redundancy, Runtime, Payloads, Schedules}}, title = {{{Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}}}, doi = {{10.1109/SIES.2010.5551384}}, year = {{2010}}, } @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{37060, author = {{Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}}, booktitle = {{Proceedings of MoMPES 2010}}, title = {{{Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration}}}, year = {{2010}}, } @book{37313, author = {{Dahmen, Stephan}}, publisher = {{Schneider Verlag Hohengehren}}, title = {{{Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln}}}, volume = {{17}}, year = {{2010}}, } @article{27886, author = {{Bigga, Regine and Schlegel-Matthies, Kirsten}}, journal = {{Haushalt & Bildung}}, number = {{3}}, pages = {{48--57}}, title = {{{Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik}}}, volume = {{87}}, year = {{2010}}, } @book{31285, author = {{Schuster, Britt-Marie}}, publisher = {{de Gruyter}}, title = {{{Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) }}}, volume = {{286}}, year = {{2010}}, } @misc{37517, author = {{Weber, Jutta}}, booktitle = {{Enzyklopädie Philosophie Bd. 3}}, editor = {{Sandkühler, Hans-Jörg}}, pages = {{2717u--2721b}}, publisher = {{Felix Meiner Verlag}}, title = {{{Technikwissenschaft / Technowissenschaft}}}, volume = {{3}}, year = {{2010}}, } @misc{37527, author = {{Weber, Jutta}}, booktitle = {{Enzyklopädie Philosophie Bd. 2}}, editor = {{Sandkühler, Hans-Jörg}}, pages = {{1377u--1382b}}, publisher = {{Felix Meiner Verlag}}, title = {{{Leben}}}, volume = {{2}}, year = {{2010}}, } @book{37566, editor = {{Weber, Jutta}}, publisher = {{transcript}}, title = {{{Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften}}}, year = {{2010}}, } @article{22607, author = {{Maxisch, M. and Ebbert, C. and Torun, B. and Fink, N. and de los Arcos de Pedro, Maria Teresa and Lackmann, J. and Maier, H.J. and Grundmeier, G.}}, issn = {{0169-4332}}, journal = {{Applied Surface Science}}, pages = {{2011--2018}}, title = {{{PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces}}}, doi = {{10.1016/j.apsusc.2010.09.044}}, year = {{2010}}, } @article{39742, author = {{Zöller, M.A. and Stich, N. and Benning, S.A. and Hoischen, A. and Kitzerow, Heinz-Siegfried}}, issn = {{0267-8292}}, journal = {{Liquid Crystals}}, keywords = {{Condensed Matter Physics, General Materials Science, General Chemistry}}, number = {{4}}, pages = {{383--388}}, publisher = {{Informa UK Limited}}, title = {{{Bold relief fabrication by means of electroconvection: basic properties of a suitable mixture}}}, doi = {{10.1080/02678291003632603}}, volume = {{37}}, year = {{2010}}, } @article{39740, author = {{Urbanski, Martin and Kinkead, Brandy and Hegmann, Torsten and Kitzerow, Heinz-Siegfried}}, issn = {{0267-8292}}, journal = {{Liquid Crystals}}, keywords = {{Condensed Matter Physics, General Materials Science, General Chemistry}}, number = {{9}}, pages = {{1151--1156}}, publisher = {{Informa UK Limited}}, title = {{{Director field of birefringent stripes in liquid crystal/nanoparticle dispersions}}}, doi = {{10.1080/02678292.2010.489160}}, volume = {{37}}, year = {{2010}}, } @article{39741, author = {{Kitzerow, Heinz-Siegfried}}, issn = {{0015-0193}}, journal = {{Ferroelectrics}}, keywords = {{Condensed Matter Physics, Electronic, Optical and Magnetic Materials}}, number = {{1}}, pages = {{66--85}}, publisher = {{Informa UK Limited}}, title = {{{Blue Phases: Prior Art, Potential Polar Effects, Challenges}}}, doi = {{10.1080/00150191003683807}}, volume = {{395}}, year = {{2010}}, } @article{39974, author = {{Kitzerow, Heinz-Siegfried}}, issn = {{1358-314X}}, journal = {{Liquid Crystals Today}}, keywords = {{Materials Chemistry, Inorganic Chemistry, Condensed Matter Physics}}, number = {{4}}, pages = {{3--7}}, publisher = {{Informa UK Limited}}, title = {{{Tunable photonic crystals}}}, doi = {{10.1080/1464518021000069229}}, volume = {{11}}, year = {{2010}}, } @article{39972, author = {{Kitzerow, Heinz-Siegfried}}, issn = {{1439-9598}}, journal = {{Nachrichten aus der Chemie}}, keywords = {{General Chemical Engineering, General Chemistry}}, number = {{6}}, pages = {{678--679}}, publisher = {{Wiley}}, title = {{{33. Arbeitstagung Flüssigkristalle}}}, doi = {{10.1002/nadc.20050530635}}, volume = {{53}}, year = {{2010}}, }