[{"date_created":"2019-07-10T12:11:36Z","type":"conference","keyword":["embedded systems","field programmable gate arrays","operating systems (computers)","scheduling","μC/OS-II","FPGAs","OS foundation","SafeRTOS","Xenomai","chip utilization ration","complex time constraints","embedded systems","hard real-time hardware task allocation","hard real-time hardware task scheduling","hardware-software real-time operating systems","partially reconfigurable field-programmable gate arrays","resource constraints","safety-critical RTOS","Field programmable gate arrays","Hardware","Job shop scheduling","Real-time systems","Shape","Software"],"department":[{"_id":"78"}],"publication":"25th International Conference on Field Programmable Logic and Applications (FPL)","citation":{"mla":"Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, Imperial College, 2015, doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>.","ama":"Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks scheduling and allocation. In: <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College; 2015. doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>","bibtex":"@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard real-time hardware tasks scheduling and allocation}, DOI={<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>}, booktitle={25th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}, year={2015} }","apa":"Guettatfi, Z., Kermia, O., &#38; Khouas, A. (2015). Over effective hard real-time hardware tasks scheduling and allocation. In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>","ieee":"Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, 2015.","chicago":"Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College, 2015. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>.","short":"Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015."},"extern":"1","_id":"10779","language":[{"iso":"eng"}],"publisher":"Imperial College","user_id":"398","doi":"10.1109/FPL.2015.7293994","title":"Over effective hard real-time hardware tasks scheduling and allocation","year":"2015","status":"public","publication_identifier":{"issn":["1946-147X"]},"author":[{"first_name":"Zakarya","last_name":"Guettatfi","full_name":"Guettatfi, Zakarya"},{"first_name":"Omar","last_name":"Kermia","full_name":"Kermia, Omar"},{"full_name":"Khouas, Abdelhakim","first_name":"Abdelhakim","last_name":"Khouas"}],"date_updated":"2022-01-06T06:50:50Z"},{"date_created":"2019-05-20T13:25:22Z","department":[{"_id":"151"}],"keyword":["bending","dynamic testing","measurement","structural engineering","vibrations","measurement durations","mechanical structures","multisine measurement technique","nonlinear peak bending behavior","prediction method","time-efficient dynamic analysis","Heuristic algorithms","Nonlinear systems","Oscillators","Time measurement","Time-frequency analysis","Vibrations"],"type":"conference","citation":{"mla":"Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” <i>Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International</i>, 2014, pp. 320–24, doi:<a href=\"https://doi.org/10.1109/I2MTC.2014.6860760\">10.1109/I2MTC.2014.6860760</a>.","bibtex":"@inproceedings{Sprock_Sextro_2014, title={Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending}, DOI={<a href=\"https://doi.org/10.1109/I2MTC.2014.6860760\">10.1109/I2MTC.2014.6860760</a>}, booktitle={Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International}, author={Sprock, Christian and Sextro, Walter}, year={2014}, pages={320–324} }","ama":"Sprock C, Sextro W. Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending. In: <i>Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International</i>. ; 2014:320-324. doi:<a href=\"https://doi.org/10.1109/I2MTC.2014.6860760\">10.1109/I2MTC.2014.6860760</a>","ieee":"C. Sprock and W. Sextro, “Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending,” in <i>Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International</i>, 2014, pp. 320–324.","apa":"Sprock, C., &#38; Sextro, W. (2014). Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending. In <i>Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International</i> (pp. 320–324). <a href=\"https://doi.org/10.1109/I2MTC.2014.6860760\">https://doi.org/10.1109/I2MTC.2014.6860760</a>","chicago":"Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” In <i>Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International</i>, 320–24, 2014. <a href=\"https://doi.org/10.1109/I2MTC.2014.6860760\">https://doi.org/10.1109/I2MTC.2014.6860760</a>.","short":"C. Sprock, W. Sextro, in: Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324."},"publication":"Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International","abstract":[{"lang":"eng","text":"A measurement method is presented that combines the advantages of the multisine measurement technique with a prediction method for peak bending behavior. This combination allows the analysis of the dynamic behavior of mechanical structures at distinctly reduced measurement durations and has the advantage of reducing high excitation impacts on the structure under test."}],"_id":"9889","language":[{"iso":"eng"}],"page":"320-324","user_id":"55222","doi":"10.1109/I2MTC.2014.6860760","author":[{"full_name":"Sprock, Christian","first_name":"Christian","last_name":"Sprock"},{"last_name":"Sextro","first_name":"Walter","full_name":"Sextro, Walter","id":"21220"}],"title":"Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending","status":"public","year":"2014","date_updated":"2019-05-20T13:25:53Z"},{"publication":"2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)","citation":{"bibtex":"@inproceedings{Ho_Kaufmann_Platzner_2014, title={Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure}, DOI={<a href=\"https://doi.org/10.1109/ICES.2014.7008719\">10.1109/ICES.2014.7008719</a>}, booktitle={2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={31–37} }","short":"N. Ho, P. Kaufmann, M. Platzner, in: 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.","ama":"Ho N, Kaufmann P, Platzner M. Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In: <i>2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)</i>. ; 2014:31-37. doi:<a href=\"https://doi.org/10.1109/ICES.2014.7008719\">10.1109/ICES.2014.7008719</a>","chicago":"Ho, Nam, Paul Kaufmann, and Marco Platzner. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.” In <i>2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)</i>, 31–37, 2014. <a href=\"https://doi.org/10.1109/ICES.2014.7008719\">https://doi.org/10.1109/ICES.2014.7008719</a>.","ieee":"N. Ho, P. Kaufmann, and M. Platzner, “Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure,” in <i>2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)</i>, 2014, pp. 31–37.","mla":"Ho, Nam, et al. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.” <i>2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)</i>, 2014, pp. 31–37, doi:<a href=\"https://doi.org/10.1109/ICES.2014.7008719\">10.1109/ICES.2014.7008719</a>.","apa":"Ho, N., Kaufmann, P., &#38; Platzner, M. (2014). Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In <i>2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES)</i> (pp. 31–37). <a href=\"https://doi.org/10.1109/ICES.2014.7008719\">https://doi.org/10.1109/ICES.2014.7008719</a>"},"type":"conference","keyword":["Linux","cache storage","embedded systems","granular computing","multiprocessing systems","reconfigurable architectures","Leon3 SPARe processor","custom logic events","evolvable-self-adaptable processor cache","fine granular profiling","integer unit events","measurement infrastructure","microarchitectural events","multicore embedded system","perf_event standard Linux performance measurement interface","processor properties","run-time reconfigurable memory-to-cache address mapping engine","run-time reconfigurable multicore infrastructure","split-level caching","Field programmable gate arrays","Frequency locked loops","Irrigation","Phasor measurement units","Registers","Weaving"],"department":[{"_id":"78"}],"date_created":"2019-07-10T11:23:00Z","date_updated":"2022-01-06T06:50:49Z","status":"public","title":"Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure","year":"2014","author":[{"full_name":"Ho, Nam","first_name":"Nam","last_name":"Ho"},{"first_name":"Paul","last_name":"Kaufmann","full_name":"Kaufmann, Paul"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"doi":"10.1109/ICES.2014.7008719","user_id":"3118","page":"31-37","language":[{"iso":"eng"}],"_id":"10677"},{"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/1209.1055","open_access":"1"}],"intvolume":"        14","article_type":"original","date_updated":"2023-02-28T11:02:47Z","publication_status":"published","author":[{"id":"71541","full_name":"Gharibian, Sevag","orcid":"0000-0002-9992-3379","first_name":"Sevag","last_name":"Gharibian"},{"first_name":"Julia","last_name":"Kempe","full_name":"Kempe, Julia"}],"year":"2014","title":"Hardness of approximation for quantum problems","department":[{"_id":"623"},{"_id":"7"}],"keyword":["Hardness of approximation","polynomial time hierarchy","succinct set cover","quantum complexity"],"type":"journal_article","date_created":"2019-03-01T11:56:55Z","abstract":[{"lang":"eng","text":"The polynomial hierarchy plays a central role in classical complexity theory. Here, we define\r\na quantum generalization of the polynomial hierarchy, and initiate its study. We show that\r\nnot only are there natural complete problems for the second level of this quantum hierarchy, but that these problems are in fact hard to approximate. Using the same techniques, we\r\nalso obtain hardness of approximation for the class QCMA. Our approach is based on the\r\nuse of dispersers, and is inspired by the classical results of Umans regarding hardness of approximation for the second level of the classical polynomial hierarchy [Umans, FOCS 1999].\r\nThe problems for which we prove hardness of approximation for include, among others, a\r\nquantum version of the Succinct Set Cover problem, and a variant of the local Hamiltonian\r\nproblem with hybrid classical-quantum ground states."}],"extern":"1","issue":"5-6","publication":"Quantum Information & Computation","volume":14,"user_id":"71541","_id":"8171","page":"517-540","status":"public","oa":"1","external_id":{"arxiv":["1209.1055"]},"citation":{"apa":"Gharibian, S., &#38; Kempe, J. (2014). Hardness of approximation for quantum problems. <i>Quantum Information &#38; Computation</i>, <i>14</i>(5–6), 517–540.","ieee":"S. Gharibian and J. Kempe, “Hardness of approximation for quantum problems,” <i>Quantum Information &#38; Computation</i>, vol. 14, no. 5–6, pp. 517–540, 2014.","chicago":"Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” <i>Quantum Information &#38; Computation</i> 14, no. 5–6 (2014): 517–40.","short":"S. Gharibian, J. Kempe, Quantum Information &#38; Computation 14 (2014) 517–540.","mla":"Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” <i>Quantum Information &#38; Computation</i>, vol. 14, no. 5–6, 2014, pp. 517–40.","ama":"Gharibian S, Kempe J. Hardness of approximation for quantum problems. <i>Quantum Information &#38; Computation</i>. 2014;14(5-6):517-540.","bibtex":"@article{Gharibian_Kempe_2014, title={Hardness of approximation for quantum problems}, volume={14}, number={5–6}, journal={Quantum Information &#38; Computation}, author={Gharibian, Sevag and Kempe, Julia}, year={2014}, pages={517–540} }"}},{"user_id":"44006","doi":"10.1109/TASL.2013.2258013","volume":21,"page":"1640-1652","language":[{"iso":"eng"}],"_id":"11862","date_updated":"2022-01-06T06:51:11Z","intvolume":"        21","title":"Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition","year":"2013","status":"public","author":[{"full_name":"Leutnant, Volker","first_name":"Volker","last_name":"Leutnant"},{"full_name":"Krueger, Alexander","first_name":"Alexander","last_name":"Krueger"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"keyword":["Bayes methods","compensation","error statistics","reverberation","speech recognition","Bayesian feature enhancement","background noise","clean speech feature vectors","compensation","connected digits recognition task","error statistics","memory requirements","noisy reverberant data","posteriori probability density function","recursive formulation","reverberant logarithmic mel power spectral coefficients","robust automatic speech recognition","signal-to-noise ratios","time-variant observation","word error rate reduction","Robust automatic speech recognition","model-based Bayesian feature enhancement","observation model for reverberant and noisy speech","recursive observation model"],"type":"journal_article","department":[{"_id":"54"}],"date_created":"2019-07-12T05:29:42Z","abstract":[{"text":"In this contribution we extend a previously proposed Bayesian approach for the enhancement of reverberant logarithmic mel power spectral coefficients for robust automatic speech recognition to the additional compensation of background noise. A recently proposed observation model is employed whose time-variant observation error statistics are obtained as a side product of the inference of the a posteriori probability density function of the clean speech feature vectors. Further a reduction of the computational effort and the memory requirements are achieved by using a recursive formulation of the observation model. The performance of the proposed algorithms is first experimentally studied on a connected digits recognition task with artificially created noisy reverberant data. It is shown that the use of the time-variant observation error model leads to a significant error rate reduction at low signal-to-noise ratios compared to a time-invariant model. Further experiments were conducted on a 5000 word task recorded in a reverberant and noisy environment. A significant word error rate reduction was obtained demonstrating the effectiveness of the approach on real-world data.","lang":"eng"}],"publication":"IEEE Transactions on Audio, Speech, and Language Processing","issue":"8","citation":{"bibtex":"@article{Leutnant_Krueger_Haeb-Umbach_2013, title={Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition}, volume={21}, DOI={<a href=\"https://doi.org/10.1109/TASL.2013.2258013\">10.1109/TASL.2013.2258013</a>}, number={8}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2013}, pages={1640–1652} }","short":"V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 21 (2013) 1640–1652.","ama":"Leutnant V, Krueger A, Haeb-Umbach R. Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>. 2013;21(8):1640-1652. doi:<a href=\"https://doi.org/10.1109/TASL.2013.2258013\">10.1109/TASL.2013.2258013</a>","chicago":"Leutnant, Volker, Alexander Krueger, and Reinhold Haeb-Umbach. “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i> 21, no. 8 (2013): 1640–52. <a href=\"https://doi.org/10.1109/TASL.2013.2258013\">https://doi.org/10.1109/TASL.2013.2258013</a>.","ieee":"V. Leutnant, A. Krueger, and R. Haeb-Umbach, “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition,” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 21, no. 8, pp. 1640–1652, 2013.","apa":"Leutnant, V., Krueger, A., &#38; Haeb-Umbach, R. (2013). Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, <i>21</i>(8), 1640–1652. <a href=\"https://doi.org/10.1109/TASL.2013.2258013\">https://doi.org/10.1109/TASL.2013.2258013</a>","mla":"Leutnant, Volker, et al. “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 21, no. 8, 2013, pp. 1640–52, doi:<a href=\"https://doi.org/10.1109/TASL.2013.2258013\">10.1109/TASL.2013.2258013</a>."}},{"author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"publication_identifier":{"eisbn":["978-1-4799-1170-7"]},"conference":{"name":"23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"},"title":"Efficient Power-Intent Validation Using \"Loosely-Timed\" Simulation Models: A Non-Invasive Approach","status":"public","year":"2013","date_updated":"2023-01-16T12:08:17Z","language":[{"iso":"eng"}],"_id":"36919","publisher":"IEEE","user_id":"5786","doi":"10.1109/PATMOS.2013.6662171","citation":{"apa":"Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>","ieee":"F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","short":"F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>.","mla":"Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013, doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","ama":"Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>","bibtex":"@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }"},"abstract":[{"text":"Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a \"loosely-timed\" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability.","lang":"eng"}],"date_created":"2023-01-16T12:08:03Z","place":"Karlsruhe","department":[{"_id":"672"}],"keyword":["Time-varying systems","Time-domain analysis","Synchronization","Context modeling","Clocks","Semantics","Standards"],"type":"conference"},{"user_id":"5786","editor":[{"full_name":"Weghorn, Hans","last_name":"Weghorn","first_name":"Hans"}],"_id":"36920","language":[{"iso":"eng"}],"date_updated":"2023-01-16T12:15:44Z","status":"public","year":"2013","title":"An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors","author":[{"full_name":"He, Da","last_name":"He","first_name":"Da"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"publication_identifier":{"isbn":["978-989-8533-20-3 "]},"type":"conference","keyword":["Dynamic Power Management","Dynamic Voltage and Frequency Scaling","Hard Real-Time","Multi-core Processor"],"department":[{"_id":"672"}],"date_created":"2023-01-16T12:12:58Z","place":"Fort Worth, Texas, USA","abstract":[{"text":"In the electronic system development, energy consumption is clearly becoming one of the most important design concerns. From the system level point of view, Dynamic Power Management (DPM) and Dynamic Voltage and Frequency Scaling (DVFS) are two mostly applied techniques to adjust the tradeoff between the performance and power dissipation at runtime. In this paper, we study the problem of combined application of both techniques with regard to hard real-time systems running on cluster-based multi-core processors. To optimize the processor energy consumption, a heuristic based on simulated annealing with efficient termination criterion is proposed. The experiment results show that the proposed algorithm outperforms the existing approaches in terms of the energy reduction. ","lang":"eng"}],"publication":"Proceedings of the International Conference on Applied Computing (AC)","citation":{"chicago":"He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” In <i>Proceedings of the International Conference on Applied Computing (AC)</i>, edited by Hans Weghorn. Fort Worth, Texas, USA, 2013.","ama":"He D, Müller W. An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In: Weghorn H, ed. <i>Proceedings of the International Conference on Applied Computing (AC)</i>. ; 2013.","short":"D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.","bibtex":"@inproceedings{He_Müller_2013, place={Fort Worth, Texas, USA}, title={An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors}, booktitle={Proceedings of the International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, editor={Weghorn, Hans}, year={2013} }","apa":"He, D., &#38; Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), <i>Proceedings of the International Conference on Applied Computing (AC)</i>.","mla":"He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” <i>Proceedings of the International Conference on Applied Computing (AC)</i>, edited by Hans Weghorn, 2013.","ieee":"D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in <i>Proceedings of the International Conference on Applied Computing (AC)</i>, 2013."}},{"status":"public","_id":"5716","publisher":"Elsevier","page":"356-366","volume":88,"user_id":"37741","citation":{"mla":"Evanschitzky, Heiner, et al. “Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops.” <i>Journal of Retailing</i>, vol. 88, no. 3, Elsevier, 2012, pp. 356–66.","ama":"Evanschitzky H, Wangenheim F v, Wünderlich N. Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops. <i>Journal of Retailing</i>. 2012;88(3):356-366.","bibtex":"@article{Evanschitzky_Wangenheim_Wünderlich_2012, title={Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops.}, volume={88}, number={3}, journal={Journal of Retailing}, publisher={Elsevier}, author={Evanschitzky, Heiner and Wangenheim, Florian v and Wünderlich, Nancy}, year={2012}, pages={356–366} }","apa":"Evanschitzky, H., Wangenheim, F. v, &#38; Wünderlich, N. (2012). Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops. <i>Journal of Retailing</i>, <i>88</i>(3), 356–366.","ieee":"H. Evanschitzky, F. v Wangenheim, and N. Wünderlich, “Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops.,” <i>Journal of Retailing</i>, vol. 88, no. 3, pp. 356–366, 2012.","short":"H. Evanschitzky, F. v Wangenheim, N. Wünderlich, Journal of Retailing 88 (2012) 356–366.","chicago":"Evanschitzky, Heiner, Florian v Wangenheim, and Nancy Wünderlich. “Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops.” <i>Journal of Retailing</i> 88, no. 3 (2012): 356–66."},"author":[{"first_name":"Heiner","last_name":"Evanschitzky","full_name":"Evanschitzky, Heiner"},{"first_name":"Florian v","last_name":"Wangenheim","full_name":"Wangenheim, Florian v"},{"id":"36392","first_name":"Nancy","last_name":"Wünderlich","full_name":"Wünderlich, Nancy"}],"title":"Perils of Managing the Service Profit Chain: The Role of Time Lags and Feedback Loops.","year":"2012","article_type":"original","intvolume":"        88","publication_status":"published","date_updated":"2022-01-06T07:02:37Z","language":[{"iso":"eng"}],"issue":"3","publication":"Journal of Retailing","abstract":[{"text":"The tendency of managers to focus on short-term results rather than on sustained company success is of particular importance to retail marketing managers, because marketing activities involve expenditures which may only pay off in the longer term. To address the issue of myopic management, our study shows how the complexity of the service profit chain (SPC) can cause managers to make suboptimal decisions. Hence, our paper departs from past research by recognizing that understanding the temporal interplay between operational investments, employee satisfaction, customer satisfaction, and operating profit is essential to achieving sustained success. In particular, we intend to improve understanding of the functioning of the SPC with respect to time lags and feedback loops. Results of our large-scale longitudinal study set in a multi-outlet retail chain reveal time-lag effects between operational investments and employee satisfaction, as well as between customer satisfaction and performance. These findings, along with evidence of a negative interaction effect of employee satisfaction on the relationship between current performance and future investments, show the substantial risk of mismanaging the SPC. We identify specific situations in which the dynamic approach leads to superior marketing investment decisions, when compared to the conventional static view of the SCP. These insights provide valuable managerial guidance for effectively managing the SPC over time.","lang":"eng"}],"date_created":"2018-11-16T09:37:06Z","department":[{"_id":"181"}],"type":"journal_article","keyword":["Employee satisfaction","Customer satisfaction","Performance","Service profit chain","Feedback loops","Time lags","Myopic marketing management"]},{"page":"277-280","_id":"9784","language":[{"iso":"eng"}],"doi":"10.1109/ULTSYM.2012.0068","user_id":"55222","title":"An efficient simulation technique for high-frequency piezoelectric inertia motors","year":"2012","status":"public","author":[{"full_name":"Hunstig, Matthias","first_name":"Matthias","last_name":"Hunstig"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias"},{"full_name":"Sextro, Walter","first_name":"Walter","last_name":"Sextro"}],"publication_identifier":{"issn":["1948-5719"]},"date_updated":"2022-01-06T07:04:20Z","date_created":"2019-05-13T13:20:17Z","keyword":["friction","ultrasonic motors","Coulomb friction model","efficient simulation technique","friction contact","high-frequency piezoelectric inertia motor","motor characteristics prediction","numerical simulation","slip-slip mode","stick-slip mode","time-step simulation","ultrasonic inertia motor","Acceleration","Acoustics","Actuators","Computational modeling","Friction","Numerical models","Steady-state"],"type":"conference","department":[{"_id":"151"}],"publication":"Ultrasonics Symposium (IUS), 2012 IEEE International","citation":{"mla":"Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–80, doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>.","ama":"Hunstig M, Hemsel T, Sextro W. An efficient simulation technique for high-frequency piezoelectric inertia motors. In: <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>. ; 2012:277-280. doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>","bibtex":"@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation technique for high-frequency piezoelectric inertia motors}, DOI={<a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">10.1109/ULTSYM.2012.0068</a>}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280} }","apa":"Hunstig, M., Hemsel, T., &#38; Sextro, W. (2012). An efficient simulation technique for high-frequency piezoelectric inertia motors. In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i> (pp. 277–280). <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>","ieee":"M. Hunstig, T. Hemsel, and W. Sextro, “An efficient simulation technique for high-frequency piezoelectric inertia motors,” in <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 277–280.","short":"M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.","chicago":"Hunstig, Matthias, Tobias Hemsel, and Walter Sextro. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 277–80, 2012. <a href=\"https://doi.org/10.1109/ULTSYM.2012.0068\">https://doi.org/10.1109/ULTSYM.2012.0068</a>."},"quality_controlled":"1","abstract":[{"lang":"eng","text":"Piezoelectric inertia motors use the inertia of a body to drive it by means of a friction contact in a series of small steps. These motors can operate in ``stick-slip'' or ``slip-slip'' mode, with the fundamental frequency of the driving signal ranging from several Hertz to more than 100 kHz. To predict the motor characteristics, a Coulomb friction model is sufficient in many cases, but numerical simulation requires microscopic time steps. This contribution proposes a much faster simulation technique using one evaluation per period of the excitation signal. The proposed technique produces results very close to those of timestep simulation for ultrasonics inertia motors and allows direct determination of the steady-state velocity of an inertia motor from the motion profile of the driving part. Thus it is a useful simulation technique which can be applied in both analysis and design of inertia motors, especially for parameter studies and optimisation."}]},{"publication_status":"published","date_updated":"2022-06-06T16:35:40Z","intvolume":"        38","year":"2012","title":"Prior entry and temporal attention: Cueing affects order errors in RSVP.","publication_identifier":{"issn":["0096-1523"]},"author":[{"full_name":"Hilkenmeier, Frederic","last_name":"Hilkenmeier","first_name":"Frederic"},{"full_name":"Olivers, Christian N. L.","first_name":"Christian N. L.","last_name":"Olivers"},{"id":"451","first_name":"Ingrid","orcid":"0000-0003-2364-9489","last_name":"Scharlau","full_name":"Scharlau, Ingrid"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The law of prior entry states that attended objects come to consciousness more quickly than unattended ones. This has been well established in spatial cueing paradigms, where two task-relevant stimuli are presented near-simultaneously at two different locations. Here, we suggest that prior entry also plays a pivotal role in temporal attention paradigms, where stimuli appear at the same location but at distinct moments in time, in rapid serial presentation (RSVP). Specifically, we hypothesize that prior entry can explain temporal order reversals in reporting two targets from RSVP. In support of this, three experiments show that cueing attention toward either of the targets has a strong influence on order errors. We conclude that prior entry provides a viable explanation of the way in which relevant information is prioritized in RSVP. (PsycINFO Database Record (c) 2016 APA, all rights reserved)"}],"publication":"Journal of Experimental Psychology: Human Perception and Performance","issue":"1","keyword":["attentional blink","attentional enhancement","lag-1 sparing","prior entry","temporal cueing","visual attention","rapid serial presentation","Adolescent","Adult","Attention","Attentional Blink","Color Perception","Cues","Female","Humans","Male","Neuropsychological Tests","Pattern Recognition","Visual","Time Factors","Visual Perception","Young Adult","Cues","Serial Recall","Visual Attention","Eyeblink Reflex"],"type":"journal_article","department":[{"_id":"424"}],"date_created":"2018-12-10T07:06:20Z","status":"public","user_id":"42165","volume":38,"page":"180 - 190","funded_apc":"1","_id":"6081","citation":{"ieee":"F. Hilkenmeier, C. N. L. Olivers, and I. Scharlau, “Prior entry and temporal attention: Cueing affects order errors in RSVP.,” <i>Journal of Experimental Psychology: Human Perception and Performance</i>, vol. 38, no. 1, pp. 180–190, 2012.","mla":"Hilkenmeier, Frederic, et al. “Prior Entry and Temporal Attention: Cueing Affects Order Errors in RSVP.” <i>Journal of Experimental Psychology: Human Perception and Performance</i>, vol. 38, no. 1, 2012, pp. 180–90.","apa":"Hilkenmeier, F., Olivers, C. N. L., &#38; Scharlau, I. (2012). Prior entry and temporal attention: Cueing affects order errors in RSVP. <i>Journal of Experimental Psychology: Human Perception and Performance</i>, <i>38</i>(1), 180–190.","bibtex":"@article{Hilkenmeier_Olivers_Scharlau_2012, title={Prior entry and temporal attention: Cueing affects order errors in RSVP.}, volume={38}, number={1}, journal={Journal of Experimental Psychology: Human Perception and Performance}, author={Hilkenmeier, Frederic and Olivers, Christian N. L. and Scharlau, Ingrid}, year={2012}, pages={180–190} }","chicago":"Hilkenmeier, Frederic, Christian N. L. Olivers, and Ingrid Scharlau. “Prior Entry and Temporal Attention: Cueing Affects Order Errors in RSVP.” <i>Journal of Experimental Psychology: Human Perception and Performance</i> 38, no. 1 (2012): 180–90.","short":"F. Hilkenmeier, C.N.L. Olivers, I. Scharlau, Journal of Experimental Psychology: Human Perception and Performance 38 (2012) 180–190.","ama":"Hilkenmeier F, Olivers CNL, Scharlau I. Prior entry and temporal attention: Cueing affects order errors in RSVP. <i>Journal of Experimental Psychology: Human Perception and Performance</i>. 2012;38(1):180-190."}},{"citation":{"bibtex":"@article{Weiß_Scharlau_2012, title={At the mercy of prior entry: Prior entry induced by invisible primes is not susceptible to current intentions.}, volume={139}, number={1}, journal={Acta Psychologica}, author={Weiß, Katharina and Scharlau, Ingrid}, year={2012}, pages={54–64} }","ama":"Weiß K, Scharlau I. At the mercy of prior entry: Prior entry induced by invisible primes is not susceptible to current intentions. <i>Acta Psychologica</i>. 2012;139(1):54-64.","mla":"Weiß, Katharina, and Ingrid Scharlau. “At the Mercy of Prior Entry: Prior Entry Induced by Invisible Primes Is Not Susceptible to Current Intentions.” <i>Acta Psychologica</i>, vol. 139, no. 1, 2012, pp. 54–64.","short":"K. Weiß, I. Scharlau, Acta Psychologica 139 (2012) 54–64.","chicago":"Weiß, Katharina, and Ingrid Scharlau. “At the Mercy of Prior Entry: Prior Entry Induced by Invisible Primes Is Not Susceptible to Current Intentions.” <i>Acta Psychologica</i> 139, no. 1 (2012): 54–64.","ieee":"K. Weiß and I. Scharlau, “At the mercy of prior entry: Prior entry induced by invisible primes is not susceptible to current intentions.,” <i>Acta Psychologica</i>, vol. 139, no. 1, pp. 54–64, 2012.","apa":"Weiß, K., &#38; Scharlau, I. (2012). At the mercy of prior entry: Prior entry induced by invisible primes is not susceptible to current intentions. <i>Acta Psychologica</i>, <i>139</i>(1), 54–64."},"_id":"6064","funded_apc":"1","page":"54 - 64","volume":139,"user_id":"42165","status":"public","date_created":"2018-12-10T07:01:19Z","department":[{"_id":"424"}],"type":"journal_article","keyword":["intentions","events","attention","decision processes","Adult","Attention","Choice Behavior","Cues","Female","Humans","Intention","Judgment","Male","Middle Aged","Reaction Time","Time Perception","Visual Perception","Attention","Decision Making","Experiences (Events)","Intention"],"issue":"1","publication":"Acta Psychologica","abstract":[{"text":"If one of two events is attended to, it will be perceived earlier than a simultaneously occurring unattended event. Since 150 years, this effect has been ascribed to the facilitating influence of attention, also known as prior entry. Yet, the attentional origin of prior-entry effects¹ has been repeatedly doubted. One criticism is that prior-entry effects might be due to biased decision processes that would mimic a temporal advantage for attended stimuli. Although most obvious biases have already been excluded experimentally (e.g. judgment criteria, response compatibility) and prior-entry effects have shown to persist (Shore, Spence, & Klein, 2001), many other biases are conceivable, which makes it difficult to put the debate to an end. Thus, we approach this problem the other way around by asking whether prior-entry effects can be biased voluntarily. Observers were informed about prior entry and instructed to reduce it as far as possible. For this aim they received continuous feedback","lang":"eng"}],"language":[{"iso":"eng"}],"author":[{"first_name":"Katharina","last_name":"Weiß","full_name":"Weiß, Katharina"},{"id":"451","full_name":"Scharlau, Ingrid","first_name":"Ingrid","orcid":"0000-0003-2364-9489","last_name":"Scharlau"}],"publication_identifier":{"issn":["0001-6918"]},"title":"At the mercy of prior entry: Prior entry induced by invisible primes is not susceptible to current intentions.","year":"2012","intvolume":"       139","date_updated":"2022-06-06T16:41:22Z","publication_status":"published"},{"type":"conference","keyword":["Real time systems","Fault tolerant systems","Schedules","Protocols","Redundancy","Delay"],"department":[{"_id":"672"}],"date_created":"2023-01-16T12:23:50Z","place":"Shenzhen, China ","abstract":[{"lang":"eng","text":"In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance."}],"citation":{"ieee":"K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","apa":"Klobedanz, K., Müller, W., &#38; Rettberg, A. (2012). <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>","mla":"Klobedanz, Kay, et al. <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","bibtex":"@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }","chicago":"Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>.","ama":"Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>","short":"K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012."},"user_id":"5786","doi":"10.1109/ISORCW.2012.41","publisher":"IEEE","_id":"36922","language":[{"iso":"eng"}],"date_updated":"2023-01-16T12:25:33Z","title":"An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems","year":"2012","status":"public","publication_identifier":{"eisbn":["978-0-7695-4669-8"]},"author":[{"last_name":"Klobedanz","first_name":"Kay","full_name":"Klobedanz, Kay"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Rettberg","first_name":"Achim","full_name":"Rettberg, Achim"}],"conference":{"name":"IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops"}},{"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/Olivers_etal__2011__AP_PProofs.pdf"}],"publication_identifier":{"issn":["1943-3921"]},"author":[{"first_name":"Christian N. L.","last_name":"Olivers","full_name":"Olivers, Christian N. L."},{"last_name":"Hilkenmeier","first_name":"Frederic","full_name":"Hilkenmeier, Frederic"},{"id":"451","orcid":"0000-0003-2364-9489","first_name":"Ingrid","last_name":"Scharlau","full_name":"Scharlau, Ingrid"}],"year":"2011","title":"Prior entry explains order reversals in the attentional blink.","intvolume":"        73","publication_status":"published","date_updated":"2022-06-07T00:16:50Z","date_created":"2018-12-10T07:06:31Z","department":[{"_id":"424"}],"keyword":["attentional blink","order reversals","prior entry","working memory","visual attention","attentional performance","Adolescent","Adult","Attention","Attentional Blink","Color Perception","Cues","Discrimination (Psychology)","Female","Humans","Male","Memory","Short-Term","Pattern Recognition","Visual","Psychophysics","Reaction Time","Reversal Learning","Sensory Gating","Serial Learning","Young Adult","Eyeblink Reflex","Stimulus Change","Stimulus Parameters","Visual Attention","Attentional Blink","Short Term Memory"],"type":"journal_article","issue":"1","publication":"Attention, Perception, & Psychophysics","abstract":[{"lang":"eng","text":"When two targets are presented in rapid succession, the first target (T1) is usually identified, but the second target (T2) is often missed. A remarkable exception to this 'attentional blink' occurs when T2 immediately follows the first T1, at lag 1. It is then often spared but reported in the wrong order—that is, before T1. These order reversals have led to the hypothesis that 'lag 1 sparing' occurs because the two targets merge into a single episodic representation. Here, we report evidence consistent with an alternative theory: T2 receives more attention than T1, leading to prior entry into working memory. Two experiments showed that the more T2 performance exceeded that for T1, the more order reversals were made. Furthermore, precuing T1 led to a shift in performance benefits from T2 to T1 and to an equivalent reduction in order reversals. We conclude that it is not necessary to assume episodic integration to explain lag 1 sparing or the accompanying order reversals. (PsycINFO Dat"}],"_id":"6082","funded_apc":"1","page":"53 - 67","volume":73,"user_id":"42165","status":"public","oa":"1","citation":{"chicago":"Olivers, Christian N. L., Frederic Hilkenmeier, and Ingrid Scharlau. “Prior Entry Explains Order Reversals in the Attentional Blink.” <i>Attention, Perception, &#38; Psychophysics</i> 73, no. 1 (2011): 53–67.","short":"C.N.L. Olivers, F. Hilkenmeier, I. Scharlau, Attention, Perception, &#38; Psychophysics 73 (2011) 53–67.","apa":"Olivers, C. N. L., Hilkenmeier, F., &#38; Scharlau, I. (2011). Prior entry explains order reversals in the attentional blink. <i>Attention, Perception, &#38; Psychophysics</i>, <i>73</i>(1), 53–67.","ieee":"C. N. L. Olivers, F. Hilkenmeier, and I. Scharlau, “Prior entry explains order reversals in the attentional blink.,” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 73, no. 1, pp. 53–67, 2011.","ama":"Olivers CNL, Hilkenmeier F, Scharlau I. Prior entry explains order reversals in the attentional blink. <i>Attention, Perception, &#38; Psychophysics</i>. 2011;73(1):53-67.","bibtex":"@article{Olivers_Hilkenmeier_Scharlau_2011, title={Prior entry explains order reversals in the attentional blink.}, volume={73}, number={1}, journal={Attention, Perception, &#38; Psychophysics}, author={Olivers, Christian N. L. and Hilkenmeier, Frederic and Scharlau, Ingrid}, year={2011}, pages={53–67} }","mla":"Olivers, Christian N. L., et al. “Prior Entry Explains Order Reversals in the Attentional Blink.” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 73, no. 1, 2011, pp. 53–67."}},{"status":"public","page":"394 - 416","funded_apc":"1","_id":"6084","user_id":"42165","volume":64,"citation":{"bibtex":"@article{Weiß_Scharlau_2011, title={Simultaneity and temporal order perception: Different sides of the same coin? Evidence from a visual prior-entry study.}, volume={64}, number={2}, journal={The Quarterly Journal of Experimental Psychology}, author={Weiß, Katharina and Scharlau, Ingrid}, year={2011}, pages={394–416} }","chicago":"Weiß, Katharina, and Ingrid Scharlau. “Simultaneity and Temporal Order Perception: Different Sides of the Same Coin? Evidence from a Visual Prior-Entry Study.” <i>The Quarterly Journal of Experimental Psychology</i> 64, no. 2 (2011): 394–416.","ama":"Weiß K, Scharlau I. Simultaneity and temporal order perception: Different sides of the same coin? Evidence from a visual prior-entry study. <i>The Quarterly Journal of Experimental Psychology</i>. 2011;64(2):394-416.","short":"K. Weiß, I. Scharlau, The Quarterly Journal of Experimental Psychology 64 (2011) 394–416.","ieee":"K. Weiß and I. Scharlau, “Simultaneity and temporal order perception: Different sides of the same coin? Evidence from a visual prior-entry study.,” <i>The Quarterly Journal of Experimental Psychology</i>, vol. 64, no. 2, pp. 394–416, 2011.","apa":"Weiß, K., &#38; Scharlau, I. (2011). Simultaneity and temporal order perception: Different sides of the same coin? Evidence from a visual prior-entry study. <i>The Quarterly Journal of Experimental Psychology</i>, <i>64</i>(2), 394–416.","mla":"Weiß, Katharina, and Ingrid Scharlau. “Simultaneity and Temporal Order Perception: Different Sides of the Same Coin? Evidence from a Visual Prior-Entry Study.” <i>The Quarterly Journal of Experimental Psychology</i>, vol. 64, no. 2, 2011, pp. 394–416."},"oa":"1","year":"2011","title":"Simultaneity and temporal order perception: Different sides of the same coin? Evidence from a visual prior-entry study.","publication_identifier":{"issn":["1747-0218"]},"author":[{"full_name":"Weiß, Katharina","last_name":"Weiß","first_name":"Katharina"},{"last_name":"Scharlau","orcid":"0000-0003-2364-9489","first_name":"Ingrid","full_name":"Scharlau, Ingrid","id":"451"}],"date_updated":"2022-06-07T00:17:26Z","publication_status":"published","intvolume":"        64","main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/WeissScharlau2010.pdf"}],"language":[{"iso":"eng"}],"publication":"The Quarterly Journal of Experimental Psychology","issue":"2","abstract":[{"text":"Attended stimuli are perceived as occurring earlier than unattended stimuli. This phenomenon of prior entry is usually identified by a shift in the point of subjective simultaneity (PSS) in temporal order judgements (TOJs). According to its traditional psychophysical interpretation, the PSS coincides with the perception of simultaneity. This assumption is, however, questionable. Technically, the PSS represents the temporal interval between two stimuli at which the two alternative TOJs are equally likely. Thus it also seems possible that observers perceive not simultaneity, but uncertainty of temporal order. This possibility is supported by prior-entry studies, which find that perception of simultaneity is not very likely at the PSS. The present study tested the percept at the PSS in prior entry, using peripheral cues to orient attention. We found that manipulating attention caused varying temporal perceptions around the PSS. On some occasions observers perceived the two stimuli as sim","lang":"eng"}],"date_created":"2018-12-10T07:06:56Z","keyword":["temporal order perception","simultaneity","temporal order judgment","attention","visual perception","Adolescent","Adult","Attention","Cues","Discrimination (Psychology)","Female","Humans","Judgment","Male","Models","Psychological","Photic Stimulation","Reaction Time","Time Factors","Uncertainty","Visual Perception","Young Adult","Attention","Judgment","Stimulus Similarity","Time Perception","Visual Discrimination","Temporal Order (Judgment)"],"type":"journal_article","department":[{"_id":"424"}]},{"citation":{"chicago":"Tseng, Philip, Jan Tuennermann, Nancy Roker-Knight, Dorina Winter, Ingrid Scharlau, and Bruce Bridgeman. “Enhancing Implicit Change Detection through Action.” <i>Perception</i> 39, no. 10 (2010): 1311–21.","ama":"Tseng P, Tuennermann J, Roker-Knight N, Winter D, Scharlau I, Bridgeman B. Enhancing implicit change detection through action. <i>Perception</i>. 2010;39(10):1311-1321.","short":"P. Tseng, J. Tuennermann, N. Roker-Knight, D. Winter, I. Scharlau, B. Bridgeman, Perception 39 (2010) 1311–1321.","bibtex":"@article{Tseng_Tuennermann_Roker-Knight_Winter_Scharlau_Bridgeman_2010, title={Enhancing implicit change detection through action.}, volume={39}, number={10}, journal={Perception}, author={Tseng, Philip and Tuennermann, Jan and Roker-Knight, Nancy and Winter, Dorina and Scharlau, Ingrid and Bridgeman, Bruce}, year={2010}, pages={1311–1321} }","mla":"Tseng, Philip, et al. “Enhancing Implicit Change Detection through Action.” <i>Perception</i>, vol. 39, no. 10, 2010, pp. 1311–21.","apa":"Tseng, P., Tuennermann, J., Roker-Knight, N., Winter, D., Scharlau, I., &#38; Bridgeman, B. (2010). Enhancing implicit change detection through action. <i>Perception</i>, <i>39</i>(10), 1311–1321.","ieee":"P. Tseng, J. Tuennermann, N. Roker-Knight, D. Winter, I. Scharlau, and B. Bridgeman, “Enhancing implicit change detection through action.,” <i>Perception</i>, vol. 39, no. 10, pp. 1311–1321, 2010."},"_id":"6067","page":"1311 - 1321","volume":39,"user_id":"42165","status":"public","date_created":"2018-12-10T07:02:19Z","department":[{"_id":"424"}],"keyword":["implicit change detection","action perception","visual system","perceptual judgment","verbal fluency","Analysis of Variance","Awareness","Female","Humans","Male","Psychomotor Performance","Random Allocation","Reaction Time","Visual Perception","Visual Memory","Visual Stimulation","Implicit Memory","Judgment","Perceptual Discrimination"],"type":"journal_article","issue":"10","publication":"Perception","abstract":[{"lang":"eng","text":"Implicit change detection demonstrates how the visual system can benefit from stored information that is not immediately available to conscious awareness. We investigated the role of motor action in this context. In the first two experiments, using a one-shot implicit change detection paradigm, participants responded to unperceived changes either with an action (jabbing the screen at the guessed location of a change) or with words (verbal report), and sat either 60 cm or 300 cm (with a laser pointer) away from the display. Our observers guessed the locations of changes at a reachable distance better with an action than with a verbal judgment. At 300 cm, beyond reach, the motor advantage disappeared. In experiment 3, this advantage was also unavailable when participants sat at a reachable distance but responded with hand-held laser pointers near their bodies. We conclude that a motor system specialized for real-time visually guided behavior has access to additional visual information. "}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0301-0066"]},"author":[{"full_name":"Tseng, Philip","last_name":"Tseng","first_name":"Philip"},{"full_name":"Tuennermann, Jan","first_name":"Jan","last_name":"Tuennermann"},{"full_name":"Roker-Knight, Nancy","last_name":"Roker-Knight","first_name":"Nancy"},{"full_name":"Winter, Dorina","last_name":"Winter","first_name":"Dorina"},{"id":"451","full_name":"Scharlau, Ingrid","last_name":"Scharlau","first_name":"Ingrid","orcid":"0000-0003-2364-9489"},{"last_name":"Bridgeman","first_name":"Bruce","full_name":"Bridgeman, Bruce"}],"title":"Enhancing implicit change detection through action.","year":"2010","intvolume":"        39","date_updated":"2022-06-06T16:47:26Z","publication_status":"published"},{"place":"Dresden","date_created":"2023-01-17T09:12:35Z","department":[{"_id":"672"}],"keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"type":"conference","citation":{"mla":"Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","apa":"Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>.","ama":"Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","bibtex":"@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }"},"publication":"Proceedings of DATE’10","abstract":[{"text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach.","lang":"eng"}],"publisher":"IEEE","_id":"37007","language":[{"iso":"eng"}],"doi":"10.1109/DATE.2010.5456990","user_id":"5786","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"status":"public","year":"2010","title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","date_updated":"2023-01-17T09:12:44Z"},{"doi":"10.1109/DATE.2010.5457130","user_id":"5786","_id":"37009","publisher":"IEEE","language":[{"iso":"eng"}],"date_updated":"2023-01-17T09:15:18Z","year":"2010","status":"public","title":"Assertion-Based Verification of RTOS Properties","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"author":[{"first_name":"Marcio F. S.","last_name":"Oliveira","full_name":"Oliveira, Marcio F. S."},{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"type":"conference","keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"department":[{"_id":"672"}],"place":"Dresden","date_created":"2023-01-17T09:15:10Z","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 several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties."}],"publication":"Proceedings of DATE’10","citation":{"ieee":"M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","apa":"Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>.","mla":"Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","bibtex":"@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }","ama":"Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>"}},{"department":[{"_id":"672"}],"type":"conference","keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"place":"Dresden","date_created":"2023-01-17T10:47:29Z","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"citation":{"chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>."},"publication":"Proceedings of DATE’10","doi":"10.1109/DATE.2010.5456965","user_id":"5786","publisher":"IEEE","_id":"37040","language":[{"iso":"eng"}],"date_updated":"2023-01-17T10:47:37Z","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"first_name":"Giuseppe","last_name":"Di Guglielmo","full_name":"Di Guglielmo, Giuseppe"},{"full_name":"Fummi, Franco","last_name":"Fummi","first_name":"Franco"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Graziano","last_name":"Pravadelli","full_name":"Pravadelli, Graziano"},{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"}],"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"status":"public","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","year":"2010"},{"date_updated":"2023-01-17T11:28:30Z","publication_identifier":{"eisbn":["978-1-4244-7806-4"]},"author":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Marcio F.","last_name":"da S. Oliveira","full_name":"da S. Oliveira, Marcio F."},{"full_name":"Zabel, Henning","first_name":"Henning","last_name":"Zabel"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"}],"conference":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Anaheim, FL, USA"},"year":"2010","status":"public","title":"Verification of Real-Time Properties for Hardware-Dependant Software","user_id":"5786","language":[{"iso":"eng"}],"_id":"37053","publisher":"IEEE","abstract":[{"lang":"eng","text":"Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models."}],"citation":{"short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","chicago":"Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings of HLDVT2010</i>. IEEE, 2010.","apa":"Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.","ieee":"W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.","ama":"Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>. IEEE; 2010.","bibtex":"@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010."},"publication":"Proceedings of HLDVT2010","department":[{"_id":"672"}],"type":"conference","keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"date_created":"2023-01-17T11:28:26Z"},{"date_created":"2023-01-17T10:44:46Z","place":"Dresden","type":"conference","keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"citation":{"apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }"},"publication":"Proceedings of DATE’10","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"37039","publisher":"IEEE","user_id":"5786","doi":"10.1109/DATE.2010.5456965","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"author":[{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"},{"last_name":"Di Guglielmo","first_name":"Giuseppe","full_name":"Di Guglielmo, Giuseppe"},{"last_name":"Fummi","first_name":"Franco","full_name":"Fummi, Franco"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Pravadelli","first_name":"Graziano","full_name":"Pravadelli, Graziano"},{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"}],"conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"year":"2010","status":"public","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","date_updated":"2025-03-12T16:39:17Z"}]