[{"doi":"10.1007/s12193-008-0003-3","language":[{"iso":"eng"}],"date_updated":"2022-12-19T12:23:05Z","intvolume":"         2","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","year":"2008","author":[{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"type":"journal_article","keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"department":[{"_id":"672"}],"date_created":"2022-12-19T12:22:50Z","abstract":[{"lang":"eng","text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation."}],"publication":"Journal on Multimodal User Interfaces","issue":"1","user_id":"5786","volume":2,"page":"25-41","publisher":"Springer-Verlag","_id":"34564","status":"public","citation":{"ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>. 2008;2(1):25-41. doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>","bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i> 2, no. 1 (2008): 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>.","apa":"Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>, <i>2</i>(1), 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>","ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, pp. 25–41, 2008, doi: <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>."}},{"language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-70930-5_7","author":[{"last_name":"Großmann","first_name":"Jürgen","full_name":"Großmann, Jürgen"},{"full_name":"Fey, Ines","last_name":"Fey","first_name":"Ines"},{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"first_name":"Mirko","last_name":"Conrad","full_name":"Conrad, Mirko"},{"full_name":"Wewetzer, Christian","last_name":"Wewetzer","first_name":"Christian"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"publication_identifier":{"isbn":["978-3-540-70929-9"]},"title":"TestML – A Test Exchange Language for Model-based Testing of Embedded Software","year":"2008","date_updated":"2022-10-18T11:20:02Z","date_created":"2022-10-18T11:19:31Z","department":[{"_id":"672"}],"keyword":["Test Behavior","Test Exchange","System Under Test","Hybrid Automaton","Test Execution"],"type":"book_chapter","publication":"ASWSD 2006: Model-Driven Development of Reliable Automotive Services","abstract":[{"text":"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.","lang":"eng"}],"_id":"33815","publisher":"Springer Verlag","page":"98-117","editor":[{"full_name":"Broy, Manfred","last_name":"Broy","first_name":"Manfred"},{"last_name":"Krüger","first_name":"Ingolf H.","full_name":"Krüger, Ingolf H."},{"first_name":"Michael","last_name":"Meisinger","full_name":"Meisinger, Michael"}],"user_id":"5786","status":"public","place":"Berlin, Heidelberg","citation":{"mla":"Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, edited by Manfred Broy et al., Springer Verlag, 2008, pp. 98–117, doi:<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>.","ama":"Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger IH, Meisinger M, eds. <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>. Springer Verlag; 2008:98-117. doi:<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>","bibtex":"@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin, Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing of Embedded Software}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>}, booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services}, publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117} }","apa":"Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., &#38; Müller, W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In M. Broy, I. H. Krüger, &#38; M. Meisinger (Eds.), <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i> (pp. 98–117). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">https://doi.org/10.1007/978-3-540-70930-5_7</a>","ieee":"J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML – A Test Exchange Language for Model-based Testing of Embedded Software,” in <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, M. Broy, I. H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp. 98–117.","chicago":"Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. <a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">https://doi.org/10.1007/978-3-540-70930-5_7</a>.","short":"J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117."}},{"year":"2008","title":"Proceedings of the 5th International DAC Workshop of UML for SoC Design","status":"public","date_updated":"2024-04-18T20:44:48Z","language":[{"iso":"eng"}],"_id":"53583","editor":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Wolfe, John","last_name":"Wolfe","first_name":"John"}],"user_id":"16243","citation":{"ama":"Müller W, Wolfe J, eds. <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>.; 2008.","bibtex":"@book{Müller_Wolfe_2008, place={Anaheim, CA, USA}, title={Proceedings of the 5th International DAC Workshop of UML for SoC Design}, year={2008} }","mla":"Müller, Wolfgang, and John Wolfe, editors. <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>. 2008.","chicago":"Müller, Wolfgang, and John Wolfe, eds. <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008.","short":"W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop of UML for SoC Design, Anaheim, CA, USA, 2008.","apa":"Müller, W., &#38; Wolfe, J. (Eds.). (2008). <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>.","ieee":"W. Müller and J. Wolfe, Eds., <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008."},"place":"Anaheim, CA, USA","date_created":"2024-04-18T20:44:43Z","department":[{"_id":"58"}],"type":"book_editor"},{"language":[{"iso":"eng"}],"_id":"53594","editor":[{"last_name":"Wolfe","first_name":"John","full_name":"Wolfe, John"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"user_id":"16243","status":"public","year":"2008","title":"Proceedings of the 4th DAC Workshop on UML for SOC Design ","date_updated":"2024-04-18T22:11:24Z","place":"Anaheim CA, USA","date_created":"2024-04-18T21:54:23Z","department":[{"_id":"58"}],"type":"book_editor","citation":{"short":"J. Wolfe, W. Müller, eds., Proceedings of the 4th DAC Workshop on UML for SOC Design , Anaheim CA, USA, 2008.","chicago":"Wolfe, John, and Wolfgang Müller, eds. <i>Proceedings of the 4th DAC Workshop on UML for SOC Design </i>. Anaheim CA, USA, 2008.","ieee":"J. Wolfe and W. Müller, Eds., <i>Proceedings of the 4th DAC Workshop on UML for SOC Design </i>. Anaheim CA, USA, 2008.","apa":"Wolfe, J., &#38; Müller, W. (Eds.). (2008). <i>Proceedings of the 4th DAC Workshop on UML for SOC Design </i>.","bibtex":"@book{Wolfe_Müller_2008, place={Anaheim CA, USA}, title={Proceedings of the 4th DAC Workshop on UML for SOC Design }, year={2008} }","ama":"Wolfe J, Müller W, eds. <i>Proceedings of the 4th DAC Workshop on UML for SOC Design </i>.; 2008.","mla":"Wolfe, John, and Wolfgang Müller, editors. <i>Proceedings of the 4th DAC Workshop on UML for SOC Design </i>. 2008."}},{"citation":{"bibtex":"@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International Federation for Information Processing}, title={An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271}, DOI={<a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">10.1007/978-0-387-09661-2_18</a>}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation for Information Processing} }","ama":"Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds. 2008;271. doi:<a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">10.1007/978-0-387-09661-2_18</a>","mla":"Zabel, Henning, and Wolfgang Müller. <i>An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration</i>. Edited by L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:<a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">10.1007/978-0-387-09661-2_18</a>.","chicago":"Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann.  IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. <a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">https://doi.org/10.1007/978-0-387-09661-2_18</a>.","short":"H. Zabel, W. Müller, 271 (2008).","ieee":"H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag, Dordrecht, 2008, doi: <a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">10.1007/978-0-387-09661-2_18</a>.","apa":"Zabel, H., &#38; Müller, W. (2008). <i>An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. <a href=\"https://doi.org/10.1007/978-0-387-09661-2_18\">https://doi.org/10.1007/978-0-387-09661-2_18</a>"},"place":"Dordrecht","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008)"},"status":"public","editor":[{"last_name":"Kleinjohann","first_name":"L.","full_name":"Kleinjohann, L."},{"first_name":"B.","last_name":"Kleinjohann","full_name":"Kleinjohann, B."}],"volume":271,"user_id":"5786","publisher":"Springer Verlag","_id":"37075","abstract":[{"lang":"eng","text":"Complex control oriented embedded systems with hard real-time constraints require real-time operation system (RTOS) for predictable timing behavior. To support the evaluation of different scheduling strategies and task priorities, we use an abstract RTOS model based on SystemC. In this article, we present an annotation method for time estimation that supports flexible simulation and validation of real-time-constraints for task migration between different target processors without loss of simulation performance and less memory overhead."}],"department":[{"_id":"672"}],"keyword":["Execution Time     Schedule Strategy     Simulation Speed     Task Migration     Atomic Block"],"type":"conference","date_created":"2023-01-17T12:08:21Z","intvolume":"       271","date_updated":"2023-01-17T12:08:25Z","author":[{"last_name":"Zabel","first_name":"Henning","full_name":"Zabel, Henning"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"publication_identifier":{"isbn":["978-0-387-09660-5"]},"year":"2008","title":"An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration","doi":"10.1007/978-0-387-09661-2_18","series_title":" IFIP – The International Federation for Information Processing","language":[{"iso":"eng"}]},{"department":[{"_id":"672"}],"type":"conference","place":"Aachen","date_created":"2023-01-17T12:05:11Z","abstract":[{"lang":"eng","text":"Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs-\r\nzeiten und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis-\r\nsen und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis von\r\nSystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen allerdings nur\r\nunzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling und ihren hard-\r\nwareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte Scheduler für Softwa-\r\nre Task und Interrupt Service Routinen. Diese Trennung erlaubt die präzise Modellierung\r\nvon Interrupt Prioritäten und Interrupt Scheduling unabhängig von dem eigentlichen RTOS\r\nScheduler."}],"citation":{"bibtex":"@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and Disch, S.}, year={2008} }","ama":"Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>. Shaker Verlag; 2008.","mla":"Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch, Shaker Verlag, 2008.","chicago":"Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.","short":"H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.","ieee":"H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC,” in <i>Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>, 2008.","apa":"Zabel, H., &#38; Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl &#38; S. Disch (Eds.), <i>Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>. Shaker Verlag."},"publication":"Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System","editor":[{"full_name":"Scholl, Ch.","first_name":"Ch.","last_name":"Scholl"},{"last_name":"Disch","first_name":"S.","full_name":"Disch, S."}],"user_id":"5786","_id":"37072","publisher":"Shaker Verlag","language":[{"iso":"eng"}],"date_updated":"2023-01-17T12:05:17Z","author":[{"full_name":"Zabel, Henning","first_name":"Henning","last_name":"Zabel"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"title":"Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC","status":"public","year":"2008"},{"date_created":"2023-01-17T12:11:18Z","place":"Paderborn","department":[{"_id":"672"}],"type":"conference","citation":{"ieee":"H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,” vol. 6, no. 4. Paderborn, 2007.","mla":"Zabel, Henning, and Wolfgang Müller. <i>Simulation Mit Abstrakten RTOS Modellen in SystemC</i>. no. 4, 2007.","apa":"Zabel, H., &#38; Müller, W. (2007). <i>Simulation mit abstrakten RTOS Modellen in SystemC</i> (Vol. 6, Issue 4).","bibtex":"@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel, Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }","chicago":"Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.","ama":"Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).","short":"H. Zabel, W. Müller, 6 (2007)."},"issue":"4","abstract":[{"lang":"eng","text":"An komplexe Steuersoftware werden harte Anforderungen bez ̈ug-\r\nlich der Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines\r\nEchtzeit-Schedulingverfahrens ist hier entscheidend. Die Verwendung\r\nvon Interrupts in einem Echtzeitsystem erlaubt die zeitnahe Reaktion\r\nauf externe Ereignisse. Sie erschwert allerdings die Vorhersagbarkeit\r\nvon Zeitschranken.\r\nIn diesem Bericht wird eine Methode zur abstrakten Simulation\r\neines Echtzeitbetriebssystems (Real-Time Operating System/RTOS)\r\nin der Systembeschreibungssprache SystemC vorgestellt. Die Verwen-\r\ndung eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver-\r\nschiedener Schedulingverfahren zu einem fr ̈uhen Zeitpunkt im Ent-\r\nwurf des Systems. Interrupts unterliegen allerdings nicht einem RTOS-\r\nSchedulingverfahren und m ̈ussen daher gesondert behandelt werden.\r\nDieser Bericht beschreibt die Implementierung eines kanonischen\r\nRTOS-Modells zur fr ̈uhen Analyse von Schedulingverfahren, das ei-\r\nne getrennte Modellierung von Task- und Interrupt-Scheduling er-\r\nlaubt. Dieser Ansatz erlaubt die Trennung des hardwareabh ̈angigen\r\nInterrupt-Scheduling in ein separates Modell und eine Evaluierung des\r\nSchedules, das sich rein auf Tasks bezieht."}],"language":[{"iso":"eng"}],"_id":"37076","series_title":"C-LAB Report","volume":6,"user_id":"5786","publication_identifier":{"issn":["1619-7879"]},"author":[{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"title":"Simulation mit abstrakten RTOS Modellen in SystemC","year":"2007","status":"public","intvolume":"         6","date_updated":"2023-01-17T12:11:23Z"},{"citation":{"mla":"Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” <i>Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>, 2007.","bibtex":"@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage}, booktitle={Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }","ama":"Krupp A, Müller W. Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: <i>Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>. ; 2007.","ieee":"A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage,” 2007.","apa":"Krupp, A., &#38; Müller, W. (2007). Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. <i>Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>.","short":"A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” In <i>Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>. Prague, Czech Republic, 2007."},"publication":"Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)","date_created":"2023-01-17T12:20:50Z","place":"Prague, Czech Republic","department":[{"_id":"672"}],"type":"conference","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2007","status":"public","title":"Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage","date_updated":"2023-01-17T12:20:56Z","_id":"37083","language":[{"iso":"eng"}],"user_id":"5786"},{"date_updated":"2023-01-17T12:19:12Z","status":"public","year":"2007","title":"TestML - A Test Exchange Language for Model-based Testing of Embedded Software","author":[{"full_name":"Großmann, Jürgen","last_name":"Großmann","first_name":"Jürgen"},{"first_name":"Ines","last_name":"Fey","full_name":"Fey, Ines"},{"full_name":"Conrad, M.","first_name":"M.","last_name":"Conrad"},{"last_name":"Wewetzer","first_name":"Ch.","full_name":"Wewetzer, Ch."},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"37080","publication":"Proceedings of the Automotive Software Workshop '06","citation":{"bibtex":"@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML - A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }","ama":"Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: <i>Proceedings of the Automotive Software Workshop ’06</i>. ; 2007.","short":"J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings of the Automotive Software Workshop ’06, 2007.","chicago":"Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” In <i>Proceedings of the Automotive Software Workshop ’06</i>, 2007.","ieee":"J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test Exchange Language for Model-based Testing of Embedded Software,” 2007.","apa":"Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., &#38; Müller, W. (2007). TestML - A Test Exchange Language for Model-based Testing of Embedded Software. <i>Proceedings of the Automotive Software Workshop ’06</i>.","mla":"Großmann, Jürgen, et al. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” <i>Proceedings of the Automotive Software Workshop ’06</i>, 2007."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-17T12:19:06Z"},{"date_created":"2023-01-17T12:13:03Z","place":"San Diego, USA","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the UML for SoC Design Workshop at DAC'07","citation":{"short":"W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07, San Diego, USA, 2007.","ama":"Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering. In: <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>. ; 2007.","chicago":"Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” In <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>. San Diego, USA, 2007.","bibtex":"@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007} }","apa":"Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in Engineering. <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>.","mla":"Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>, 2007.","ieee":"W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,” 2007."},"language":[{"iso":"eng"}],"_id":"37079","user_id":"5786","status":"public","title":"On the Use and Misuse of UML- Application of Diagrams in Engineering","year":"2007","author":[{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-17T12:13:09Z"},{"author":[{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Andrés","last_name":"Marin-López","full_name":"Marin-López, Andrés"},{"full_name":"Díaz-Sánchez, Daniel","last_name":"Díaz-Sánchez","first_name":"Daniel"}],"status":"public","year":"2007","title":"Using Smart Cards for Secure and Device Independent User Interfaces","date_updated":"2023-01-17T12:23:39Z","_id":"37085","language":[{"iso":"eng"}],"user_id":"5786","citation":{"mla":"Schäfer, Robbie, et al. “Using Smart Cards for Secure and Device Independent User Interfaces.” <i>Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>, 2007.","ama":"Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for Secure and Device Independent User Interfaces. In: <i>Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>. ; 2007.","bibtex":"@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore}, title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }","apa":"Schäfer, R., Müller, W., Marin-López, A., &#38; Díaz-Sánchez, D. (2007). Using Smart Cards for Secure and Device Independent User Interfaces. <i>Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>.","ieee":"R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Using Smart Cards for Secure and Device Independent User Interfaces,” 2007.","short":"R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007), Singapore, 2007.","chicago":"Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Using Smart Cards for Secure and Device Independent User Interfaces.” In <i>Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>. Singapore, 2007."},"publication":"Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)","abstract":[{"lang":"eng","text":"Smart Cards are becoming a ubiquitous means for securing a wide range of interactive applications. However in many cases its use is limited for authentication purposes only. In this paper we extend the use of smart cards for carrying abstract user interface descriptions which can be rendered on dierent and potentially remote clients that in addition can support varying interaction modalities. This adds on the one hand to the security since a backend application cannot be used without the UI description, and on the other hand to the versatility of applications, since all devices with a respective renderer for certain modalities can be utilized."}],"place":"Singapore","date_created":"2023-01-17T12:23:34Z","department":[{"_id":"672"}],"type":"conference"},{"abstract":[{"text":"User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combination with flexible device access and control. However, managing those data poses severe privacy problems both legally and from a trust perspective. Therefore we propose a home automation middleware for secure management of user and context data that gives access to services just for the authorized users and devices. The middleware has been successfully tested at the ambient computing (AC-LAB) at the University of Paderborn.","lang":"eng"}],"citation":{"ama":"Marin A, Müller W, Schäfer R, Almenarez F, Diaz D, Ziegler M. Middleware for Secure Home Access and Control. In: <i>Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>. IEEE; 2007.","bibtex":"@inproceedings{Marin_Müller_Schäfer_Almenarez_Diaz_Ziegler_2007, place={White Plains, New York, USA}, title={Middleware for Secure Home Access and Control}, booktitle={Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)}, publisher={IEEE}, author={Marin, Andres and Müller, Wolfgang and Schäfer, Robbie and Almenarez, Florina and Diaz, Daniel and Ziegler, Max}, year={2007} }","mla":"Marin, Andres, et al. “Middleware for Secure Home Access and Control.” <i>Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>, IEEE, 2007.","chicago":"Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In <i>Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>. White Plains, New York, USA: IEEE, 2007.","short":"A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007), IEEE, White Plains, New York, USA, 2007.","apa":"Marin, A., Müller, W., Schäfer, R., Almenarez, F., Diaz, D., &#38; Ziegler, M. (2007). Middleware for Secure Home Access and Control. <i>Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>. 5th Conference on Pervasive Computing and Communications (PerCom 2007), White Plains, New York, USA.","ieee":"A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, and M. Ziegler, “Middleware for Secure Home Access and Control,” presented at the 5th Conference on Pervasive Computing and Communications (PerCom 2007), White Plains, New York, USA, 2007."},"publication":"Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)","department":[{"_id":"672"}],"type":"conference","place":"White Plains, New York, USA","date_created":"2023-01-23T11:53:50Z","date_updated":"2023-01-23T11:53:55Z","conference":{"location":"White Plains, New York, USA","name":"5th Conference on Pervasive Computing and Communications (PerCom 2007)"},"publication_identifier":{"isbn":["0-7695-2788-4"]},"author":[{"first_name":"Andres","last_name":"Marin","full_name":"Marin, Andres"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"full_name":"Almenarez, Florina","first_name":"Florina","last_name":"Almenarez"},{"last_name":"Diaz","first_name":"Daniel","full_name":"Diaz, Daniel"},{"first_name":"Max","last_name":"Ziegler","full_name":"Ziegler, Max"}],"year":"2007","status":"public","title":"Middleware for Secure Home Access and Control","user_id":"5786","_id":"38106","publisher":"IEEE","language":[{"iso":"eng"}]},{"date_updated":"2023-01-23T11:46:05Z","status":"public","title":"Device Independent User Interfaces for Smart Cards","year":"2007","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Marin-López","first_name":"Andrés","full_name":"Marin-López, Andrés"},{"last_name":"Díaz-Sánchez","first_name":"Daniel","full_name":"Díaz-Sánchez, Daniel"}],"user_id":"5786","_id":"38100","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Smart Cards are becoming a ubiquitous means for securing\r\na wide range of interactive applications. However in many\r\ncases its use is limited for authentication purposes only. In\r\nthis paper we extend the use of smart cards for carrying\r\nabstract user interface descriptions which can be rendered\r\non different and potentially remote clients that in addition\r\ncan support different interaction modalities. This adds on\r\nthe one hand to the security since a backend application\r\ncannot be used without the UI description, and on the other\r\nhand to the versatility of applications, since all devices with\r\na respective renderer for certain modalities can be utilized."}],"publication":"Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)","citation":{"short":"R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007), Singapore, 2007.","chicago":"Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Device Independent User Interfaces for Smart Cards.” In <i>Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>. Singapore, 2007.","apa":"Schäfer, R., Müller, W., Marin-López, A., &#38; Díaz-Sánchez, D. (2007). Device Independent User Interfaces for Smart Cards. <i>Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>.","ieee":"R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Device Independent User Interfaces for Smart Cards,” 2007.","ama":"Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Device Independent User Interfaces for Smart Cards. In: <i>Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>. ; 2007.","bibtex":"@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore}, title={Device Independent User Interfaces for Smart Cards}, booktitle={Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }","mla":"Schäfer, Robbie, et al. “Device Independent User Interfaces for Smart Cards.” <i>Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>, 2007."},"keyword":["Smart Card","Abstract User Interface","Device Independence"],"type":"conference","department":[{"_id":"672"}],"place":"Singapore","date_created":"2023-01-23T11:45:55Z"},{"date_updated":"2023-01-23T11:50:27Z","year":"2007","title":"A Low-Cost Positioning System for Location-Aware Applications in Smart Homes","status":"public","author":[{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Deimann","first_name":"Roman","full_name":"Deimann, Roman"},{"last_name":"Kleinjohann","first_name":"Bernd","full_name":"Kleinjohann, Bernd"}],"user_id":"5786","_id":"38104","language":[{"iso":"eng"}],"abstract":[{"text":"Location-aware services for private use such as GPS-\r\nbased navigation systems and GSM-based offerings\r\nhave become quite a success for outdoor applications,\r\nwhile indoor positioning systems are still mainly\r\nemployed for professional use only. The main reasons\r\nare cost issues and the complexity of setup and\r\nmaintenance of those systems. In this paper we\r\npresent CaMPTrack (Camera-based Multiple Person\r\nTracker), a prototype of a webcam-based positioning\r\nsystem and discuss its application and development\r\nchallenges.","lang":"eng"}],"publication":"Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007","citation":{"ieee":"R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes,” 2007.","apa":"Schäfer, R., Müller, W., Deimann, R., &#38; Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>.","chicago":"Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. San Jose, USA, 2007.","short":"R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.","mla":"Schäfer, Robbie, et al. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>, 2007.","bibtex":"@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose, USA}, title={A Low-Cost Positioning System for Location-Aware Applications in Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman and Kleinjohann, Bernd}, year={2007} }","ama":"Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. ; 2007."},"keyword":["Positioning Systems","Camera Based","Cost Efficiency","Smart Home Applications"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-23T11:50:18Z","place":"San Jose, USA"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-23T11:48:03Z","place":"Lancaster, United Kingdom","citation":{"mla":"Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal.” <i>Proceedings of IWUMUI’2007 at HCI’2007</i>, 2007.","ama":"Schäfer R, Müller W. Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. In: <i>Proceedings of IWUMUI’2007 at HCI’2007</i>. ; 2007.","bibtex":"@inproceedings{Schäfer_Müller_2007, place={Lancaster, United Kingdom}, title={Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal}, booktitle={Proceedings of IWUMUI’2007 at HCI’2007}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2007} }","apa":"Schäfer, R., &#38; Müller, W. (2007). Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. <i>Proceedings of IWUMUI’2007 at HCI’2007</i>.","ieee":"R. Schäfer and W. Müller, “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal,” 2007.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal.” In <i>Proceedings of IWUMUI’2007 at HCI’2007</i>. Lancaster, United Kingdom, 2007.","short":"R. Schäfer, W. Müller, in: Proceedings of IWUMUI’2007 at HCI’2007, Lancaster, United Kingdom, 2007."},"publication":"Proceedings of IWUMUI’2007 at HCI'2007","user_id":"5786","language":[{"iso":"eng"}],"_id":"38102","date_updated":"2023-01-23T11:48:14Z","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"year":"2007","status":"public","title":"Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal"},{"department":[{"_id":"672"}],"type":"conference","place":"Seoul, Korea","date_created":"2023-01-24T07:51:41Z","abstract":[{"lang":"eng","text":"UML (Unified Modeling Language™) as an OMG standard has received wide acceptance in software engineering over the last years. As electronic systems design moved towards software engineering, there is emerging interest for UML within the hardware community and different UML diagrams and their variations found their application in requirements specification, testbenches, architectural descriptions, and behavioral modeling.In most cases, UML is just applied as a graphical capture, though UML 2.0 meanwhile comes as a computationally complete language based on a generic metamodeling mechanism. Though it introduces considerable complexity, it is one of the key strengths of UML 2.0, providing a flexible foundation for its customization towards different application domains through so-called UML profiles, which currently receives increasing tool support and gives UML great potential to complement current C++-oriented languages for ESL design. In this context, SysML and the UML for SoC extension are already available as OMG profiles for Systems Engineering and SoC application and several proprietary profiles are under development. In that context, the concepts of the Model Driven Architecture (MDA) are of emerging interest. However, since MDA was mainly introduced for CASE tool support, its full application for hardware design still needs some investigations and certainly comes with some pitfalls.For industrial applications, the availability of appropriate tool support is crucial for deployment of UML in SoC design. UML tools currently come in different variations based on different UML versions and subsets with the support of specific flows, so that the selection of the appropriate tools becomes a key decision for the successful introduction of UML. Recently, several groups have reported positive outcomes regarding the customization of UML and tool support towards SoC design. These efforts result from collaborations between industrial users, researchers, and tool vendors, and constitute steps in the right direction. Regarding model exchange between tools, the UML-related XMI (XML Metadata Interchange) format and its relationship to SPIRIT, the emerging IEEE standard, are of additional particular interest. Partial overlaps can be identified and are currently under investigations by some projects, like SPRINT."}],"citation":{"chicago":"Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” In <i>Proceedings of CODES/ISSS</i>. Seoul, Korea, 2006.","short":"W. Müller, Y. Vanderperren, in: Proceedings of CODES/ISSS, Seoul, Korea, 2006.","ieee":"W. Müller and Y. Vanderperren, “UML and Model-Driven Development for SoC Design,” 2006.","apa":"Müller, W., &#38; Vanderperren, Y. (2006). UML and Model-Driven Development for SoC Design. <i>Proceedings of CODES/ISSS</i>.","bibtex":"@inproceedings{Müller_Vanderperren_2006, place={Seoul, Korea}, title={UML and Model-Driven Development for SoC Design}, booktitle={Proceedings of CODES/ISSS}, author={Müller, Wolfgang and Vanderperren, Yves}, year={2006} }","ama":"Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design. In: <i>Proceedings of CODES/ISSS</i>. ; 2006.","mla":"Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” <i>Proceedings of CODES/ISSS</i>, 2006."},"publication":"Proceedings of CODES/ISSS","user_id":"5786","language":[{"iso":"eng"}],"_id":"38533","date_updated":"2023-01-24T07:51:52Z","author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Vanderperren, Yves","first_name":"Yves","last_name":"Vanderperren"}],"year":"2006","status":"public","title":"UML and Model-Driven Development for SoC Design"},{"date_created":"2023-01-24T07:55:58Z","place":"Wuhan, China","department":[{"_id":"672"}],"type":"conference","keyword":["Resource Description Framework     User Preference     Smart Home     Prefer Temperature     Preference Profile"],"citation":{"short":"R. Schäfer, W. Müller, J. Groppe, in: Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06), Wuhan, China, 2006.","chicago":"Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing and Evolution for Smart Environments.” In <i>Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)</i>. Wuhan, China, 2006.","apa":"Schäfer, R., Müller, W., &#38; Groppe, J. (2006). Profile Processing and Evolution for Smart Environments. <i>Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)</i>.","ieee":"R. Schäfer, W. Müller, and J. Groppe, “Profile Processing and Evolution for Smart Environments,” 2006.","ama":"Schäfer R, Müller W, Groppe J. Profile Processing and Evolution for Smart Environments. In: <i>Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)</i>. ; 2006.","bibtex":"@inproceedings{Schäfer_Müller_Groppe_2006, place={Wuhan, China}, title={Profile Processing and Evolution for Smart Environments}, booktitle={Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)}, author={Schäfer, Robbie and Müller, Wolfgang and Groppe, Jinghua}, year={2006} }","mla":"Schäfer, Robbie, et al. “Profile Processing and Evolution for Smart Environments.” <i>Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)</i>, 2006."},"publication":"Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)","abstract":[{"lang":"eng","text":"Ubiquitous systems use context information to select and adapt multimodal user interfaces and appliances for individual users in certain situations. However, in order to enable true reactive environments, context information has to be adequately collected, filtered, and processed and combined with user, device and other profiles. In this article, we present how an XML-based transcoding system can be applied for advanced profile processing and evolution. We demonstrate how to encode domain knowledge into sets of rules, which perform adaptations of user, device and context profiles for smart environments."}],"_id":"38537","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Groppe, Jinghua","last_name":"Groppe","first_name":"Jinghua"}],"year":"2006","status":"public","title":"Profile Processing and Evolution for Smart Environments","date_updated":"2023-01-24T07:56:04Z"},{"language":[{"iso":"eng"}],"_id":"38538","user_id":"5786","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"}],"year":"2006","title":"Towards a Unified Behavioural Modelling Language","status":"public","date_updated":"2023-01-24T07:58:11Z","date_created":"2023-01-24T07:57:38Z","place":"San Francisco, USA","department":[{"_id":"672"}],"type":"conference","citation":{"ieee":"W. Müller and H. Zabel, “Towards a Unified Behavioural Modelling Language,” 2006.","apa":"Müller, W., &#38; Zabel, H. (2006). Towards a Unified Behavioural Modelling Language. <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>.","chicago":"Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>. San Francisco, USA, 2006.","short":"W. Müller, H. Zabel, in: Proceedings of the UML-SoC Workshop at DAC 2006, San Francisco, USA, 2006.","mla":"Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>, 2006.","bibtex":"@inproceedings{Müller_Zabel_2006, place={San Francisco, USA}, title={Towards a Unified Behavioural Modelling Language}, booktitle={Proceedings of the UML-SoC Workshop at DAC 2006}, author={Müller, Wolfgang and Zabel, Henning}, year={2006} }","ama":"Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>. ; 2006."},"publication":"Proceedings of the UML-SoC Workshop at DAC 2006","abstract":[{"lang":"eng","text":"Neither UML 2.0 nor the upcoming SysML 1.0 currently provides suffi-\r\ncient means for applications in the context of heterogeneous electronic systems de-\r\nscription and simulation. In this article, we demonstrate how general concepts of the\r\nsimulation framework Ptolemy II seamlessly complement SysML to serve as a uni-\r\nversal description language covering discrete event as well as continuous behaviors."}]},{"author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2006","status":"public","title":"UML - The Emerging Hardware Description Language?","date_updated":"2023-01-24T07:53:52Z","_id":"38536","language":[{"iso":"eng"}],"user_id":"5786","citation":{"apa":"Müller, W. (2006). UML - The Emerging Hardware Description Language? <i>Proc. of FDL’06</i>.","ieee":"W. Müller, “UML - The Emerging Hardware Description Language?,” 2006.","short":"W. Müller, in: Proc. of FDL’06, Darmstadt, 2006.","chicago":"Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In <i>Proc. of FDL’06</i>. Darmstadt, 2006.","mla":"Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” <i>Proc. of FDL’06</i>, 2006.","ama":"Müller W. UML - The Emerging Hardware Description Language? In: <i>Proc. of FDL’06</i>. ; 2006.","bibtex":"@inproceedings{Müller_2006, place={Darmstadt}, title={UML - The Emerging Hardware Description Language?}, booktitle={Proc. of FDL’06}, author={Müller, Wolfgang}, year={2006} }"},"publication":"Proc. of FDL'06","date_created":"2023-01-24T07:53:47Z","place":"Darmstadt","department":[{"_id":"672"}],"type":"conference"},{"date_updated":"2023-01-24T08:01:40Z","title":"UML: A Next Generation Language for SoC Design","year":"2006","status":"public","author":[{"last_name":"Lavagno","first_name":"Luciano","full_name":"Lavagno, Luciano"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"user_id":"5786","_id":"38540","language":[{"iso":"eng"}],"citation":{"bibtex":"@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }","ama":"Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.","mla":"Lavagno, Luciano, and Wolfgang Müller. <i>UML: A Next Generation Language for SoC Design</i>. 2006.","short":"L. Lavagno, W. Müller, in: 2006.","chicago":"Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.","ieee":"L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.","apa":"Lavagno, L., &#38; Müller, W. (2006). <i>UML: A Next Generation Language for SoC Design</i>."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T08:01:23Z"}]