[{"keyword":["model-driven performance engineering","self-*","Self-adaptation","software performance"],"_id":"22737","user_id":"4870","status":"public","type":"conference","publication":"{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}","title":"Model-driven Performance Engineering of Self-adaptive Systems: A Survey","doi":"10.1145/2304696.2304716","date_updated":"2022-01-06T06:55:39Z","publisher":"ACM","author":[{"full_name":"Becker, Matthias","last_name":"Becker","first_name":"Matthias"},{"last_name":"Luckey","full_name":"Luckey, Markus","first_name":"Markus"},{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"}],"date_created":"2021-07-15T08:38:08Z","year":"2012","place":"New York, NY, USA","citation":{"chicago":"Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” In <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, 117–22. New York, NY, USA: ACM, 2012. <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>.","ieee":"M. Becker, M. Luckey, and S. Becker, “Model-driven Performance Engineering of Self-adaptive Systems: A Survey,” in <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, 2012, pp. 117–122.","ama":"Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In: <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>. New York, NY, USA: ACM; 2012:117-122. doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>","apa":"Becker, M., Luckey, M., &#38; Becker, S. (2012). Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i> (pp. 117–122). New York, NY, USA: ACM. <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>","mla":"Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, ACM, 2012, pp. 117–22, doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>.","bibtex":"@inproceedings{Becker_Luckey_Becker_2012, place={New York, NY, USA}, title={Model-driven Performance Engineering of Self-adaptive Systems: A Survey}, DOI={<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>}, booktitle={{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}}, publisher={ACM}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }","short":"M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122."},"page":"117-122","publication_identifier":{"isbn":["978-1-4503-1346-9"]}},{"publication":"Proceedings of DATE’10","type":"conference","status":"public","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."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"37009","language":[{"iso":"eng"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"citation":{"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>.","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>.","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>","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} }","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","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>"},"year":"2010","place":"Dresden","date_created":"2023-01-17T09:15:10Z","author":[{"last_name":"Oliveira","full_name":"Oliveira, Marcio F. S.","first_name":"Marcio F. S."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"publisher":"IEEE","date_updated":"2023-01-17T09:15:18Z","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5457130","title":"Assertion-Based Verification of RTOS Properties"}]