[{"language":[{"iso":"eng"}],"_id":"25069","user_id":"5603","author":[{"full_name":"Adelt, Peer","last_name":"Adelt","first_name":"Peer","id":"5603"},{"id":"25260","full_name":"Koppelmann, Bastian","first_name":"Bastian","last_name":"Koppelmann"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"},{"id":"37144","first_name":"J. Christoph","orcid":"0000-0002-5950-6618 ","last_name":"Scheytt","full_name":"Scheytt, J. Christoph"}],"corporate_editor":["University Booth Interactive Presentation"],"conference":{"location":"Lausanne, CH, Mrz. 2017"},"title":"ANALISA - A Tool for Static Instruction Set Analysis","year":"2017","status":"public","date_updated":"2025-02-26T14:45:23Z","date_created":"2021-09-28T11:12:00Z","department":[{"_id":"672"}],"type":"conference","citation":{"mla":"Adelt, Peer, et al. “ANALISA - A Tool for Static Instruction Set Analysis.” <i>Design Automation and Testing in Europe (DATE)</i>, edited by University Booth Interactive Presentation, 2017.","bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, title={ANALISA - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and Testing in Europe (DATE)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, J. Christoph}, editor={University Booth Interactive Presentation}, year={2017} }","ama":"Adelt P, Koppelmann B, Müller W, Kleinjohann B, Scheytt JC. ANALISA - A Tool for Static Instruction Set Analysis. In: University Booth Interactive Presentation, ed. <i>Design Automation and Testing in Europe (DATE)</i>. ; 2017.","ieee":"P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, and J. C. Scheytt, “ANALISA - A Tool for Static Instruction Set Analysis,” in <i>Design Automation and Testing in Europe (DATE)</i>, Lausanne, CH, Mrz. 2017, 2017.","apa":"Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., &#38; Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), <i>Design Automation and Testing in Europe (DATE)</i>.","short":"P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, J.C. Scheytt, in: University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE), 2017.","chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and J. Christoph Scheytt. “ANALISA - A Tool for Static Instruction Set Analysis.” In <i>Design Automation and Testing in Europe (DATE)</i>, edited by University Booth Interactive Presentation, 2017."},"publication":"Design Automation and Testing in Europe (DATE)"},{"user_id":"15931","doi":"10.1109/VLSI-SoC.2016.7753545","language":[{"iso":"eng"}],"_id":"24264","date_updated":"2022-02-17T13:57:45Z","publication_identifier":{"eissn":["2324-8440"]},"author":[{"full_name":"Adelt, Peer","last_name":"Adelt","first_name":"Peer","id":"5603"},{"full_name":"Koppelmann, Bastian","last_name":"Koppelmann","first_name":"Bastian","id":"25260"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"},{"full_name":"Scheytt, Christoph","first_name":"Christoph","last_name":"Scheytt","id":"37144"}],"conference":{"end_date":"2016.09.28","start_date":"2016.09.26"},"year":"2016","title":"Fast Dynamic Fault Injection for Virtual Microcontroller Platforms","status":"public","department":[{"_id":"58"}],"type":"conference","date_created":"2021-09-13T09:44:30Z","place":"Tallin, Estonia","abstract":[{"text":"Electronic systems, like they are embedded in road vehicles, have to be compliant to functional safety standards like ISO 26262 [1], which limit the impacts of malfunctions for safety critical systems. ISO 26262, for instance, defines different safety levels for road vehicles, which require different means and measures for a safety compliant system and its development process like risk analysis and fault effect simulation. For fault effect simulation it is important to investigate the impact of physical and hardware related effects to the correct function of a system. This article first studies code and model mutations for fault injection in the context of fault effect simulation through different system abstraction levels. It demonstrates how high level mutations correlate to bit flips of software binaries by examples from the TriCore™ instruction set and finally presents a virtual platform based implementation for automated injection of bit flip based mutations into software binaries. Experimental results demonstrate the efficiency of the implemented approach.","lang":"eng"}],"related_material":{"link":[{"relation":"confirmation","url":"https://ieeexplore.ieee.org/document/7753545"}]},"citation":{"mla":"Adelt, Peer, et al. “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms.” <i>Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)</i>, 2016, doi:<a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">10.1109/VLSI-SoC.2016.7753545</a>.","bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Becker_Kleinjohann_Scheytt_2016, place={Tallin, Estonia}, title={Fast Dynamic Fault Injection for Virtual Microcontroller Platforms}, DOI={<a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">10.1109/VLSI-SoC.2016.7753545</a>}, booktitle={Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Becker, Markus and Kleinjohann, Bernd and Scheytt, Christoph}, year={2016} }","ama":"Adelt P, Koppelmann B, Müller W, Becker M, Kleinjohann B, Scheytt C. Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. In: <i>Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)</i>. ; 2016. doi:<a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">10.1109/VLSI-SoC.2016.7753545</a>","ieee":"P. Adelt, B. Koppelmann, W. Müller, M. Becker, B. Kleinjohann, and C. Scheytt, “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms,” 2016, doi: <a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">10.1109/VLSI-SoC.2016.7753545</a>.","apa":"Adelt, P., Koppelmann, B., Müller, W., Becker, M., Kleinjohann, B., &#38; Scheytt, C. (2016). Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. <i>Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)</i>. <a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">https://doi.org/10.1109/VLSI-SoC.2016.7753545</a>","short":"P. Adelt, B. Koppelmann, W. Müller, M. Becker, B. Kleinjohann, C. Scheytt, in: Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC), Tallin, Estonia, 2016.","chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, and Christoph Scheytt. “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms.” In <i>Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)</i>. Tallin, Estonia, 2016. <a href=\"https://doi.org/10.1109/VLSI-SoC.2016.7753545\">https://doi.org/10.1109/VLSI-SoC.2016.7753545</a>."},"publication":"Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)"},{"abstract":[{"lang":"eng","text":"The design of safety critical systems requires an efficient methodology for an effective fault effect simulation for analog and digital circuits where analog fault injection and fault effect simulation is currently a field of active research and commercial tools are not available yet. This article begins by discussing fault injection strategies for analog circuits applied on a case study with two topologies of a Voltage Controlled Oscillator (VCO). In the second part it performs on the basis of the example of a Wireless Sensor Network (WSN) node, how far different mixed level implementations with Verilog-A and SPICE can affect the simulation time and points out which component consumes the major part of the simulation time."}],"related_material":{"link":[{"url":"https://ieeexplore.ieee.org/document/7584296/","relation":"confirmation"}]},"citation":{"ieee":"S. Abughannam, L. Wu, W. Müller, C. Scheytt, W. Ecker, and C. Novello, “Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study,” 2016.","apa":"Abughannam, S., Wu, L., Müller, W., Scheytt, C., Ecker, W., &#38; Novello, C. (2016). Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study. <i>Analog 2016 - VDE</i>.","short":"S. Abughannam, L. Wu, W. Müller, C. Scheytt, W. Ecker, C. Novello, in: Analog 2016 - VDE, 2016.","chicago":"Abughannam, Saed, Liang Wu, Wolfgang Müller, Christoph Scheytt, Wolfgang Ecker, and Christiano Novello. “Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study.” In <i>Analog 2016 - VDE</i>, 2016.","mla":"Abughannam, Saed, et al. “Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study.” <i>Analog 2016 - VDE</i>, 2016.","bibtex":"@inproceedings{Abughannam_Wu_Müller_Scheytt_Ecker_Novello_2016, title={Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study}, booktitle={Analog 2016 - VDE}, author={Abughannam, Saed and Wu, Liang and Müller, Wolfgang and Scheytt, Christoph and Ecker, Wolfgang and Novello, Christiano}, year={2016} }","ama":"Abughannam S, Wu L, Müller W, Scheytt C, Ecker W, Novello C. Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study. In: <i>Analog 2016 - VDE</i>. ; 2016."},"publication":"Analog 2016 - VDE","department":[{"_id":"58"}],"type":"conference","date_created":"2021-09-13T09:44:29Z","date_updated":"2022-02-17T13:58:08Z","author":[{"id":"37628","first_name":"Saed","last_name":"Abughannam","full_name":"Abughannam, Saed"},{"id":"30401","first_name":"Liang","last_name":"Wu","full_name":"Wu, Liang"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Scheytt, Christoph","first_name":"Christoph","last_name":"Scheytt","id":"37144"},{"last_name":"Ecker","first_name":"Wolfgang","full_name":"Ecker, Wolfgang"},{"last_name":"Novello","first_name":"Christiano","full_name":"Novello, Christiano"}],"publication_identifier":{"isbn":["978-3-8007-4265-3"]},"conference":{"start_date":"2016.09.12","end_date":"2016.09.14"},"title":"Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study","year":"2016","status":"public","user_id":"15931","_id":"24263","language":[{"iso":"eng"}]},{"department":[{"_id":"58"}],"type":"conference","date_created":"2021-09-14T07:06:31Z","place":"Amsterdam, Netherland","citation":{"short":"W. Müller, L. Wu, C. Scheytt, M. Becker, S. Schoenberg, in: D. Mueller-Gritschneder, W. Müller, S. Mitra (Eds.), Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), Amsterdam, Netherland, 2015.","chicago":"Müller, Wolfgang, Liang Wu, Christoph Scheytt, Markus Becker, and Sven Schoenberg. “On the Correlation of HW Faults and SW Errors.” In <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)</i>, edited by Daniel Mueller-Gritschneder, Wolfgang Müller, and Subhasish Mitra. Amsterdam, Netherland, 2015.","ieee":"W. Müller, L. Wu, C. Scheytt, M. Becker, and S. Schoenberg, “On the Correlation of HW Faults and SW Errors,” in <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)</i>, 2015.","apa":"Müller, W., Wu, L., Scheytt, C., Becker, M., &#38; Schoenberg, S. (2015). On the Correlation of HW Faults and SW Errors. In D. Mueller-Gritschneder, W. Müller, &#38; S. Mitra (Eds.), <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)</i>.","bibtex":"@inproceedings{Müller_Wu_Scheytt_Becker_Schoenberg_2015, place={Amsterdam, Netherland}, title={On the Correlation of HW Faults and SW Errors}, booktitle={Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)}, author={Müller, Wolfgang and Wu, Liang and Scheytt, Christoph and Becker, Markus and Schoenberg, Sven}, editor={Mueller-Gritschneder, Daniel and Müller, Wolfgang and Mitra, Subhasish}, year={2015} }","ama":"Müller W, Wu L, Scheytt C, Becker M, Schoenberg S. On the Correlation of HW Faults and SW Errors. In: Mueller-Gritschneder D, Müller W, Mitra S, eds. <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)</i>. ; 2015.","mla":"Müller, Wolfgang, et al. “On the Correlation of HW Faults and SW Errors.” <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)</i>, edited by Daniel Mueller-Gritschneder et al., 2015."},"publication":"Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)","editor":[{"full_name":"Mueller-Gritschneder, Daniel","first_name":"Daniel","last_name":"Mueller-Gritschneder"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Mitra","first_name":"Subhasish","full_name":"Mitra, Subhasish"}],"user_id":"15931","_id":"24289","language":[{"iso":"eng"}],"date_updated":"2022-02-17T10:08:53Z","author":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"id":"30401","full_name":"Wu, Liang","first_name":"Liang","last_name":"Wu"},{"last_name":"Scheytt","first_name":"Christoph","full_name":"Scheytt, Christoph","id":"37144"},{"last_name":"Becker","first_name":"Markus","full_name":"Becker, Markus"},{"last_name":"Schoenberg","first_name":"Sven","full_name":"Schoenberg, Sven"}],"year":"2015","status":"public","title":"On the Correlation of HW Faults and SW Errors"},{"year":"2015","title":"Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems","status":"public","date_updated":"2024-04-18T22:13:15Z","language":[{"iso":"eng"}],"_id":"53590","editor":[{"full_name":"Müller-Gridschneder, Daniel","last_name":"Müller-Gridschneder","first_name":"Daniel"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Subhasish","last_name":"Mitra","full_name":"Mitra, Subhasish"}],"user_id":"16243","citation":{"ieee":"D. Müller-Gridschneder, W. Müller, and S. Mitra, Eds., <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems</i>. Amsterdam, Netherlands, 2015.","apa":"Müller-Gridschneder, D., Müller, W., &#38; Mitra, S. (Eds.). (2015). <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems</i>.","short":"D. Müller-Gridschneder, W. Müller, S. Mitra, eds., Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, Netherlands, 2015.","chicago":"Müller-Gridschneder, Daniel, Wolfgang Müller, and Subhasish Mitra, eds. <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems</i>. Amsterdam, Netherlands, 2015.","mla":"Müller-Gridschneder, Daniel, et al., editors. <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems</i>. 2015.","bibtex":"@book{Müller-Gridschneder_Müller_Mitra_2015, place={Amsterdam, Netherlands}, title={Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems}, year={2015} }","ama":"Müller-Gridschneder D, Müller W, Mitra S, eds. <i>Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems</i>.; 2015."},"date_created":"2024-04-18T21:37:18Z","place":"Amsterdam, Netherlands","department":[{"_id":"58"}],"type":"book_editor"},{"type":"conference","department":[{"_id":"672"}],"date_created":"2021-09-30T07:15:48Z","publication":"17th Euromicro Conference on Digital Systems Design (DSD)","citation":{"mla":"Becker, Markus, et al. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” <i>17th Euromicro Conference on Digital Systems Design (DSD)</i>, 2014.","ama":"Becker M, Kuznik C, Müller W. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In: <i>17th Euromicro Conference on Digital Systems Design (DSD)</i>. ; 2014.","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, title={Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle={17th Euromicro Conference on Digital Systems Design (DSD)}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. <i>17th Euromicro Conference on Digital Systems Design (DSD)</i>.","ieee":"M. Becker, C. Kuznik, and W. Müller, “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software,” 2014.","short":"M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” In <i>17th Euromicro Conference on Digital Systems Design (DSD)</i>, 2014."},"user_id":"21240","language":[{"iso":"eng"}],"_id":"25145","date_updated":"2022-01-06T06:56:53Z","title":"Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software","status":"public","year":"2014","author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}]},{"publication":"ACM/IEEE 5th International Conference on Cyber-Physical Systems","citation":{"bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","short":"M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>. ; 2014.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>, 2014.","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems,” 2014.","mla":"Becker, Markus, et al. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>, 2014.","apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>."},"date_created":"2021-09-30T08:17:50Z","type":"conference","department":[{"_id":"672"}],"year":"2014","status":"public","title":"Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2022-01-06T06:56:53Z","language":[{"iso":"eng"}],"_id":"25155","user_id":"21240"},{"citation":{"mla":"Koppelmann, Bastian, et al. “Portierung Der TriCore-Architektur Auf QEMU.” <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>, 2014.","ama":"Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>. ; 2014.","bibtex":"@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }","apa":"Koppelmann, B., Becker, M., &#38; Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>.","ieee":"B. Koppelmann, M. Becker, and W. Müller, “Portierung der TriCore-Architektur auf QEMU,” 2014.","short":"B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.","chicago":"Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>, 2014."},"publication":"17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) ","date_created":"2021-09-30T09:51:08Z","department":[{"_id":"672"}],"type":"conference","author":[{"full_name":"Koppelmann, Bastian","first_name":"Bastian","last_name":"Koppelmann","id":"25260"},{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"year":"2014","status":"public","title":"Portierung der TriCore-Architektur auf QEMU","date_updated":"2022-01-06T06:56:53Z","_id":"25161","language":[{"iso":"eng"}],"user_id":"21240"},{"type":"conference","department":[{"_id":"58"}],"date_created":"2021-09-14T07:06:51Z","place":"Greece","abstract":[{"lang":"eng","text":"Energy efficiency drives the development of more and more complex low-power designs. Based on dynamic power management techniques, multiple voltage islands as well as a huge amount of power states are specified that have to be tested carefully. In this context, low-power design should start at an early stage using state-of-the-art system-level modeling and simulation techniques. However, there is neither a programming language nor any modeling standard that reflects variable power together with its functional side effects in a well-suited abstract manner. To overcome this limitation, we present a modeling approach on top of SystemC TLM to capture low-power design characteristics at electronic system-level. We demonstrate the usability by means of an existing open-source low-power design. The experimental results show that appropriate TLM instrumentation cause only minimal simulation overhead, but offer sufficient details to identify common low-power design errors."}],"related_material":{"link":[{"relation":"confirmation","url":"https://ieeexplore.ieee.org/document/6893219"}]},"publication":"Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)","citation":{"apa":"Mischkalla, F., &#38; Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation. <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. <a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">https://doi.org/10.1109/SAMOS.2014.6893219</a>","ieee":"F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation,” 2014, doi: <a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">10.1109/SAMOS.2014.6893219</a>.","short":"F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, Greece, 2014.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation.” In <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. Greece: IEEE, 2014. <a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">https://doi.org/10.1109/SAMOS.2014.6893219</a>.","mla":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation.” <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>, IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">10.1109/SAMOS.2014.6893219</a>.","ama":"Mischkalla F, Müller W. Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation. In: <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">10.1109/SAMOS.2014.6893219</a>","bibtex":"@inproceedings{Mischkalla_Müller_2014, place={Greece}, title={Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation}, DOI={<a href=\"https://doi.org/10.1109/SAMOS.2014.6893219\">10.1109/SAMOS.2014.6893219</a>}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }"},"user_id":"15931","doi":"10.1109/SAMOS.2014.6893219","_id":"24305","publisher":"IEEE","language":[{"iso":"eng"}],"date_updated":"2022-02-17T12:46:32Z","year":"2014","status":"public","title":"Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation","publication_identifier":{"eisbn":["978-1-4799-3770-7"]},"author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"conference":{"start_date":"2014.07.14","end_date":"2014.07.17"}},{"publication":"Design and Verification Conference (DVCON EUROPE)","citation":{"ama":"Koppelmann B, Messidat B, Becker M, Kuznik C, Müller W, Scheytt C. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. <i>Design and Verification Conference (DVCON EUROPE)</i>. Published online 2014.","bibtex":"@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt, Christoph}, year={2014} }","mla":"Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” <i>Design and Verification Conference (DVCON EUROPE)</i>, 2014.","short":"B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, C. Scheytt, Design and Verification Conference (DVCON EUROPE) (2014).","chicago":"Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang Müller, and Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” <i>Design and Verification Conference (DVCON EUROPE)</i>, 2014.","apa":"Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., &#38; Scheytt, C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. <i>Design and Verification Conference (DVCON EUROPE)</i>.","ieee":"B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, and C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” <i>Design and Verification Conference (DVCON EUROPE)</i>, 2014."},"abstract":[{"text":"In this paper, we present an efficient approach to virtual platform modeling for TriCore-based SoCs by combining fast and open software emulation with IEEE-1666 Standard SystemC simulation.  For evaluation we consider Infineon's recently introduced AURIX processor family as a target platform, which utilizes multiple CPU cores operating in lockstep mode, memories, hierarchical buses, and a rich set of peripherals. For SoC prototyping, we integrate the fast and open instruction accurate QEMU software emulator with the TLMu library for SystemC co-verification. This article reports our most recent efforts of the implementation of the TriCore instruction set for QEMU. The experimental results demonstrate the functional correctness and performance of our TriCore implementation.","lang":"eng"}],"related_material":{"link":[{"relation":"confirmation","url":"http://dvcon-europe.org/conference/dvcon-europe-2014/"}]},"date_created":"2021-09-14T07:06:47Z","type":"journal_article","department":[{"_id":"58"}],"title":"Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU","status":"public","year":"2014","conference":{"location":"München, Germany","start_date":"2014.10.14"},"author":[{"id":"25260","first_name":"Bastian","last_name":"Koppelmann","full_name":"Koppelmann, Bastian"},{"first_name":"Bernd","last_name":"Messidat","full_name":"Messidat, Bernd"},{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"id":"37144","last_name":"Scheytt","first_name":"Christoph","full_name":"Scheytt, Christoph"}],"date_updated":"2022-02-17T12:34:27Z","language":[{"iso":"eng"}],"_id":"24302","user_id":"15931"},{"type":"journal_article","department":[{"_id":"58"}],"date_created":"2021-09-14T07:06:56Z","related_material":{"link":[{"relation":"confirmation","url":"https://www.edacentrum.de/effektiv/content/verific-mm-systematized-verification-metrics-generation-ucis-improved-automation-verificatio"}]},"abstract":[{"lang":"eng","text":"Verific-MM is an approach to systematize and accelerate the coverage plan engineering as well as the verification environment’s (functional) metric code generation -- usually a time-consuming and error-prone task -- in particular by (i) improving automation via assisted model-based approaches, utilizing recent industry standards such as UCIS and (ii) a supporting methodology suitable for various target (functional coverage) languages (IEEE-1800 SystemVerilog, IEEE-1647 e, IEEE-1666 SystemC)."}],"publication":"Design, Automation and Test in Europe DATE, University Booth, Dresden","citation":{"chicago":"Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","short":"C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).","apa":"Kuznik, C., &#38; Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>.","ieee":"C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure,” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","ama":"Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>. Published online 2014.","bibtex":"@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014."},"user_id":"15931","_id":"24309","language":[{"iso":"eng"}],"date_updated":"2022-02-17T13:14:13Z","title":"Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure","year":"2014","status":"public","conference":{"start_date":"2014.03.25"},"author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}]},{"date_created":"2021-09-14T07:06:59Z","type":"conference","department":[{"_id":"58"}],"publication":"Design Automation Conference (DAC)","citation":{"mla":"Oetjens, Jan-Hendrik, et al. “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.” <i>Design Automation Conference (DAC)</i>, 2014, doi:<a href=\"https://doi.org/10.1145/2593069.2602976\">10.1145/2593069.2602976</a>.","ama":"Oetjens J-H, Becker M, Kuznik C, et al. Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. In: <i>Design Automation Conference (DAC)</i>. ; 2014. doi:<a href=\"https://doi.org/10.1145/2593069.2602976\">10.1145/2593069.2602976</a>","bibtex":"@inproceedings{Oetjens_Becker_Kuznik_Müller_Bannow_Brinkmann_Burger_Chaari_Chakraborty_Drechsler_et al._2014, title={Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges}, DOI={<a href=\"https://doi.org/10.1145/2593069.2602976\">10.1145/2593069.2602976</a>}, booktitle={Design Automation Conference (DAC)}, author={Oetjens, Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Bannow, Nico and Brinkmann, Oliver and Burger, Andreas and Chaari, Moomen and Chakraborty, Samarjit and Drechsler, R. and et al.}, year={2014} }","apa":"Oetjens, J.-H., Becker, M., Kuznik, C., Müller, W., Bannow, N., Brinkmann, O., Burger, A., Chaari, M., Chakraborty, S., Drechsler, R., Ecker, W., Grüttner, K., Kruse, T., Le, H. M., Mauderer, M., Mueller-Gritschneider, D., Poppen, F., Post, H., Reiter, Se., … Viehl, A. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. <i>Design Automation Conference (DAC)</i>. <a href=\"https://doi.org/10.1145/2593069.2602976\">https://doi.org/10.1145/2593069.2602976</a>","ieee":"J.-H. Oetjens <i>et al.</i>, “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges,” 2014, doi: <a href=\"https://doi.org/10.1145/2593069.2602976\">10.1145/2593069.2602976</a>.","short":"J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, N. Bannow, O. Brinkmann, A. Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, K. Grüttner, T. Kruse, H.M. Le, M. Mauderer, D. Mueller-Gritschneider, F. Poppen, H. Post, Se. Reiter, W. Rosenstiel, S. Roth, U. Schlichtmann, A. Von Schwerin, B.A. Tabacaru, A. Viehl, in: Design Automation Conference (DAC), 2014.","chicago":"Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, Wolfgang Müller, Nico Bannow, Oliver Brinkmann, Andreas Burger, et al. “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.” In <i>Design Automation Conference (DAC)</i>, 2014. <a href=\"https://doi.org/10.1145/2593069.2602976\">https://doi.org/10.1145/2593069.2602976</a>."},"related_material":{"link":[{"url":"https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6881440","relation":"confirmation"}]},"abstract":[{"text":"Intelligent automotive electronics significantly improved driving safety in the last decades. With the increasing complexity of automotive systems, dependability of the electronic components themselves and of their interaction must be assured to avoid any risk to driving safety due to unexpected failures caused by internal or external faults. Additionally, Virtual Prototypes (VPs) have been accepted in many areas of system development processes in the automotive industry as platforms for SW development, verification, and design space exploration. We believe that VPs will significantly contribute to the analysis of safety conditions for automotive electronics. This paper shows the advantages of such a methodology based on today's industrial needs, presents the current state of the art in this field, and outlines upcoming research challenges that need to be addressed to make this vision a reality.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"24311","doi":"10.1145/2593069.2602976","user_id":"15931","year":"2014","status":"public","title":"Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges","author":[{"full_name":"Oetjens, Jan-Hendrik","last_name":"Oetjens","first_name":"Jan-Hendrik"},{"last_name":"Becker","first_name":"Markus","full_name":"Becker, Markus"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"first_name":"Nico","last_name":"Bannow","full_name":"Bannow, Nico"},{"full_name":"Brinkmann, Oliver","last_name":"Brinkmann","first_name":"Oliver"},{"first_name":"Andreas","last_name":"Burger","full_name":"Burger, Andreas"},{"last_name":"Chaari","first_name":"Moomen","full_name":"Chaari, Moomen"},{"first_name":"Samarjit","last_name":"Chakraborty","full_name":"Chakraborty, Samarjit"},{"full_name":"Drechsler, R.","first_name":"R.","last_name":"Drechsler"},{"full_name":"Ecker, Wolfgang","last_name":"Ecker","first_name":"Wolfgang"},{"full_name":"Grüttner, Kim","last_name":"Grüttner","first_name":"Kim"},{"full_name":"Kruse, Thomas","first_name":"Thomas","last_name":"Kruse"},{"last_name":"Le","first_name":"Hoang M","full_name":"Le, Hoang M"},{"first_name":"M.","last_name":"Mauderer","full_name":"Mauderer, M."},{"first_name":"Daniel","last_name":"Mueller-Gritschneider","full_name":"Mueller-Gritschneider, Daniel"},{"last_name":"Poppen","first_name":"Frank","full_name":"Poppen, Frank"},{"last_name":"Post","first_name":"Hendrik","full_name":"Post, Hendrik"},{"first_name":"SEbastian","last_name":"Reiter","full_name":"Reiter, SEbastian"},{"full_name":"Rosenstiel, Wolfgang","last_name":"Rosenstiel","first_name":"Wolfgang"},{"full_name":"Roth, S. ","last_name":"Roth","first_name":"S. "},{"first_name":"Ulf","last_name":"Schlichtmann","full_name":"Schlichtmann, Ulf"},{"first_name":"Andreas","last_name":"Von Schwerin","full_name":"Von Schwerin, Andreas"},{"last_name":"Tabacaru","first_name":"Bogdan Andrei","full_name":"Tabacaru, Bogdan Andrei"},{"last_name":"Viehl","first_name":"Alexander","full_name":"Viehl, Alexander"}],"date_updated":"2022-02-17T13:47:16Z"},{"date_created":"2021-09-30T10:17:43Z","type":"journal_article","department":[{"_id":"672"}],"publication":"Design, Automation and Test in Europe DATE, University Booth, Dresden","citation":{"ieee":"M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","apa":"Becker, M., Müller, W., Stroop, J., &#38; Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>.","short":"M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).","chicago":"Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","mla":"Becker, Markus, et al. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","bibtex":"@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }","ama":"Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>. Published online 2014."},"language":[{"iso":"eng"}],"_id":"25164","user_id":"16243","year":"2014","status":"public","title":"HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Stroop","first_name":"Joachim","full_name":"Stroop, Joachim"},{"full_name":"Kiffmeier, Ulrich","last_name":"Kiffmeier","first_name":"Ulrich"}],"date_updated":"2024-04-18T21:06:21Z"},{"language":[{"iso":"eng"}],"_id":"25120","publisher":"IEEE","user_id":"5786","status":"public","year":"2014","title":"Architectural Low-Power Design Using Transaction-Based System Simulation","author":[{"last_name":"Mischkalla","first_name":"Fabian","full_name":"Mischkalla, Fabian"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"conference":{"location":"Greece, Sep. 2014, IEEE"},"date_updated":"2023-01-16T11:29:24Z","date_created":"2021-09-29T12:06:12Z","type":"conference","department":[{"_id":"58"}],"publication":"Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)","citation":{"bibtex":"@inproceedings{Mischkalla_Müller_2014, title={Architectural Low-Power Design Using Transaction-Based System Simulation}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }","ama":"Mischkalla F, Müller W. Architectural Low-Power Design Using Transaction-Based System Simulation. In: <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. IEEE; 2014.","mla":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>, IEEE, 2014.","short":"F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, 2014.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” In <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. IEEE, 2014.","ieee":"F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Simulation,” Greece, Sep. 2014, IEEE, 2014.","apa":"Mischkalla, F., &#38; Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>."}},{"date_updated":"2023-01-16T11:36:02Z","status":"public","year":"2014","title":"Source code annotated memory leak detection for soft real time embedded systems with resource constraints","author":[{"full_name":"Joy, M. tech. Mabel Mary","last_name":"Joy","first_name":"M. tech. Mabel Mary"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Rammig","first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"25146","publication":"12th IEEE International conference on Embedded Computing","citation":{"mla":"Joy, M. tech. Mabel Mary, et al. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” <i>12th IEEE International Conference on Embedded Computing</i>, 2014.","ama":"Joy M tech. MM, Müller W, Rammig F-J. Source code annotated memory leak detection for soft real time embedded systems with resource constraints. In: <i>12th IEEE International Conference on Embedded Computing</i>. ; 2014.","bibtex":"@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory leak detection for soft real time embedded systems with resource constraints}, booktitle={12th IEEE International conference on Embedded Computing}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014} }","apa":"Joy, M. tech. M. M., Müller, W., &#38; Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. <i>12th IEEE International Conference on Embedded Computing</i>.","ieee":"M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Source code annotated memory leak detection for soft real time embedded systems with resource constraints,” 2014.","chicago":"Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” In <i>12th IEEE International Conference on Embedded Computing</i>, 2014.","short":"M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014."},"type":"conference","department":[{"_id":"58"}],"date_created":"2021-09-30T07:18:43Z"},{"language":[{"iso":"eng"}],"_id":"25144","user_id":"5786","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"title":"Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation","year":"2014","status":"public","date_updated":"2023-01-16T11:28:39Z","date_created":"2021-09-30T07:13:17Z","place":"Palma de Mallorca, Spain","department":[{"_id":"58"}],"type":"conference","citation":{"apa":"Mischkalla, F., &#38; Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. <i>PATMOS 2014</i>.","ieee":"F. Mischkalla and W. Müller, “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation,” 2014.","short":"F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In <i>PATMOS 2014</i>. Palma de Mallorca, Spain, 2014.","mla":"Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” <i>PATMOS 2014</i>, 2014.","ama":"Mischkalla F, Müller W. Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. In: <i>PATMOS 2014</i>. ; 2014.","bibtex":"@inproceedings{Mischkalla_Müller_2014, place={Palma de Mallorca, Spain}, title={Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation}, booktitle={PATMOS 2014}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }"},"publication":"PATMOS 2014"},{"_id":"36918","language":[{"iso":"eng"}],"publisher":"IEEE","doi":"10.1109/ICCPS.2014.6843726","user_id":"5786","status":"public","title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","year":"2014","conference":{"name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","location":"Berlin"},"author":[{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2023-01-16T11:57:22Z","place":"Berlin","date_created":"2023-01-16T11:57:08Z","type":"conference","keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"department":[{"_id":"58"}],"citation":{"apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>.","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }"},"abstract":[{"lang":"eng","text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors."}]},{"_id":"36917","language":[{"iso":"eng"}],"user_id":"5786","status":"public","title":"An Assisted Single Source Verification Metric Model Code Generation Methodology","year":"2014","conference":{"name":"Proceedings of the Electronic System Level Synthesis Conference (ESLSyn)"},"author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Defo","first_name":"Gilles Bertrand","full_name":"Defo, Gilles Bertrand"}],"date_updated":"2023-01-16T11:44:06Z","place":"San Francisco, USA","date_created":"2023-01-16T11:43:50Z","type":"conference","keyword":["System Design","Verification"],"department":[{"_id":"58"}],"citation":{"mla":"Kuznik, Christoph, et al. <i>An Assisted Single Source Verification Metric Model Code Generation Methodology</i>. 2014.","ama":"Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric Model Code Generation Methodology. In: ; 2014.","bibtex":"@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An Assisted Single Source Verification Metric Model Code Generation Methodology}, author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014} }","apa":"Kuznik, C., Müller, W., &#38; Defo, G. B. (2014). <i>An Assisted Single Source Verification Metric Model Code Generation Methodology</i>. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).","ieee":"C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” presented at the Proceedings of the Electronic System Level Synthesis Conference (ESLSyn), 2014.","chicago":"Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014.","short":"C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014."},"abstract":[{"text":"The ever-increasing complexity of heterogeneous electronic systems demand for intensified abstraction and automation efforts to improve design, verification and validation productivity, especially in earlier phases of system engineering. Within the verification activity various metrics can be applied to determine functional correctness or the overall progress. Here, a supporting verification methodology defining high-level verification planning down to the actual metric code development is essential. Moreover, an advanced assistance for the designer, such as a tooling infrastructure to automatize and accelerate the metric code implementation, is needed to minimize the influence of errorprone manual coding. In this article we present a single-source verification metric code-generation methodology for improved coverage automation. We determine (i) a suitable metric model for model-based capture of verification metrics as well as (ii) an assisted model-based processing and generation flow of the verification environment and metric skeletons. We apply our method to a SystemC case-study, in doing so, targeting metric code implementation productivity and consistency enhancement.","lang":"eng"}]},{"department":[{"_id":"58"}],"type":"conference","date_created":"2021-09-30T10:26:58Z","abstract":[{"text":"Zur Sicherstellung hoher Zuverlässigkeits- und Fehlertoleranzwerte von Schaltungen und ganzen Systemen finden vermehrt Test- und Verifikationsmethoden Anwendung die einen virtuellen Prototypen (VP) des Systems bereits frühzeitig im Entwurfsablauf einem Stresstest unterziehen. Hierbei werden speziell für die Domäne relevante Fehlerinjektoren verwendet (Digital, Mixed-Signal, Mechanik) die anhand von Fehlermodellen geeignete Testfälle erzeugen und in das System über Stimuli bzw. direkt injizieren. Jede effektive Anwendung einer Methode bedingt jedoch auch das Vorhandensein einer zugrundeliegenden Methodik. In diesem Beitrag wird die System Verification Methodology (SVM) vorgestellt werden, eine universell einsetzbare und erweiterbare Infrastruktur zur Beschreibung von Testumgebungen auf Basis der SystemC Sprache und Simulationskernels.","lang":"eng"}],"citation":{"mla":"Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>, 2014.","ama":"Kuznik C, Müller W. Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. In: <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>. ; 2014.","bibtex":"@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","apa":"Kuznik, C., &#38; Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>.","ieee":"C. Kuznik and W. Müller, “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM,” 2014.","short":"C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>, 2014."},"publication":"26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen","user_id":"5786","_id":"25166","language":[{"iso":"ger"}],"date_updated":"2023-01-16T11:46:54Z","author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"status":"public","title":"Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM","year":"2014"},{"year":"2014","status":"public","title":"Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung","author":[{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"full_name":"Defo, Bertrand Gilles","first_name":"Bertrand Gilles","last_name":"Defo"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-16T11:45:51Z","language":[{"iso":"ger"}],"_id":"25163","user_id":"5786","publication":"17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) ","citation":{"ama":"Kuznik C, Defo BG, Müller W. Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. In: <i>17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) </i>. ; 2014.","bibtex":"@inproceedings{Kuznik_Defo_Müller_2014, title={Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}, year={2014} }","mla":"Kuznik, Christoph, et al. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” <i>17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) </i>, 2014.","short":"C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.","chicago":"Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” In <i>17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) </i>, 2014.","apa":"Kuznik, C., Defo, B. G., &#38; Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. <i>17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) </i>.","ieee":"C. Kuznik, B. G. Defo, and W. Müller, “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung,” 2014."},"date_created":"2021-09-30T10:11:13Z","type":"conference","department":[{"_id":"58"}]}]