[{"citation":{"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.","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.","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.","short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <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} }","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."},"year":"2010","publication_identifier":{"eisbn":["978-1-4244-7806-4"]},"conference":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Anaheim, FL, USA"},"title":"Verification of Real-Time Properties for Hardware-Dependant Software","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"Marcio F.","last_name":"da S. Oliveira","full_name":"da S. Oliveira, Marcio F."},{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"}],"date_created":"2023-01-17T11:28:26Z","publisher":"IEEE","date_updated":"2023-01-17T11:28:30Z","status":"public","abstract":[{"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.","lang":"eng"}],"type":"conference","publication":"Proceedings of HLDVT2010","language":[{"iso":"eng"}],"keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37053"},{"citation":{"short":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.","bibtex":"@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik}, title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }","mla":"Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” <i>Proceedings of the Design 2004</i>, 2004.","apa":"Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., &#38; Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. <i>Proceedings of the Design 2004</i>. 8th International Design Conference , Dubrovnik.","chicago":"Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R.  Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In <i>Proceedings of the Design 2004</i>. Dubrovnik, 2004.","ieee":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski, “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the 8th International Design Conference , Dubrovnik, 2004.","ama":"Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: <i>Proceedings of the Design 2004</i>. ; 2004."},"place":"Dubrovnik","year":"2004","date_created":"2023-01-24T09:12:31Z","author":[{"full_name":"Gausemeier, Jürgen","id":"163","last_name":"Gausemeier","first_name":"Jürgen"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Volker","last_name":"Paelke","full_name":"Paelke, Volker"},{"full_name":"Bauch, Jürgen","last_name":"Bauch","first_name":"Jürgen"},{"full_name":"Shen, Q.","last_name":"Shen","first_name":"Q."},{"first_name":"R. ","full_name":"Radkowski, R. ","last_name":"Radkowski"}],"date_updated":"2023-01-24T09:12:40Z","conference":{"name":"8th International Design Conference ","location":"Dubrovnik"},"title":"Virtual Prototyping Of Self-Optimizing Mechatronic Systems","publication":"Proceedings of the Design 2004","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"5786","_id":"39078","language":[{"iso":"eng"}],"keyword":["mechatronic systems","self-optimization","virtual prototyping"]},{"status":"public","abstract":[{"lang":"eng","text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system."}],"publication":"Proceedings of IEEE KMN 2001","type":"conference","language":[{"iso":"eng"}],"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39411","citation":{"apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>."},"place":"Cambridge, MA, USA ","year":"2001","publication_identifier":{"isbn":["0-7695-1269-0"]},"conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"doi":"10.1109/ENABL.2001.953425","title":"Customer-Oriented Systems Design through Virtual Prototyps","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"}],"date_created":"2023-01-24T10:30:14Z","date_updated":"2023-01-24T10:30:21Z"}]