[{"doi":"10.1109/TASLP.2014.2304637","main_file_link":[{"url":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6732927","open_access":"1"}],"title":"An Overview of Noise-Robust Automatic Speech Recognition","volume":22,"date_created":"2019-07-12T05:29:47Z","author":[{"last_name":"Li","full_name":"Li, Jinyu","first_name":"Jinyu"},{"first_name":"Li","last_name":"Deng","full_name":"Deng, Li"},{"first_name":"Yifan","last_name":"Gong","full_name":"Gong, Yifan"},{"last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold"}],"oa":"1","date_updated":"2022-01-06T06:51:11Z","intvolume":"        22","page":"745-777","citation":{"apa":"Li, J., Deng, L., Gong, Y., &#38; Haeb-Umbach, R. (2014). An Overview of Noise-Robust Automatic Speech Recognition. <i>IEEE Transactions on Audio, Speech and Language Processing</i>, <i>22</i>(4), 745–777. <a href=\"https://doi.org/10.1109/TASLP.2014.2304637\">https://doi.org/10.1109/TASLP.2014.2304637</a>","short":"J. Li, L. Deng, Y. Gong, R. Haeb-Umbach, IEEE Transactions on Audio, Speech and Language Processing 22 (2014) 745–777.","bibtex":"@article{Li_Deng_Gong_Haeb-Umbach_2014, title={An Overview of Noise-Robust Automatic Speech Recognition}, volume={22}, DOI={<a href=\"https://doi.org/10.1109/TASLP.2014.2304637\">10.1109/TASLP.2014.2304637</a>}, number={4}, journal={IEEE Transactions on Audio, Speech and Language Processing}, author={Li, Jinyu and Deng, Li and Gong, Yifan and Haeb-Umbach, Reinhold}, year={2014}, pages={745–777} }","mla":"Li, Jinyu, et al. “An Overview of Noise-Robust Automatic Speech Recognition.” <i>IEEE Transactions on Audio, Speech and Language Processing</i>, vol. 22, no. 4, 2014, pp. 745–77, doi:<a href=\"https://doi.org/10.1109/TASLP.2014.2304637\">10.1109/TASLP.2014.2304637</a>.","ama":"Li J, Deng L, Gong Y, Haeb-Umbach R. An Overview of Noise-Robust Automatic Speech Recognition. <i>IEEE Transactions on Audio, Speech and Language Processing</i>. 2014;22(4):745-777. doi:<a href=\"https://doi.org/10.1109/TASLP.2014.2304637\">10.1109/TASLP.2014.2304637</a>","chicago":"Li, Jinyu, Li Deng, Yifan Gong, and Reinhold Haeb-Umbach. “An Overview of Noise-Robust Automatic Speech Recognition.” <i>IEEE Transactions on Audio, Speech and Language Processing</i> 22, no. 4 (2014): 745–77. <a href=\"https://doi.org/10.1109/TASLP.2014.2304637\">https://doi.org/10.1109/TASLP.2014.2304637</a>.","ieee":"J. Li, L. Deng, Y. Gong, and R. Haeb-Umbach, “An Overview of Noise-Robust Automatic Speech Recognition,” <i>IEEE Transactions on Audio, Speech and Language Processing</i>, vol. 22, no. 4, pp. 745–777, 2014."},"year":"2014","issue":"4","language":[{"iso":"eng"}],"keyword":["Speech recognition","compensation","distortion modeling","joint model training","noise","robustness","uncertainty processing"],"department":[{"_id":"54"}],"user_id":"44006","_id":"11867","status":"public","abstract":[{"lang":"eng","text":"New waves of consumer-centric applications, such as voice search and voice interaction with mobile devices and home entertainment systems, increasingly require automatic speech recognition (ASR) to be robust to the full range of real-world noise and other acoustic distorting conditions. Despite its practical importance, however, the inherent links between and distinctions among the myriad of methods for noise-robust ASR have yet to be carefully studied in order to advance the field further. To this end, it is critical to establish a solid, consistent, and common mathematical foundation for noise-robust ASR, which is lacking at present. This article is intended to fill this gap and to provide a thorough overview of modern noise-robust techniques for ASR developed over the past 30 years. We emphasize methods that are proven to be successful and that are likely to sustain or expand their future applicability. We distill key insights from our comprehensive overview in this field and take a fresh look at a few old problems, which nevertheless are still highly relevant today. Specifically, we have analyzed and categorized a wide range of noise-robust techniques using five different criteria: 1) feature-domain vs. model-domain processing, 2) the use of prior knowledge about the acoustic environment distortion, 3) the use of explicit environment-distortion models, 4) deterministic vs. uncertainty processing, and 5) the use of acoustic models trained jointly with the same feature enhancement or model adaptation process used in the testing stage. With this taxonomy-oriented review, we equip the reader with the insight to choose among techniques and with the awareness of the performance-complexity tradeoffs. The pros and cons of using different noise-robust ASR techniques in practical application scenarios are provided as a guide to interested practitioners. The current challenges and future research directions in this field is also carefully analyzed."}],"publication":"IEEE Transactions on Audio, Speech and Language Processing","type":"journal_article"},{"author":[{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-16T11:57:08Z","publisher":"IEEE","date_updated":"2023-01-16T11:57:22Z","doi":"10.1109/ICCPS.2014.6843726","conference":{"location":"Berlin","name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)"},"title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","citation":{"apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>.","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>"},"place":"Berlin","year":"2014","department":[{"_id":"58"}],"user_id":"5786","_id":"36918","language":[{"iso":"eng"}],"keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"type":"conference","status":"public","abstract":[{"text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors.","lang":"eng"}]},{"status":"public","abstract":[{"text":"The proposed paper aims to investigate the longitudinal development of students' motivation over the first year of their studies at a business school by using latent growth curve modeling. The study tackles the following core research questions: How do first-year university students' intrinsic and extrinsic vary over time? Which (motivational) factors are related to students' motivational development? Although motivational dispositions have been analyzed extensively in previous studies, their longitudinal development has hitherto not been examined in the higher education context.\r\n\r\nThis longitudinal study is conducted at the University of St. Gallen in Switzerland. The current sample includes 280 first-year students who have been surveyed three times and who are representative of the first-year student population.\r\n\r\nDescriptive results show that prior to their studies, students were motivated most by intrinsic factors, however, extrinsic motivation was also quite high. Employing latent growth curve modeling, it could be shown that both intrinsic and extrinsic motivation decline significantly over the course of the first year (8 months).\r\n\r\nThe study contributes to motivation theory by providing further insights into the development of academic motivation over time. Latent growth curve modeling as a method can be well used for longitudinal data analysis, thus, excluding measurement error from longitudinal data. Furthermore, the study supports educational developers by determining factors influencing students' motivational development.","lang":"eng"}],"type":"conference","extern":"1","keyword":["motivation","intrinsic motivation","extrinsic motivation","latent growth curve modeling","longitudinal data analysis","ASEQ","higher education","studying"],"department":[{"_id":"208"},{"_id":"282"}],"user_id":"51057","_id":"4480","citation":{"chicago":"Brahm, Taiga, and Tobias Jenert. “A Latent Growth Curve Analysis of Business Students’ Intrinsic and Extrinsic Motivation.” EARLI European Association for Research on Learning and Instruction, 2013.","ieee":"T. Brahm and T. Jenert, “A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation,” presented at the 15th Biennial EARLI Conference, München, 2013.","ama":"Brahm T, Jenert T. A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation. In: EARLI European Association for Research on Learning and Instruction; 2013.","apa":"Brahm, T., &#38; Jenert, T. (2013). A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation. Presented at the 15th Biennial EARLI Conference, München: EARLI European Association for Research on Learning and Instruction.","bibtex":"@inproceedings{Brahm_Jenert_2013, title={A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation}, publisher={EARLI European Association for Research on Learning and Instruction}, author={Brahm, Taiga and Jenert, Tobias}, year={2013} }","mla":"Brahm, Taiga, and Tobias Jenert. <i>A Latent Growth Curve Analysis of Business Students’ Intrinsic and Extrinsic Motivation</i>. EARLI European Association for Research on Learning and Instruction, 2013.","short":"T. Brahm, T. Jenert, in: EARLI European Association for Research on Learning and Instruction, 2013."},"year":"2013","conference":{"start_date":"2013-08-27","name":"15th Biennial EARLI Conference","location":"München","end_date":"2013-08-31"},"title":"A latent growth curve analysis of Business students' intrinsic and extrinsic motivation","author":[{"full_name":"Brahm, Taiga","last_name":"Brahm","first_name":"Taiga"},{"full_name":"Jenert, Tobias","id":"71994","orcid":" https://orcid.org/0000-0001-9262-5646","last_name":"Jenert","first_name":"Tobias"}],"date_created":"2018-09-19T08:27:05Z","date_updated":"2022-01-06T07:01:06Z","publisher":"EARLI European Association for Research on Learning and Instruction"},{"main_file_link":[{"url":"https://aisel.aisnet.org/sjis/vol25/iss1/2/"}],"title":"Designing interaction routines in service networks: A modularity and social construction-based approach","author":[{"full_name":"Becker, Jörg","last_name":"Becker","first_name":"Jörg"},{"first_name":"Daniel","full_name":"Beverungen, Daniel","id":"59677","last_name":"Beverungen"},{"full_name":"Knackstedt, Ralf","last_name":"Knackstedt","first_name":"Ralf"},{"full_name":"Matzner, Martin","last_name":"Matzner","first_name":"Martin"},{"first_name":"Oliver","last_name":"Müller","full_name":"Müller, Oliver","id":"72849"},{"first_name":"Jens","full_name":"Pöppelbuss, Jens","last_name":"Pöppelbuss"}],"date_created":"2018-10-12T08:30:56Z","date_updated":"2022-01-06T07:01:18Z","citation":{"ieee":"J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, and J. Pöppelbuss, “Designing interaction routines in service networks: A modularity and social construction-based approach,” <i>Scandinavian Journal of Information Systems</i>, no. 1, pp. 17--47, 2013.","chicago":"Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, Martin Matzner, Oliver Müller, and Jens Pöppelbuss. “Designing Interaction Routines in Service Networks: A Modularity and Social Construction-Based Approach.” <i>Scandinavian Journal of Information Systems</i>, no. 1 (2013): 17--47.","ama":"Becker J, Beverungen D, Knackstedt R, Matzner M, Müller O, Pöppelbuss J. Designing interaction routines in service networks: A modularity and social construction-based approach. <i>Scandinavian Journal of Information Systems</i>. 2013;(1):17--47.","apa":"Becker, J., Beverungen, D., Knackstedt, R., Matzner, M., Müller, O., &#38; Pöppelbuss, J. (2013). Designing interaction routines in service networks: A modularity and social construction-based approach. <i>Scandinavian Journal of Information Systems</i>, (1), 17--47.","mla":"Becker, Jörg, et al. “Designing Interaction Routines in Service Networks: A Modularity and Social Construction-Based Approach.” <i>Scandinavian Journal of Information Systems</i>, no. 1, 2013, pp. 17--47.","bibtex":"@article{Becker_Beverungen_Knackstedt_Matzner_Müller_Pöppelbuss_2013, title={Designing interaction routines in service networks: A modularity and social construction-based approach}, number={1}, journal={Scandinavian Journal of Information Systems}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Matzner, Martin and Müller, Oliver and Pöppelbuss, Jens}, year={2013}, pages={17--47} }","short":"J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, J. Pöppelbuss, Scandinavian Journal of Information Systems (2013) 17--47."},"page":"17--47","year":"2013","issue":"1","publication_identifier":{"issn":["09050167"]},"language":[{"iso":"eng"}],"extern":"1","keyword":["Business process management","Conceptual modeling","Interaction routines","Modular design","Service networks","Social construction"],"user_id":"72849","_id":"4699","status":"public","type":"journal_article","publication":"Scandinavian Journal of Information Systems"},{"place":"Hannover, Germany","year":"2013","citation":{"ama":"Al-Ashtari W, Hunstig M, Hemsel T, Sextro W. Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems. In: <i>Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013</i>. Berichte aus dem IDS. Hannover, Germany; 2013:159-161.","chicago":"Al-Ashtari, Waleed, Matthias Hunstig, Tobias Hemsel, and Walter Sextro. “Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems.” In <i>Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013</i>, 159–61. Berichte Aus Dem IDS. Hannover, Germany, 2013.","ieee":"W. Al-Ashtari, M. Hunstig, T. Hemsel, and W. Sextro, “Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems,” in <i>Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013</i>, 2013, no. 05/2013, pp. 159–161.","apa":"Al-Ashtari, W., Hunstig, M., Hemsel, T., &#38; Sextro, W. (2013). Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems. In <i>Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013</i> (pp. 159–161). Hannover, Germany.","short":"W. Al-Ashtari, M. Hunstig, T. Hemsel, W. Sextro, in: Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013, Hannover, Germany, 2013, pp. 159–161.","bibtex":"@inproceedings{Al-Ashtari_Hunstig_Hemsel_Sextro_2013, place={Hannover, Germany}, series={Berichte aus dem IDS}, title={Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems}, number={05/2013}, booktitle={Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013}, author={Al-Ashtari, Waleed and Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2013}, pages={159–161}, collection={Berichte aus dem IDS} }","mla":"Al-Ashtari, Waleed, et al. “Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems.” <i>Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013</i>, no. 05/2013, 2013, pp. 159–61."},"page":"159-161","quality_controlled":"1","issue":"05/2013","title":"Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems","date_updated":"2022-01-06T07:04:20Z","author":[{"last_name":"Al-Ashtari","full_name":"Al-Ashtari, Waleed","first_name":"Waleed"},{"first_name":"Matthias","full_name":"Hunstig, Matthias","last_name":"Hunstig"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias","id":"210"},{"last_name":"Sextro","id":"21220","full_name":"Sextro, Walter","first_name":"Walter"}],"date_created":"2019-05-13T13:53:25Z","abstract":[{"lang":"eng","text":"A basic autonomous system powered by a piezoelectric harvester contains three components apart from the harvester: a fullwave rectifier, a reservoir capacitor and an electronic device performing the primary task of the system. In this contribution, a model describing the operation of such a system is derived. It is found that in steady-state operation, the piezoelectric harvester experiences two alternating load conditions due to the rectification process. These alternating load conditions can have a significant effect on the operation of the harvester and must be considered in the design of autonomous systems. The results also show that such an autonomous system works efficiently if it is connected to a high impedance load and excited by a frequency matching the anti-resonance frequency of the piezoelectric harvester."}],"status":"public","type":"conference","publication":"Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013","keyword":["Energy harvesting","harvester modeling","load dependence","generated voltage"],"language":[{"iso":"eng"}],"_id":"9796","series_title":"Berichte aus dem IDS","user_id":"55222","department":[{"_id":"151"}]},{"department":[{"_id":"151"}],"user_id":"55222","_id":"9797","language":[{"iso":"eng"}],"keyword":["Wire bonding","friction modeling","wire bond quality","contact element modeling"],"publication":"IMAPS 2013, 46th International Symposium on Microelectronics","type":"conference","status":"public","abstract":[{"lang":"eng","text":"A model approach for wedge/wedge bonding copper wire is presented. The connection between wire and substrate is based on a variety of physical effects, but the dominant one is the friction based welding while applying ultrasound. Consequently, a friction model was used to investigate the welding process. This model is built up universal and can be used to describe the formation of micro welds in the time variant contact area between wire and substrate. Aim of the model is to identify the interactions between touchdown, bond normal force, ultrasonic power and bonding time. To do so, the contact area is discretized into partial areas where a Point Contact Model is applied. Based on this approach it is possible to simulate micro and macro slip inside the contact area between wire and substrate. The work done by friction force is a main criterion to define occurring micro joints which influence the subsequent welding."}],"author":[{"first_name":"Simon","last_name":"Althoff","full_name":"Althoff, Simon"},{"last_name":"Neuhaus","full_name":"Neuhaus, Jan","first_name":"Jan"},{"id":"210","full_name":"Hemsel, Tobias","last_name":"Hemsel","first_name":"Tobias"},{"full_name":"Sextro, Walter","id":"21220","last_name":"Sextro","first_name":"Walter"}],"date_created":"2019-05-13T13:55:36Z","date_updated":"2022-01-06T07:04:20Z","doi":"10.4071/isom-2013-TA67","title":"A friction based approach for modeling wire bonding","citation":{"bibtex":"@inproceedings{Althoff_Neuhaus_Hemsel_Sextro_2013, place={Orlando (Florida), USA}, title={A friction based approach for modeling wire bonding}, DOI={<a href=\"https://doi.org/10.4071/isom-2013-TA67\">10.4071/isom-2013-TA67</a>}, booktitle={IMAPS 2013, 46th International Symposium on Microelectronics}, author={Althoff, Simon and Neuhaus, Jan and Hemsel, Tobias and Sextro, Walter}, year={2013} }","mla":"Althoff, Simon, et al. “A Friction Based Approach for Modeling Wire Bonding.” <i>IMAPS 2013, 46th International Symposium on Microelectronics</i>, 2013, doi:<a href=\"https://doi.org/10.4071/isom-2013-TA67\">10.4071/isom-2013-TA67</a>.","short":"S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: IMAPS 2013, 46th International Symposium on Microelectronics, Orlando (Florida), USA, 2013.","apa":"Althoff, S., Neuhaus, J., Hemsel, T., &#38; Sextro, W. (2013). A friction based approach for modeling wire bonding. In <i>IMAPS 2013, 46th International Symposium on Microelectronics</i>. Orlando (Florida), USA. <a href=\"https://doi.org/10.4071/isom-2013-TA67\">https://doi.org/10.4071/isom-2013-TA67</a>","ama":"Althoff S, Neuhaus J, Hemsel T, Sextro W. A friction based approach for modeling wire bonding. In: <i>IMAPS 2013, 46th International Symposium on Microelectronics</i>. Orlando (Florida), USA; 2013. doi:<a href=\"https://doi.org/10.4071/isom-2013-TA67\">10.4071/isom-2013-TA67</a>","ieee":"S. Althoff, J. Neuhaus, T. Hemsel, and W. Sextro, “A friction based approach for modeling wire bonding,” in <i>IMAPS 2013, 46th International Symposium on Microelectronics</i>, 2013.","chicago":"Althoff, Simon, Jan Neuhaus, Tobias Hemsel, and Walter Sextro. “A Friction Based Approach for Modeling Wire Bonding.” In <i>IMAPS 2013, 46th International Symposium on Microelectronics</i>. Orlando (Florida), USA, 2013. <a href=\"https://doi.org/10.4071/isom-2013-TA67\">https://doi.org/10.4071/isom-2013-TA67</a>."},"place":"Orlando (Florida), USA","year":"2013"},{"date_created":"2023-01-16T12:08:03Z","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-16T12:08:17Z","publisher":"IEEE","conference":{"name":"23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"},"doi":"10.1109/PATMOS.2013.6662171","title":"Efficient Power-Intent Validation Using \"Loosely-Timed\" Simulation Models: A Non-Invasive Approach","publication_identifier":{"eisbn":["978-1-4799-1170-7"]},"citation":{"bibtex":"@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","mla":"Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013, doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","short":"F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.","apa":"Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>","ama":"Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>.","ieee":"F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>."},"year":"2013","place":"Karlsruhe","user_id":"5786","department":[{"_id":"672"}],"_id":"36919","language":[{"iso":"eng"}],"keyword":["Time-varying systems","Time-domain analysis","Synchronization","Context modeling","Clocks","Semantics","Standards"],"type":"conference","status":"public","abstract":[{"lang":"eng","text":"Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a \"loosely-timed\" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability."}]},{"publication_identifier":{"issn":["1948-5719"]},"quality_controlled":"1","year":"2012","page":"277-280","citation":{"apa":"Hunstig, M., Hemsel, T., &#38; Sextro, W. (2012). An efficient simulation technique for high-frequency piezoelectric inertia motors. In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i> (pp. 277–280). <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>","short":"M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.","bibtex":"@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation technique for high-frequency piezoelectric inertia motors}, DOI={<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280} }","mla":"Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–80, doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>.","ieee":"M. Hunstig, T. Hemsel, and W. Sextro, “An efficient simulation technique for high-frequency piezoelectric inertia motors,” in <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–280.","chicago":"Hunstig, Matthias, Tobias Hemsel, and Walter Sextro. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 277–80, 2012. <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>.","ama":"Hunstig M, Hemsel T, Sextro W. An efficient simulation technique for high-frequency piezoelectric inertia motors. In: <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>. ; 2012:277-280. doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>"},"date_updated":"2022-01-06T07:04:20Z","author":[{"first_name":"Matthias","full_name":"Hunstig, Matthias","last_name":"Hunstig"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias"},{"last_name":"Sextro","full_name":"Sextro, Walter","first_name":"Walter"}],"date_created":"2019-05-13T13:20:17Z","title":"An efficient simulation technique for high-frequency piezoelectric inertia motors","doi":"10.1109/ULTSYM.2012.0068","publication":"Ultrasonics Symposium (IUS), 2012 IEEE International","type":"conference","abstract":[{"lang":"eng","text":"Piezoelectric inertia motors use the inertia of a body to drive it by means of a friction contact in a series of small steps. These motors can operate in ``stick-slip'' or ``slip-slip'' mode, with the fundamental frequency of the driving signal ranging from several Hertz to more than 100 kHz. To predict the motor characteristics, a Coulomb friction model is sufficient in many cases, but numerical simulation requires microscopic time steps. This contribution proposes a much faster simulation technique using one evaluation per period of the excitation signal. The proposed technique produces results very close to those of timestep simulation for ultrasonics inertia motors and allows direct determination of the steady-state velocity of an inertia motor from the motion profile of the driving part. Thus it is a useful simulation technique which can be applied in both analysis and design of inertia motors, especially for parameter studies and optimisation."}],"status":"public","_id":"9784","department":[{"_id":"151"}],"user_id":"55222","keyword":["friction","ultrasonic motors","Coulomb friction model","efficient simulation technique","friction contact","high-frequency piezoelectric inertia motor","motor characteristics prediction","numerical simulation","slip-slip mode","stick-slip mode","time-step simulation","ultrasonic inertia motor","Acceleration","Acoustics","Actuators","Computational modeling","Friction","Numerical models","Steady-state"],"language":[{"iso":"eng"}]},{"keyword":["Computational Mathematics","Computational Theory and Mathematics","Modeling and Simulation"],"language":[{"iso":"eng"}],"publication":"Computers &amp; Mathematics with Applications","publisher":"Elsevier BV","date_created":"2023-07-10T11:33:50Z","title":"Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation","issue":"3","year":"2012","_id":"45933","department":[{"_id":"841"}],"user_id":"100441","type":"journal_article","status":"public","date_updated":"2024-04-03T09:23:54Z","volume":65,"author":[{"full_name":"Karátson, J.","last_name":"Karátson","first_name":"J."},{"first_name":"Balázs","id":"100441","full_name":"Kovács, Balázs","last_name":"Kovács","orcid":"0000-0001-9872-3474"}],"doi":"10.1016/j.camwa.2012.04.021","publication_identifier":{"issn":["0898-1221"]},"publication_status":"published","page":"449-459","intvolume":"        65","citation":{"apa":"Karátson, J., &#38; Kovács, B. (2012). Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation. <i>Computers &#38;amp; Mathematics with Applications</i>, <i>65</i>(3), 449–459. <a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">https://doi.org/10.1016/j.camwa.2012.04.021</a>","bibtex":"@article{Karátson_Kovács_2012, title={Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation}, volume={65}, DOI={<a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">10.1016/j.camwa.2012.04.021</a>}, number={3}, journal={Computers &#38;amp; Mathematics with Applications}, publisher={Elsevier BV}, author={Karátson, J. and Kovács, Balázs}, year={2012}, pages={449–459} }","short":"J. Karátson, B. Kovács, Computers &#38;amp; Mathematics with Applications 65 (2012) 449–459.","mla":"Karátson, J., and Balázs Kovács. “Variable Preconditioning in Complex Hilbert Space and Its Application to the Nonlinear Schrödinger Equation.” <i>Computers &#38;amp; Mathematics with Applications</i>, vol. 65, no. 3, Elsevier BV, 2012, pp. 449–59, doi:<a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">10.1016/j.camwa.2012.04.021</a>.","ieee":"J. Karátson and B. Kovács, “Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation,” <i>Computers &#38;amp; Mathematics with Applications</i>, vol. 65, no. 3, pp. 449–459, 2012, doi: <a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">10.1016/j.camwa.2012.04.021</a>.","chicago":"Karátson, J., and Balázs Kovács. “Variable Preconditioning in Complex Hilbert Space and Its Application to the Nonlinear Schrödinger Equation.” <i>Computers &#38;amp; Mathematics with Applications</i> 65, no. 3 (2012): 449–59. <a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">https://doi.org/10.1016/j.camwa.2012.04.021</a>.","ama":"Karátson J, Kovács B. Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation. <i>Computers &#38;amp; Mathematics with Applications</i>. 2012;65(3):449-459. doi:<a href=\"https://doi.org/10.1016/j.camwa.2012.04.021\">10.1016/j.camwa.2012.04.021</a>"}},{"department":[{"_id":"672"}],"user_id":"5786","_id":"37002","language":[{"iso":"eng"}],"keyword":["Hardware design languages","Cost function","Computational modeling","Fault detection","Data models","Analytical models","Testing"],"publication":"Proceedings of Euromicro DSD 2011","type":"conference","status":"public","abstract":[{"text":"HDL-mutation based fault injection and analysis is considered as an important coverage metric for measuring the quality of design simulation processes [20, 3, 1, 2]. In this work, we try to solve the problem of automatic simulation data generation targeting HDL mutation faults. We follow a search based approach and eliminate the need for symbolic execution and mathematical constraint solving from existing work. An objective cost function is defined on the test input space and serves the guidance of search for fault-detecting test data. This is done by first mapping the simulation traces under a test onto a control and data flow graph structure which is extracted from the design. Then the progress of fault detection can be measured quantitatively on this graph to be the cost value. By minimizing this cost we approach the target test data. The effectiveness of the cost function is investigated under an example neighborhood search scheme. Case study with a floating point arithmetic IP design has shown that the cost function is able to guide effectively the search procedure towards a fault-detecting test. The cost calculation time as the search overhead was also observed to be minor compared to the actual design simulation time.","lang":"eng"}],"author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Florian","full_name":"Letombe, Florian","last_name":"Letombe"}],"date_created":"2023-01-17T09:02:48Z","date_updated":"2025-02-26T14:44:15Z","publisher":"IEEE","doi":"10.1109/DSD.2011.83","title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","publication_identifier":{"isbn":["978-1-4577-1048-3"]},"citation":{"short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.","bibtex":"@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }","mla":"Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of Euromicro DSD 2011</i>, IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of Euromicro DSD 2011</i>. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>","chicago":"Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of Euromicro DSD 2011</i>. Oulu, Finnland: IEEE, 2011. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>.","ieee":"T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: <a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","ama":"Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of Euromicro DSD 2011</i>. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>"},"place":"Oulu, Finnland","year":"2011"},{"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>.","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","ama":"Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>","apa":"Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>","mla":"Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","bibtex":"@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010."},"year":"2010","place":"Dresden","date_created":"2023-01-17T09:12:35Z","author":[{"first_name":"Fabian","full_name":"Mischkalla, Fabian","last_name":"Mischkalla"},{"first_name":"Da","full_name":"He, Da","last_name":"He"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2023-01-17T09:12:44Z","publisher":"IEEE","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456990","title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","publication":"Proceedings of DATE’10","type":"conference","status":"public","abstract":[{"text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"37007","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"]},{"citation":{"ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>","chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>.","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }","apa":"Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>"},"place":"Dresden","year":"2010","doi":"10.1109/DATE.2010.5457186","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"A Systematic Approach to Combined HW/SW System Test","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-17T10:41:15Z","publisher":"IEEE","date_updated":"2023-01-17T10:41:25Z","status":"public","abstract":[{"lang":"eng","text":"Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition."}],"publication":"Proceedings of DATE’10","type":"conference","language":[{"iso":"eng"}],"keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37037"},{"title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","doi":"10.1109/DATE.2010.5456965","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publisher":"IEEE","date_updated":"2023-01-17T10:47:37Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Giuseppe","last_name":"Di Guglielmo","full_name":"Di Guglielmo, Giuseppe"},{"first_name":"Franco","full_name":"Fummi, Franco","last_name":"Fummi"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Graziano","last_name":"Pravadelli","full_name":"Pravadelli, Graziano"},{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"}],"date_created":"2023-01-17T10:47:29Z","place":"Dresden","year":"2010","citation":{"bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>."},"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"language":[{"iso":"eng"}],"_id":"37040","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of DATE’10"},{"keyword":["Libraries","Generators","Transfer functions","Monitoring","Computational modeling","Driver circuits","Adaptation model"],"language":[{"iso":"eng"}],"_id":"37057","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"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."}],"status":"public","type":"conference","publication":"Proceedings of SIES 2010","title":"Verification of a CAN Bus Model in SystemC with Functional Coverage","conference":{"location":" Trento, Italy","name":"International Symposium on Industrial Embedded System (SIES)"},"doi":"10.1109/SIES.2010.5551379","publisher":"IEEE","date_updated":"2023-01-17T11:35:03Z","author":[{"first_name":"Gilles B.","last_name":"Defo","full_name":"Defo, Gilles B."},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"}],"date_created":"2023-01-17T11:34:56Z","year":"2010","place":" Trento, Italy","citation":{"ama":"Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: <i>Proceedings of SIES 2010</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>","ieee":"G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES),  Trento, Italy, 2010, doi: <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>.","chicago":"Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In <i>Proceedings of SIES 2010</i>.  Trento, Italy: IEEE, 2010. <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">https://doi.org/10.1109/SIES.2010.5551379</a>.","bibtex":"@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }","mla":"Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” <i>Proceedings of SIES 2010</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551379\">10.1109/SIES.2010.5551379</a>.","short":"G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 2010.","apa":"Defo, G. B., Müller, W., &#38; Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. <i>Proceedings of SIES 2010</i>. International Symposium on Industrial Embedded System (SIES),  Trento, Italy. <a href=\"https://doi.org/10.1109/SIES.2010.5551379\">https://doi.org/10.1109/SIES.2010.5551379</a>"},"publication_identifier":{"eisbn":["978-1-4244-5841-7"]}},{"title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"doi":"10.1109/DATE.2010.5456965","publisher":"IEEE","date_updated":"2025-03-12T16:39:17Z","date_created":"2023-01-17T10:44:46Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Giuseppe","last_name":"Di Guglielmo","full_name":"Di Guglielmo, Giuseppe"},{"first_name":"Franco","last_name":"Fummi","full_name":"Fummi, Franco"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Graziano","full_name":"Pravadelli, Graziano","last_name":"Pravadelli"},{"first_name":"Tao","full_name":"Xie, Tao","last_name":"Xie"}],"year":"2010","place":"Dresden","citation":{"chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>"},"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"language":[{"iso":"eng"}],"_id":"37039","user_id":"5786","abstract":[{"lang":"eng","text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms."}],"status":"public","publication":"Proceedings of DATE’10","type":"conference"},{"quality_controlled":"1","citation":{"apa":"Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38; C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>.","short":"J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.","mla":"Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French et al., 2010.","bibtex":"@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }","ieee":"J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, 2010.","chicago":"Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.","ama":"Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>. ; 2010."},"place":"Seattle, WA","year":"2010","date_created":"2021-09-09T12:27:14Z","author":[{"first_name":"Jens","last_name":"Pottebaum","orcid":"http://orcid.org/0000-0001-8778-2989","full_name":"Pottebaum, Jens","id":"405"},{"full_name":"Japs, Anna Maria","last_name":"Japs","first_name":"Anna Maria"},{"last_name":"Prödel","full_name":"Prödel, Stephan","first_name":"Stephan"},{"full_name":"Koch, Rainer","last_name":"Koch","first_name":"Rainer"}],"date_updated":"2026-03-31T03:52:00Z","oa":"1","main_file_link":[{"open_access":"1","url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf"}],"title":"Design and modeling of a domain ontology for fire protection","publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","type":"conference","status":"public","editor":[{"full_name":"French, Simon","last_name":"French","first_name":"Simon"},{"last_name":"Tomaszewski","full_name":"Tomaszewski, Brian","first_name":"Brian"},{"last_name":"Zobel","full_name":"Zobel, Chris","first_name":"Chris"}],"user_id":"405","_id":"24065","language":[{"iso":"eng"}],"keyword":["Command and control process","Command and control systems","Design and modeling","Domain ontologies","Emergency response","Fire extinguishers","Fire protection","Heterogeneous domains","Information analysis","Information sharing","Information systems","Interoperability","Ontology language","Semantic technologies","Semantic Web","Semantics"]},{"status":"public","abstract":[{"lang":"eng","text":"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."}],"publication":"Proceedings of DATE'09","type":"conference","language":[{"iso":"eng"}],"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37067","citation":{"mla":"Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","bibtex":"@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","apa":"Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>","ama":"Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>","ieee":"T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","chicago":"Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>."},"place":"Nice, France","year":"2009","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"doi":"10.1109/DATE.2009.5090664","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"title":"A UML Frontend for IP-XACT-based IP Management","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T11:54:02Z","date_updated":"2023-01-17T11:54:07Z","publisher":"IEEE"},{"_id":"37066","user_id":"5786","department":[{"_id":"672"}],"keyword":["Timing","Analytical models","Clocks","Performance analysis","Scheduling","Operating systems","Delay","Real time systems","Application software","Context modeling"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of DATE'09","abstract":[{"text":"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.","lang":"eng"}],"status":"public","date_updated":"2023-01-17T11:51:48Z","date_created":"2023-01-17T11:51:44Z","author":[{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"title":"Increased Accuracy through Noise Injection in Abstract RTOS Simulation","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"doi":"10.1109/DATE.2009.5090925","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"place":"Nice, France","year":"2009","citation":{"apa":"Zabel, H., &#38; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>","mla":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” <i>Proceedings of DATE’09</i>, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","short":"H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.","bibtex":"@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }","ieee":"H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","chicago":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In <i>Proceedings of DATE’09</i>. Nice, France, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>.","ama":"Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: <i>Proceedings of DATE’09</i>. ; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>"}},{"status":"public","type":"journal_article","_id":"9571","user_id":"55222","department":[{"_id":"151"}],"citation":{"ama":"Mracek M, Hemsel T, Sattel T, Vasiljev P, Wallaschek J. Driving concepts for bundled ultrasonic linear motors. <i>Journal of Electroceramics</i>. 2008;20(3-4):153-158. doi:<a href=\"https://doi.org/10.1007/s10832-007-9123-5\">10.1007/s10832-007-9123-5</a>","chicago":"Mracek, Maik, Tobias Hemsel, Thomas Sattel, Piotr Vasiljev, and Jörg Wallaschek. “Driving Concepts for Bundled Ultrasonic Linear Motors.” <i>Journal of Electroceramics</i> 20, no. 3–4 (2008): 153–58. <a href=\"https://doi.org/10.1007/s10832-007-9123-5\">https://doi.org/10.1007/s10832-007-9123-5</a>.","ieee":"M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, and J. Wallaschek, “Driving concepts for bundled ultrasonic linear motors,” <i>Journal of Electroceramics</i>, vol. 20, no. 3–4, pp. 153–158, 2008.","short":"M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, J. Wallaschek, Journal of Electroceramics 20 (2008) 153–158.","mla":"Mracek, Maik, et al. “Driving Concepts for Bundled Ultrasonic Linear Motors.” <i>Journal of Electroceramics</i>, vol. 20, no. 3–4, Springer US, 2008, pp. 153–58, doi:<a href=\"https://doi.org/10.1007/s10832-007-9123-5\">10.1007/s10832-007-9123-5</a>.","bibtex":"@article{Mracek_Hemsel_Sattel_Vasiljev_Wallaschek_2008, title={Driving concepts for bundled ultrasonic linear motors}, volume={20}, DOI={<a href=\"https://doi.org/10.1007/s10832-007-9123-5\">10.1007/s10832-007-9123-5</a>}, number={3–4}, journal={Journal of Electroceramics}, publisher={Springer US}, author={Mracek, Maik and Hemsel, Tobias and Sattel, Thomas and Vasiljev, Piotr and Wallaschek, Jörg}, year={2008}, pages={153–158} }","apa":"Mracek, M., Hemsel, T., Sattel, T., Vasiljev, P., &#38; Wallaschek, J. (2008). Driving concepts for bundled ultrasonic linear motors. <i>Journal of Electroceramics</i>, <i>20</i>(3–4), 153–158. <a href=\"https://doi.org/10.1007/s10832-007-9123-5\">https://doi.org/10.1007/s10832-007-9123-5</a>"},"page":"153-158","intvolume":"        20","publication_identifier":{"issn":["1385-3449"]},"doi":"10.1007/s10832-007-9123-5","date_updated":"2022-01-06T07:04:16Z","author":[{"first_name":"Maik","last_name":"Mracek","full_name":"Mracek, Maik"},{"last_name":"Hemsel","full_name":"Hemsel, Tobias","id":"210","first_name":"Tobias"},{"full_name":"Sattel, Thomas","last_name":"Sattel","first_name":"Thomas"},{"last_name":"Vasiljev","full_name":"Vasiljev, Piotr","first_name":"Piotr"},{"first_name":"Jörg","last_name":"Wallaschek","full_name":"Wallaschek, Jörg"}],"volume":20,"abstract":[{"text":"Several positioning tasks demand translatory drive instead of rotary motion. To achieve drives that are capable, e.g., to drive the sunroof of a car or to lift a car's window, multiple miniaturized motors can be combined. But in this case many other questions arise: The electromechanical behavior of the individual motors differs slightly, the motor characteristics are strongly dependent on the driving parameters and the driven load, many applications need some extra power for special cases like overcoming higher forces periodically. Thus, the bundle of motors has to act well-organized and at last controlled to get an optimized drive that is not oversized and costly.","lang":"eng"}],"publication":"Journal of Electroceramics","keyword":["Ultrasonic linear motor","High power","Control","Modeling","Characteristics"],"language":[{"iso":"eng"}],"year":"2008","quality_controlled":"1","issue":"3-4","title":"Driving concepts for bundled ultrasonic linear motors","publisher":"Springer US","date_created":"2019-04-29T12:27:25Z"},{"publication_identifier":{"isbn":["0-7695-2288-2"]},"citation":{"mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>.","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","ama":"Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>"},"place":"Munich, Germany ","year":"2005","date_created":"2023-01-24T08:10:40Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Achim","last_name":"Rettberg","full_name":"Rettberg, Achim"}],"date_updated":"2023-01-24T08:10:44Z","publisher":"IEEE","doi":"10.1109/DATE.2005.20","title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware","type":"conference","publication":"Proceedings of DATE’05","status":"public","abstract":[{"text":"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.","lang":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39029","language":[{"iso":"eng"}],"keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"]}]