[{"place":"Dordrecht","alternative_title":["Principles and Practice"],"doi":"10.1007/978-1-4020-9436-1","title":"Hardware-dependent Software","editor":[{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Dömer, Rainer","first_name":"Rainer","last_name":"Dömer"}],"department":[{"_id":"58"}],"citation":{"ieee":"W. Ecker, W. Müller, and R. Dömer, Eds., <i>Hardware-dependent Software</i>. Dordrecht: Springer Netherlands, 2009.","chicago":"Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer, eds. <i>Hardware-Dependent Software</i>. Dordrecht: Springer Netherlands, 2009. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1\">https://doi.org/10.1007/978-1-4020-9436-1</a>.","short":"W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer Netherlands, Dordrecht, 2009.","ama":"Ecker W, Müller W, Dömer R, eds. <i>Hardware-Dependent Software</i>. Springer Netherlands; 2009. doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1\">10.1007/978-1-4020-9436-1</a>","bibtex":"@book{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software}, DOI={<a href=\"https://doi.org/10.1007/978-1-4020-9436-1\">10.1007/978-1-4020-9436-1</a>}, publisher={Springer Netherlands}, year={2009} }","apa":"Ecker, W., Müller, W., &#38; Dömer, R. (Eds.). (2009). <i>Hardware-dependent Software</i>. Springer Netherlands. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1\">https://doi.org/10.1007/978-1-4020-9436-1</a>","mla":"Ecker, Wolfgang, et al., editors. <i>Hardware-Dependent Software</i>. Springer Netherlands, 2009, doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1\">10.1007/978-1-4020-9436-1</a>."},"publication_status":"published","user_id":"15931","language":[{"iso":"eng"}],"year":"2009","publication_identifier":{"isbn":["9781402094354","9781402094361"]},"type":"book_editor","status":"public","date_created":"2023-01-25T22:20:51Z","publisher":"Springer Netherlands","date_updated":"2024-04-18T20:09:39Z","_id":"40119"},{"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-1-4244-3781-8"]},"year":"2009","type":"conference","status":"public","date_created":"2023-01-17T11:54:02Z","publication":"Proceedings of DATE'09","publisher":"IEEE","date_updated":"2023-01-17T11:54:07Z","_id":"37067","place":"Nice, France","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."}],"doi":"10.1109/DATE.2009.5090664","title":"A UML Frontend for IP-XACT-based IP Management","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"first_name":"Tao","full_name":"Xie, Tao","last_name":"Xie"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"department":[{"_id":"672"}],"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>.","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>","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} }","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>","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","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>.","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>."},"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"user_id":"5786"},{"language":[{"iso":"eng"}],"type":"conference","year":"2009","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"status":"public","date_created":"2023-01-17T11:51:44Z","publication":"Proceedings of DATE'09","date_updated":"2023-01-17T11:51:48Z","_id":"37066","place":"Nice, France","abstract":[{"lang":"eng","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."}],"doi":"10.1109/DATE.2009.5090925","title":"Increased Accuracy through Noise Injection in Abstract RTOS Simulation","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"department":[{"_id":"672"}],"citation":{"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>.","short":"H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.","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>","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} }","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>","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>."},"keyword":["Timing","Analytical models","Clocks","Performance analysis","Scheduling","Operating systems","Delay","Real time systems","Application software","Context modeling"],"user_id":"5786"},{"_id":"37063","date_updated":"2023-01-17T11:42:08Z","date_created":"2023-01-17T11:42:03Z","publication":"Proceedings of IESS09","publisher":"Springer Verlag","language":[{"iso":"eng"}],"type":"conference","publication_identifier":{"isbn":["978-3-642-04283-6"]},"year":"2009","status":"public","citation":{"mla":"Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” <i>Proceedings of IESS09</i>, Springer Verlag, 2009, doi:<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>.","ama":"Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. In: <i>Proceedings of IESS09</i>. Springer Verlag; 2009. doi:<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>","bibtex":"@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>}, booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009} }","apa":"Klobedanz, K., Kuznik, C., Elfeky, A., &#38; Müller, W. (2009). Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. <i>Proceedings of IESS09</i>. <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">https://doi.org/10.1007/978-3-642-04284-3_20</a>","short":"K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.","chicago":"Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In <i>Proceedings of IESS09</i>. Springer Verlag, 2009. <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">https://doi.org/10.1007/978-3-642-04284-3_20</a>.","ieee":"K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study,” 2009, doi: <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>."},"keyword":["Abstraction Level     Controller Area Network     High Abstraction Level     Event Chain     Automotive System"],"user_id":"5786","department":[{"_id":"672"}],"title":"Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study","author":[{"last_name":"Klobedanz","first_name":"Kay","full_name":"Klobedanz, Kay"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"last_name":"Elfeky","full_name":"Elfeky, Ahmed","first_name":"Ahmed"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"doi":"10.1007/978-3-642-04284-3_20","abstract":[{"text":"Safety-critical automotive systems must fulfill hard real-time constraints to guarantee their reliability and safety requirements. In the context of network-based electronics systems, high-level timing requirements have to be carefully mastered and traced throughout the whole development process. In this paper, we outline the management of scheduling-specific timing information by the application of a steer-by-wire design example. We apply the principles of the AUTOSAR-compliant Timing Augmented Description Language (TADL) following the methodology introduced by the TIMMO project[2]. Focus of the example will be the identification of end-to-end timing constraints and their refinement by means of stimuli-response event chains.","lang":"eng"}]},{"date_updated":"2023-01-17T11:49:29Z","_id":"37064","language":[{"iso":"eng"}],"type":"conference","year":"2009","status":"public","date_created":"2023-01-17T11:49:24Z","department":[{"_id":"672"}],"citation":{"ieee":"M. Becker, H. Zabel, and W. Müller, “Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme,” presented at the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, 2009.","chicago":"Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.","short":"M. Becker, H. Zabel, W. Müller, in: 2009.","apa":"Becker, M., Zabel, H., &#38; Müller, W. (2009). <i>Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme</i>. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.","bibtex":"@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }","ama":"Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.","mla":"Becker, Markus, et al. <i>Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme</i>. 2009."},"user_id":"5786","title":"Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme","conference":{"name":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","location":"Berlin"},"author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"last_name":"Zabel","first_name":"Henning","full_name":"Zabel, Henning"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}]},{"year":"2009","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Proceedings of IESS09","date_created":"2023-01-17T11:39:08Z","date_updated":"2023-01-17T11:39:16Z","_id":"37061","place":"Friedrichshafen","title":"Systematic Model-in-the-Loop Test of Embedded Control Systems","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"department":[{"_id":"672"}],"citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” In <i>Proceedings of IESS09</i>. Friedrichshafen, 2009.","ieee":"A. Krupp and W. Müller, “Systematic Model-in-the-Loop Test of Embedded Control Systems,” 2009.","ama":"Krupp A, Müller W. Systematic Model-in-the-Loop Test of Embedded Control Systems. In: <i>Proceedings of IESS09</i>. ; 2009.","apa":"Krupp, A., &#38; Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded Control Systems. <i>Proceedings of IESS09</i>.","short":"A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.","mla":"Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” <i>Proceedings of IESS09</i>, 2009.","bibtex":"@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }"},"user_id":"5786"},{"title":"Hardware-dependent Software for Multi- and Many-Core Embedded Systems","author":[{"full_name":"Doemer, R. ","first_name":"R. ","last_name":"Doemer"},{"last_name":"Gerstlauer","full_name":"Gerstlauer, A.","first_name":"A."},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"place":"Yokohama, Japan","citation":{"ieee":"R. Doemer, A. Gerstlauer, and W. Müller, “Hardware-dependent Software for Multi- and Many-Core Embedded Systems,” 2009.","short":"R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.","chicago":"Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” In <i>Proceedings of ASP-DAC’09</i>. Yokohama, Japan, 2009.","apa":"Doemer, R., Gerstlauer, A., &#38; Müller, W. (2009). Hardware-dependent Software for Multi- and Many-Core Embedded Systems. <i>Proceedings of ASP-DAC’09</i>.","bibtex":"@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan}, title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems}, booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R.  and Gerstlauer, A. and Müller, Wolfgang}, year={2009} }","ama":"Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and Many-Core Embedded Systems. In: <i>Proceedings of ASP-DAC’09</i>. ; 2009.","mla":"Doemer, R., et al. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” <i>Proceedings of ASP-DAC’09</i>, 2009."},"user_id":"5786","department":[{"_id":"672"}],"publication":"Proceedings of ASP-DAC'09","date_created":"2023-01-17T11:56:21Z","type":"conference","year":"2009","language":[{"iso":"eng"}],"status":"public","_id":"37068","date_updated":"2023-01-17T11:56:40Z"},{"citation":{"mla":"Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.” <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 233–60.","bibtex":"@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }","short":"H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.","ama":"Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. <i>Hardware Dependent Software - Principles and Practice</i>. Springer Verlag; 2009:233-260.","apa":"Zabel, H., Müller, W., &#38; Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, &#38; R. Dömer (Eds.), <i>Hardware Dependent Software - Principles and Practice</i> (pp. 233–260). Springer Verlag.","chicago":"Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009.","ieee":"H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis with SystemC,” in <i>Hardware Dependent Software - Principles and Practice</i>, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 233–260."},"user_id":"5786","title":"Accurate RTOS Modelling and Analysis with SystemC","editor":[{"last_name":"Ecker","full_name":"Ecker, Wolfgang","first_name":"Wolfgang"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Dömer, Rainer","first_name":"Rainer","last_name":"Dömer"}],"author":[{"full_name":"Zabel, Henning","first_name":"Henning","last_name":"Zabel"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Andreas","full_name":"Gerstlauer, Andreas","last_name":"Gerstlauer"}],"place":"Dordrecht","abstract":[{"lang":"eng","text":"Today, mobile and embedded real-time systems have to cope with the migration\r\nand allocation of multiple software tasks running on top of a real-time operating\r\nsystem (RTOS) residing on one or several system processors. Each RTOS has to\r\nbe configured towards the individual needs of the application and environment.\r\nFor this, different scheduling strategies and task priorities have to be evaluated in\r\norder to keep execution and response times for a given task set. Abstract RTOS\r\nsimulation is applied to analyze different parameters in early design phases. This\r\nchapter presents a SystemC RTOS library for abstract yet accurate RTOS sim-\r\nulation, supporting modeling of preemption in the presence of prioritized and\r\nnested interrupts. After introducing basic principles of abstract RTOS simula-\r\ntion, we present our SystemC library in detail. Thereafter, we discuss related\r\napproaches and close with applications in electronic automotive systems design\r\nand some evaluations."}],"page":"233-260","_id":"33809","date_updated":"2025-02-26T14:45:39Z","date_created":"2022-10-18T10:05:32Z","publication":"Hardware Dependent Software - Principles and Practice","publisher":"Springer Verlag","language":[{"iso":"eng"}],"type":"book_chapter","year":"2009","publication_identifier":{"isbn":["978-1-4020-9435-4"]},"status":"public"},{"publisher":"Springer-Verlag","date_created":"2022-12-19T12:18:21Z","publication":"Design Automation for Embedded Systems","status":"public","language":[{"iso":"eng"}],"type":"journal_article","year":"2008","volume":12,"page":"261-292","_id":"34563","date_updated":"2022-12-19T12:23:56Z","author":[{"last_name":"Vanderperren","first_name":"Yves","full_name":"Vanderperren, Yves"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Wim","full_name":"Dahaene, Wim","last_name":"Dahaene"}],"title":"UML for Electronic Systems Design – A Comprehensive Overview","abstract":[{"lang":"eng","text":"UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB."}],"doi":"10.1007/s10617-008-9028-9","intvolume":"        12","keyword":["UML     SysML     Model-based design     System specification     Modelling languages"],"user_id":"5786","citation":{"short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.","mla":"Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i>, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","bibtex":"@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }","chicago":"Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i> 12 (2008): 261–92. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>.","ieee":"Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” <i>Design Automation for Embedded Systems</i>, vol. 12, pp. 261–292, 2008, doi: <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","apa":"Vanderperren, Y., Müller, W., &#38; Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>, <i>12</i>, 261–292. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>","ama":"Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>. 2008;12:261-292. doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>"},"department":[{"_id":"672"}]},{"citation":{"short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","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>.","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>.","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>.","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>","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>"},"department":[{"_id":"672"}],"author":[{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"intvolume":"         2","_id":"34564","date_updated":"2022-12-19T12:23:05Z","publisher":"Springer-Verlag","date_created":"2022-12-19T12:22:50Z","status":"public","language":[{"iso":"eng"}],"year":"2008","keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"user_id":"5786","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","doi":"10.1007/s12193-008-0003-3","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."}],"volume":2,"page":"25-41","issue":"1","publication":"Journal on Multimodal User Interfaces","type":"journal_article"},{"editor":[{"last_name":"Broy","first_name":"Manfred","full_name":"Broy, Manfred"},{"full_name":"Krüger, Ingolf H.","first_name":"Ingolf H.","last_name":"Krüger"},{"last_name":"Meisinger","first_name":"Michael","full_name":"Meisinger, Michael"}],"author":[{"last_name":"Großmann","full_name":"Großmann, Jürgen","first_name":"Jürgen"},{"full_name":"Fey, Ines","first_name":"Ines","last_name":"Fey"},{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"first_name":"Mirko","full_name":"Conrad, Mirko","last_name":"Conrad"},{"last_name":"Wewetzer","first_name":"Christian","full_name":"Wewetzer, Christian"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"place":"Berlin, Heidelberg","citation":{"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>","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>.","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} }","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>.","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."},"department":[{"_id":"672"}],"publisher":"Springer Verlag","date_created":"2022-10-18T11:19:31Z","status":"public","publication_identifier":{"isbn":["978-3-540-70929-9"]},"year":"2008","language":[{"iso":"eng"}],"_id":"33815","date_updated":"2022-10-18T11:20:02Z","title":"TestML – A Test Exchange Language for Model-based Testing of Embedded Software","abstract":[{"lang":"eng","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."}],"doi":"10.1007/978-3-540-70930-5_7","user_id":"5786","keyword":["Test Behavior","Test Exchange","System Under Test","Hybrid Automaton","Test Execution"],"publication":"ASWSD 2006: Model-Driven Development of Reliable Automotive Services","type":"book_chapter","page":"98-117"},{"_id":"53583","date_updated":"2024-04-18T20:44:48Z","date_created":"2024-04-18T20:44:43Z","type":"book_editor","year":"2008","language":[{"iso":"eng"}],"status":"public","citation":{"mla":"Müller, Wolfgang, and John Wolfe, editors. <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>. 2008.","apa":"Müller, W., &#38; Wolfe, J. (Eds.). (2008). <i>Proceedings of the 5th International DAC Workshop of UML for SoC Design</i>.","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} }","short":"W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop of UML for SoC Design, Anaheim, CA, USA, 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.","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."},"user_id":"16243","department":[{"_id":"58"}],"title":"Proceedings of the 5th International DAC Workshop of UML for SoC Design","editor":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Wolfe","first_name":"John","full_name":"Wolfe, John"}],"place":"Anaheim, CA, USA"},{"date_created":"2024-04-18T21:54:23Z","language":[{"iso":"eng"}],"year":"2008","type":"book_editor","status":"public","_id":"53594","date_updated":"2024-04-18T22:11:24Z","title":"Proceedings of the 4th DAC Workshop on UML for SOC Design ","editor":[{"last_name":"Wolfe","first_name":"John","full_name":"Wolfe, John"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"place":"Anaheim CA, USA","citation":{"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.","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.","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."},"user_id":"16243","department":[{"_id":"58"}]},{"type":"conference","volume":271,"abstract":[{"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.","lang":"eng"}],"doi":"10.1007/978-0-387-09661-2_18","title":"An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration","keyword":["Execution Time     Schedule Strategy     Simulation Speed     Task Migration     Atomic Block"],"user_id":"5786","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0-387-09660-5"]},"year":"2008","publisher":"Springer Verlag","date_created":"2023-01-17T12:08:21Z","date_updated":"2023-01-17T12:08:25Z","_id":"37075","intvolume":"       271","place":"Dordrecht","author":[{"full_name":"Zabel, Henning","first_name":"Henning","last_name":"Zabel"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"editor":[{"full_name":"Kleinjohann, L.","first_name":"L.","last_name":"Kleinjohann"},{"last_name":"Kleinjohann","first_name":"B.","full_name":"Kleinjohann, B."}],"conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008)"},"department":[{"_id":"672"}],"citation":{"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>","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>","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>.","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>.","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} }","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>.","short":"H. Zabel, W. Müller, 271 (2008)."},"series_title":" IFIP – The International Federation for Information Processing"},{"date_updated":"2023-01-17T12:05:17Z","_id":"37072","status":"public","language":[{"iso":"eng"}],"year":"2008","type":"conference","publisher":"Shaker Verlag","date_created":"2023-01-17T12:05:11Z","publication":"Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System","department":[{"_id":"672"}],"user_id":"5786","citation":{"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.","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} }","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.","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.","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.","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.","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."},"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."}],"place":"Aachen","editor":[{"full_name":"Scholl, Ch.","first_name":"Ch.","last_name":"Scholl"},{"last_name":"Disch","full_name":"Disch, S.","first_name":"S."}],"author":[{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC"},{"publication_identifier":{"issn":["1619-7879"]},"year":"2007","type":"conference","language":[{"iso":"eng"}],"status":"public","date_created":"2023-01-17T12:11:18Z","date_updated":"2023-01-17T12:11:23Z","issue":"4","_id":"37076","volume":6,"place":"Paderborn","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."}],"intvolume":"         6","title":"Simulation mit abstrakten RTOS Modellen in SystemC","author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"department":[{"_id":"672"}],"series_title":"C-LAB Report","citation":{"mla":"Zabel, Henning, and Wolfgang Müller. <i>Simulation Mit Abstrakten RTOS Modellen in SystemC</i>. no. 4, 2007.","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} }","short":"H. Zabel, W. Müller, 6 (2007).","ama":"Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).","apa":"Zabel, H., &#38; Müller, W. (2007). <i>Simulation mit abstrakten RTOS Modellen in SystemC</i> (Vol. 6, Issue 4).","chicago":"Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.","ieee":"H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,” vol. 6, no. 4. Paderborn, 2007."},"user_id":"5786"},{"_id":"37083","date_updated":"2023-01-17T12:20:56Z","date_created":"2023-01-17T12:20:50Z","publication":"Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)","language":[{"iso":"eng"}],"type":"conference","year":"2007","status":"public","citation":{"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.","short":"A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.","ieee":"A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage,” 2007.","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.","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.","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} }","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>."},"user_id":"5786","department":[{"_id":"672"}],"title":"Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"place":"Prague, Czech Republic"},{"author":[{"first_name":"Jürgen","full_name":"Großmann, Jürgen","last_name":"Großmann"},{"first_name":"Ines","full_name":"Fey, Ines","last_name":"Fey"},{"last_name":"Conrad","first_name":"M.","full_name":"Conrad, M."},{"first_name":"Ch.","full_name":"Wewetzer, Ch.","last_name":"Wewetzer"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"TestML - A Test Exchange Language for Model-based Testing of Embedded Software","department":[{"_id":"672"}],"user_id":"5786","citation":{"short":"J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings of the Automotive Software Workshop ’06, 2007.","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.","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} }","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.","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.","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>."},"status":"public","language":[{"iso":"eng"}],"year":"2007","type":"conference","date_created":"2023-01-17T12:19:06Z","publication":"Proceedings of the Automotive Software Workshop '06","date_updated":"2023-01-17T12:19:12Z","_id":"37080"},{"author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"On the Use and Misuse of UML- Application of Diagrams in Engineering","place":"San Diego, USA","user_id":"5786","citation":{"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>.","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.","ieee":"W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,” 2007.","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.","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} }","short":"W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07, San Diego, USA, 2007."},"department":[{"_id":"672"}],"date_created":"2023-01-17T12:13:03Z","publication":"Proceedings of the UML for SoC Design Workshop at DAC'07","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2007","_id":"37079","date_updated":"2023-01-17T12:13:09Z"},{"_id":"37085","date_updated":"2023-01-17T12:23:39Z","date_created":"2023-01-17T12:23:34Z","publication":"Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)","language":[{"iso":"eng"}],"type":"conference","year":"2007","status":"public","citation":{"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.","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.","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.","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} }","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.","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>."},"user_id":"5786","department":[{"_id":"672"}],"title":"Using Smart Cards for Secure and Device Independent User Interfaces","author":[{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Andrés","full_name":"Marin-López, Andrés","last_name":"Marin-López"},{"last_name":"Díaz-Sánchez","first_name":"Daniel","full_name":"Díaz-Sánchez, Daniel"}],"place":"Singapore","abstract":[{"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.","lang":"eng"}]}]