[{"abstract":[{"lang":"eng","text":"We present methods to answer two basic questions that arise when benchmarking optimization algorithms. The first one is: which algorithm is the 'best' one? and the second one: which algorithm should I use for my real world problem? Both are connected and neither is easy to answer. We present methods which can be used to analyse the raw data of a benchmark experiment and derive some insight regarding the answers to these questions. We employ the presented methods to analyse the BBOB'09 benchmark results and present some initial findings."}],"editor":[{"first_name":"C","full_name":"Blum, C","last_name":"Blum"},{"last_name":"Battiti","full_name":"Battiti, R","first_name":"R"}],"status":"public","type":"conference","publication":"Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy","language":[{"iso":"eng"}],"_id":"46406","series_title":"Lecture Notes in Computer Science","user_id":"15504","department":[{"_id":"34"},{"_id":"819"}],"year":"2010","citation":{"chicago":"Mersmann, O, Heike Trautmann, B Naujoks, and C Weihs. “On the Distribution of EMOA Hypervolumes.” In <i>Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i>, edited by C Blum and R Battiti, 6073:333–337. Lecture Notes in Computer Science. Springer, 2010.","ieee":"O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “On the Distribution of EMOA Hypervolumes,” in <i>Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i>, 2010, vol. 6073, pp. 333–337.","bibtex":"@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, series={Lecture Notes in Computer Science}, title={On the Distribution of EMOA Hypervolumes}, volume={6073}, booktitle={Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy}, publisher={Springer}, author={Mersmann, O and Trautmann, Heike and Naujoks, B and Weihs, C}, editor={Blum, C and Battiti, R}, year={2010}, pages={333–337}, collection={Lecture Notes in Computer Science} }","mla":"Mersmann, O., et al. “On the Distribution of EMOA Hypervolumes.” <i>Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i>, edited by C Blum and R Battiti, vol. 6073, Springer, 2010, pp. 333–337.","short":"O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: C. Blum, R. Battiti (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, Springer, 2010, pp. 333–337.","ama":"Mersmann O, Trautmann H, Naujoks B, Weihs C. On the Distribution of EMOA Hypervolumes. In: Blum C, Battiti R, eds. <i>Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i>. Vol 6073. Lecture Notes in Computer Science. Springer; 2010:333–337.","apa":"Mersmann, O., Trautmann, H., Naujoks, B., &#38; Weihs, C. (2010). On the Distribution of EMOA Hypervolumes. In C. Blum &#38; R. Battiti (Eds.), <i>Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i> (Vol. 6073, pp. 333–337). Springer."},"page":"333–337","intvolume":"      6073","title":"On the Distribution of EMOA Hypervolumes","date_updated":"2023-10-16T13:55:59Z","publisher":"Springer","author":[{"first_name":"O","last_name":"Mersmann","full_name":"Mersmann, O"},{"first_name":"Heike","last_name":"Trautmann","orcid":"0000-0002-9788-8282","id":"100740","full_name":"Trautmann, Heike"},{"first_name":"B","last_name":"Naujoks","full_name":"Naujoks, B"},{"full_name":"Weihs, C","last_name":"Weihs","first_name":"C"}],"date_created":"2023-08-04T16:03:45Z","volume":6073},{"author":[{"first_name":"Olaf","last_name":"Mersmann","full_name":"Mersmann, Olaf"},{"id":"100740","full_name":"Trautmann, Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann","first_name":"Heike"},{"full_name":"Naujoks, Boris","last_name":"Naujoks","first_name":"Boris"},{"first_name":"Claus","last_name":"Weihs","full_name":"Weihs, Claus"}],"date_created":"2023-08-04T16:05:53Z","date_updated":"2023-10-16T13:56:15Z","doi":"10.1109/CEC.2010.5586241","title":"Benchmarking evolutionary multiobjective optimization algorithms","publication_identifier":{"issn":["1941-0026"]},"citation":{"apa":"Mersmann, O., Trautmann, H., Naujoks, B., &#38; Weihs, C. (2010). Benchmarking evolutionary multiobjective optimization algorithms. <i>IEEE Congress on Evolutionary Computation</i>, 1–8. <a href=\"https://doi.org/10.1109/CEC.2010.5586241\">https://doi.org/10.1109/CEC.2010.5586241</a>","bibtex":"@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, title={Benchmarking evolutionary multiobjective optimization algorithms}, DOI={<a href=\"https://doi.org/10.1109/CEC.2010.5586241\">10.1109/CEC.2010.5586241</a>}, booktitle={IEEE Congress on Evolutionary Computation}, author={Mersmann, Olaf and Trautmann, Heike and Naujoks, Boris and Weihs, Claus}, year={2010}, pages={1–8} }","short":"O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.","mla":"Mersmann, Olaf, et al. “Benchmarking Evolutionary Multiobjective Optimization Algorithms.” <i>IEEE Congress on Evolutionary Computation</i>, 2010, pp. 1–8, doi:<a href=\"https://doi.org/10.1109/CEC.2010.5586241\">10.1109/CEC.2010.5586241</a>.","chicago":"Mersmann, Olaf, Heike Trautmann, Boris Naujoks, and Claus Weihs. “Benchmarking Evolutionary Multiobjective Optimization Algorithms.” In <i>IEEE Congress on Evolutionary Computation</i>, 1–8, 2010. <a href=\"https://doi.org/10.1109/CEC.2010.5586241\">https://doi.org/10.1109/CEC.2010.5586241</a>.","ieee":"O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “Benchmarking evolutionary multiobjective optimization algorithms,” in <i>IEEE Congress on Evolutionary Computation</i>, 2010, pp. 1–8, doi: <a href=\"https://doi.org/10.1109/CEC.2010.5586241\">10.1109/CEC.2010.5586241</a>.","ama":"Mersmann O, Trautmann H, Naujoks B, Weihs C. Benchmarking evolutionary multiobjective optimization algorithms. In: <i>IEEE Congress on Evolutionary Computation</i>. ; 2010:1-8. doi:<a href=\"https://doi.org/10.1109/CEC.2010.5586241\">10.1109/CEC.2010.5586241</a>"},"page":"1-8","year":"2010","user_id":"15504","department":[{"_id":"34"},{"_id":"819"}],"_id":"46407","language":[{"iso":"eng"}],"type":"conference","publication":"IEEE Congress on Evolutionary Computation","status":"public","abstract":[{"text":"Choosing and tuning an optimization procedure for a given class of nonlinear optimization problems is not an easy task. One way to proceed is to consider this as a tournament, where each procedure will compete in different ‘disciplines’. Here, disciplines could either be different functions, which we want to optimize, or specific performance measures of the optimization procedure. We would then be interested in the algorithm that performs best in a majority of cases or whose average performance is maximal. We will focus on evolutionary multiobjective optimization algorithms (EMOA), and will present a novel approach to the design and analysis of evolutionary multiobjective benchmark experiments based on similar work from the context of machine learning. We focus on deriving a consensus among several benchmarks over different test problems and illustrate the methodology by reanalyzing the results of the CEC 2007 EMOA competition.","lang":"eng"}]},{"date_updated":"2023-10-16T13:55:25Z","publisher":"Copyright C.O.C. Com. org. Conv.","author":[{"full_name":"Ding, J","last_name":"Ding","first_name":"J"},{"last_name":"Wessing","full_name":"Wessing, S","first_name":"S"},{"first_name":"Heike","last_name":"Trautmann","orcid":"0000-0002-9788-8282","full_name":"Trautmann, Heike","id":"100740"},{"last_name":"Mehnen","full_name":"Mehnen, J","first_name":"J"},{"last_name":"Naujoks","full_name":"Naujoks, B","first_name":"B"}],"date_created":"2023-08-04T16:01:38Z","title":"Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing","place":"Capri, Italy","year":"2010","citation":{"apa":"Ding, J., Wessing, S., Trautmann, H., Mehnen, J., &#38; Naujoks, B. (2010). Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing. In R. Teti (Ed.), <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>. Copyright C.O.C. Com. org. Conv.","mla":"Ding, J., et al. “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing.” <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>, edited by R Teti, Copyright C.O.C. Com. org. Conv., 2010.","bibtex":"@inproceedings{Ding_Wessing_Trautmann_Mehnen_Naujoks_2010, place={Capri, Italy}, title={Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing}, booktitle={Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)}, publisher={Copyright C.O.C. Com. org. Conv.}, author={Ding, J and Wessing, S and Trautmann, Heike and Mehnen, J and Naujoks, B}, editor={Teti, R}, year={2010} }","short":"J. Ding, S. Wessing, H. Trautmann, J. Mehnen, B. Naujoks, in: R. Teti (Ed.), Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), Copyright C.O.C. Com. org. Conv., Capri, Italy, 2010.","ieee":"J. Ding, S. Wessing, H. Trautmann, J. Mehnen, and B. Naujoks, “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing,” in <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>, 2010.","chicago":"Ding, J, S Wessing, Heike Trautmann, J Mehnen, and B Naujoks. “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing.” In <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>, edited by R Teti. Capri, Italy: Copyright C.O.C. Com. org. Conv., 2010.","ama":"Ding J, Wessing S, Trautmann H, Mehnen J, Naujoks B. Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing. In: Teti R, ed. <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>. Copyright C.O.C. Com. org. Conv.; 2010."},"_id":"46404","user_id":"15504","department":[{"_id":"34"},{"_id":"819"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)","editor":[{"last_name":"Teti","full_name":"Teti, R","first_name":"R"}],"status":"public"},{"status":"public","abstract":[{"lang":"eng","text":"Since many real-world optimization problems are noisy, vector optimization algorithms that can cope with noise and uncertainty are required. We propose new, robust selection strategies for evolutionary multi-objective optimization in the presence of noise. We apply new measures of uncertainty for estimating the recently introduced Pareto-dominance for uncertain and noisy environments (PDU). The first measure is the inter-quartile range of the outcomes of repeated function evaluations. The second is based on axis-aligned bounding boxes around the upper and lower quantiles of the sampled fitness values in objective space. Experiments on real and artificial problems show promising results."}],"editor":[{"first_name":"Robert","last_name":"Schaefer","full_name":"Schaefer, Robert"},{"full_name":"Cotta, Carlos","last_name":"Cotta","first_name":"Carlos"},{"last_name":"Kołodziej","full_name":"Kołodziej, Joanna","first_name":"Joanna"},{"first_name":"Günter","last_name":"Rudolph","full_name":"Rudolph, Günter"}],"publication":"Parallel Problem Solving from Nature, PPSN XI","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"34"},{"_id":"819"}],"user_id":"15504","_id":"46409","page":"260–269","citation":{"ama":"Voß T, Trautmann H, Igel C. New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization. In: Schaefer R, Cotta C, Kołodziej J, Rudolph G, eds. <i>Parallel Problem Solving from Nature, PPSN XI</i>. Springer Berlin Heidelberg; 2010:260–269. doi:<a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>","ieee":"T. Voß, H. Trautmann, and C. Igel, “New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization,” in <i>Parallel Problem Solving from Nature, PPSN XI</i>, 2010, pp. 260–269, doi: <a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>.","chicago":"Voß, Thomas, Heike Trautmann, and Christian Igel. “New Uncertainty Handling Strategies in Multi-Objective Evolutionary Optimization.” In <i>Parallel Problem Solving from Nature, PPSN XI</i>, edited by Robert Schaefer, Carlos Cotta, Joanna Kołodziej, and Günter Rudolph, 260–269. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>.","apa":"Voß, T., Trautmann, H., &#38; Igel, C. (2010). New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization. In R. Schaefer, C. Cotta, J. Kołodziej, &#38; G. Rudolph (Eds.), <i>Parallel Problem Solving from Nature, PPSN XI</i> (pp. 260–269). Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>","short":"T. Voß, H. Trautmann, C. Igel, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 260–269.","mla":"Voß, Thomas, et al. “New Uncertainty Handling Strategies in Multi-Objective Evolutionary Optimization.” <i>Parallel Problem Solving from Nature, PPSN XI</i>, edited by Robert Schaefer et al., Springer Berlin Heidelberg, 2010, pp. 260–269, doi:<a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>.","bibtex":"@inproceedings{Voß_Trautmann_Igel_2010, place={Berlin, Heidelberg}, title={New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15871-1_27\">https://doi.org/10.1007/978-3-642-15871-1_27</a>}, booktitle={Parallel Problem Solving from Nature, PPSN XI}, publisher={Springer Berlin Heidelberg}, author={Voß, Thomas and Trautmann, Heike and Igel, Christian}, editor={Schaefer, Robert and Cotta, Carlos and Kołodziej, Joanna and Rudolph, Günter}, year={2010}, pages={260–269} }"},"place":"Berlin, Heidelberg","year":"2010","publication_identifier":{"isbn":["978-3-642-15871-1"]},"doi":"https://doi.org/10.1007/978-3-642-15871-1_27","title":"New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization","author":[{"full_name":"Voß, Thomas","last_name":"Voß","first_name":"Thomas"},{"first_name":"Heike","id":"100740","full_name":"Trautmann, Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann"},{"last_name":"Igel","full_name":"Igel, Christian","first_name":"Christian"}],"date_created":"2023-08-04T16:07:48Z","date_updated":"2023-10-16T13:56:48Z","publisher":"Springer Berlin Heidelberg"},{"publication":"IEEE Transactions on Evolutionary Computation","type":"journal_article","status":"public","abstract":[{"text":"In this paper, a concept for efficiently approximating the practically relevant regions of the Pareto front (PF) is introduced. Instead of the original objectives, desirability functions (DFs) of the objectives are optimized, which express the preferences of the decision maker. The original problem formulation and the optimization algorithm do not have to be modified. DFs map an objective to the domain [0, 1] and nonlinearly increase with better objective quality. By means of this mapping, values of different objectives and units become comparable. A biased distribution of the solutions in the PF approximation based on different scalings of the objectives is prevented. Thus, we propose the integration of DFs into the S-metric selection evolutionary multiobjective algorithm. The transformation ensures the meaning of the hypervolumes internally computed. Furthermore, it is shown that the reference point for the hypervolume calculation can be set intuitively. The approach is analyzed using standard test problems. Moreover, a practical validation by means of the optimization of a turning process is performed.","lang":"eng"}],"department":[{"_id":"34"},{"_id":"819"}],"user_id":"15504","_id":"46412","language":[{"iso":"eng"}],"issue":"5","publication_identifier":{"issn":["1941-0026"]},"intvolume":"        14","page":"688-701","citation":{"ama":"Wagner T, Trautmann H. Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions. <i>IEEE Transactions on Evolutionary Computation</i>. 2010;14(5):688-701. doi:<a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">10.1109/TEVC.2010.2058119</a>","ieee":"T. Wagner and H. Trautmann, “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions,” <i>IEEE Transactions on Evolutionary Computation</i>, vol. 14, no. 5, pp. 688–701, 2010, doi: <a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">10.1109/TEVC.2010.2058119</a>.","chicago":"Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions.” <i>IEEE Transactions on Evolutionary Computation</i> 14, no. 5 (2010): 688–701. <a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">https://doi.org/10.1109/TEVC.2010.2058119</a>.","bibtex":"@article{Wagner_Trautmann_2010, title={Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions}, volume={14}, DOI={<a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">10.1109/TEVC.2010.2058119</a>}, number={5}, journal={IEEE Transactions on Evolutionary Computation}, author={Wagner, Tobias and Trautmann, Heike}, year={2010}, pages={688–701} }","short":"T. Wagner, H. Trautmann, IEEE Transactions on Evolutionary Computation 14 (2010) 688–701.","mla":"Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions.” <i>IEEE Transactions on Evolutionary Computation</i>, vol. 14, no. 5, 2010, pp. 688–701, doi:<a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">10.1109/TEVC.2010.2058119</a>.","apa":"Wagner, T., &#38; Trautmann, H. (2010). Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions. <i>IEEE Transactions on Evolutionary Computation</i>, <i>14</i>(5), 688–701. <a href=\"https://doi.org/10.1109/TEVC.2010.2058119\">https://doi.org/10.1109/TEVC.2010.2058119</a>"},"year":"2010","volume":14,"date_created":"2023-08-04T16:10:02Z","author":[{"first_name":"Tobias","last_name":"Wagner","full_name":"Wagner, Tobias"},{"first_name":"Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann","full_name":"Trautmann, Heike","id":"100740"}],"date_updated":"2023-10-16T13:57:41Z","doi":"10.1109/TEVC.2010.2058119","title":"Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions"},{"publication":"CIRP Journal of Manufacturing Science and Technology","type":"journal_article","status":"public","abstract":[{"text":"The paper presents a framework to optimise the design of work roll based on the cooling performance. The framework develops meta-models from a set of finite element analyses (FEA) of the roll cooling. A design of experiment technique is used to identify the FEA runs. The research also identifies sources of uncertainties in the design process. A robust evolutionary multi-objective evaluation technique is applied to the design optimisation in constrained problems with real life uncertainty. The approach handles uncertainties associated both with design variables and fitness functions. Constraints violation within the neighbourhood of a design is considered as part of a measurement for degree of feasibility and robustness of a solution.","lang":"eng"}],"department":[{"_id":"34"},{"_id":"819"}],"user_id":"15504","_id":"46411","language":[{"iso":"eng"}],"keyword":["Roll cooling design","Uncertainty","Design optimisation","Multi-objective optimisation","Constraint in design"],"issue":"4","publication_identifier":{"issn":["1755-5817"]},"page":"290-298","intvolume":"         2","citation":{"bibtex":"@article{Azene_Roy_Farrugia_Onisa_Mehnen_Trautmann_2010, title={Work roll cooling system design optimisation in presence of uncertainty and constrains}, volume={2}, DOI={<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>}, number={4}, journal={CIRP Journal of Manufacturing Science and Technology}, author={Azene, Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann, Heike}, year={2010}, pages={290–298} }","short":"Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.","mla":"Azene, Y. T., et al. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.” <i>CIRP Journal of Manufacturing Science and Technology</i>, vol. 2, no. 4, 2010, pp. 290–98, doi:<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.","ama":"Azene YT, Roy R, Farrugia D, Onisa C, Mehnen J, Trautmann H. Work roll cooling system design optimisation in presence of uncertainty and constrains. <i>CIRP Journal of Manufacturing Science and Technology</i>. 2010;2(4):290-298. doi:<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>","apa":"Azene, Y. T., Roy, R., Farrugia, D., Onisa, C., Mehnen, J., &#38; Trautmann, H. (2010). Work roll cooling system design optimisation in presence of uncertainty and constrains. <i>CIRP Journal of Manufacturing Science and Technology</i>, <i>2</i>(4), 290–298. <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>","ieee":"Y. T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and H. Trautmann, “Work roll cooling system design optimisation in presence of uncertainty and constrains,” <i>CIRP Journal of Manufacturing Science and Technology</i>, vol. 2, no. 4, pp. 290–298, 2010, doi: <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.","chicago":"Azene, Y.T., R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and Heike Trautmann. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.” <i>CIRP Journal of Manufacturing Science and Technology</i> 2, no. 4 (2010): 290–98. <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>."},"year":"2010","volume":2,"date_created":"2023-08-04T16:09:19Z","author":[{"first_name":"Y.T.","last_name":"Azene","full_name":"Azene, Y.T."},{"first_name":"R.","last_name":"Roy","full_name":"Roy, R."},{"first_name":"D.","full_name":"Farrugia, D.","last_name":"Farrugia"},{"full_name":"Onisa, C.","last_name":"Onisa","first_name":"C."},{"last_name":"Mehnen","full_name":"Mehnen, J.","first_name":"J."},{"orcid":"0000-0002-9788-8282","last_name":"Trautmann","id":"100740","full_name":"Trautmann, Heike","first_name":"Heike"}],"date_updated":"2023-10-16T13:57:23Z","doi":"https://doi.org/10.1016/j.cirpj.2010.06.001","title":"Work roll cooling system design optimisation in presence of uncertainty and constrains"},{"doi":"10.1109/CEC.2010.5586474","title":"Online convergence detection for evolutionary multi-objective algorithms revisited","date_created":"2023-08-04T16:08:41Z","author":[{"first_name":"Tobias","full_name":"Wagner, Tobias","last_name":"Wagner"},{"full_name":"Trautmann, Heike","id":"100740","orcid":"0000-0002-9788-8282","last_name":"Trautmann","first_name":"Heike"}],"date_updated":"2023-10-16T13:57:05Z","citation":{"short":"T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.","mla":"Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for Evolutionary Multi-Objective Algorithms Revisited.” <i>IEEE Congress on Evolutionary Computation</i>, 2010, pp. 1–8, doi:<a href=\"https://doi.org/10.1109/CEC.2010.5586474\">10.1109/CEC.2010.5586474</a>.","bibtex":"@inproceedings{Wagner_Trautmann_2010, title={Online convergence detection for evolutionary multi-objective algorithms revisited}, DOI={<a href=\"https://doi.org/10.1109/CEC.2010.5586474\">10.1109/CEC.2010.5586474</a>}, booktitle={IEEE Congress on Evolutionary Computation}, author={Wagner, Tobias and Trautmann, Heike}, year={2010}, pages={1–8} }","apa":"Wagner, T., &#38; Trautmann, H. (2010). Online convergence detection for evolutionary multi-objective algorithms revisited. <i>IEEE Congress on Evolutionary Computation</i>, 1–8. <a href=\"https://doi.org/10.1109/CEC.2010.5586474\">https://doi.org/10.1109/CEC.2010.5586474</a>","chicago":"Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for Evolutionary Multi-Objective Algorithms Revisited.” In <i>IEEE Congress on Evolutionary Computation</i>, 1–8, 2010. <a href=\"https://doi.org/10.1109/CEC.2010.5586474\">https://doi.org/10.1109/CEC.2010.5586474</a>.","ieee":"T. Wagner and H. Trautmann, “Online convergence detection for evolutionary multi-objective algorithms revisited,” in <i>IEEE Congress on Evolutionary Computation</i>, 2010, pp. 1–8, doi: <a href=\"https://doi.org/10.1109/CEC.2010.5586474\">10.1109/CEC.2010.5586474</a>.","ama":"Wagner T, Trautmann H. Online convergence detection for evolutionary multi-objective algorithms revisited. In: <i>IEEE Congress on Evolutionary Computation</i>. ; 2010:1-8. doi:<a href=\"https://doi.org/10.1109/CEC.2010.5586474\">10.1109/CEC.2010.5586474</a>"},"page":"1-8","year":"2010","publication_identifier":{"issn":["1941-0026"]},"language":[{"iso":"eng"}],"user_id":"15504","department":[{"_id":"34"},{"_id":"819"}],"_id":"46410","status":"public","abstract":[{"lang":"eng","text":"The design and application of termination criteria has become an important aspect in evolutionary multi-objective optimization. Online convergence detection (OCD) determines when further generations are no longer promising based on statistical tests on a set of performance indicators. The behavior of OCD mainly depends on two parameters, the number of preceding generations considered in the statistical tests and the desired variance limit. In this paper, guidelines for selecting appropriate combinations of these parameters are empirically derived based on design-of-experiment methods. Furthermore, a variant of OCD is introduced which directly operates on the hypervolume indicator - the internal measure of the SMS-EMOA. This allows a separated analysis of the variance criterion and reduces the complexity of OCD. Based on the experimental design, a systematic comparison with the classical OCD approach is performed and differences between the appropriate parameterizations of both variants are highlighted."}],"type":"conference","publication":"IEEE Congress on Evolutionary Computation"},{"author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"last_name":"He","full_name":"He, Da","first_name":"Da"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-17T09:12:35Z","date_updated":"2023-01-17T09:12:44Z","publisher":"IEEE","doi":"10.1109/DATE.2010.5456990","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"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>","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>.","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} }","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>.","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","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>"},"place":"Dresden","year":"2010","department":[{"_id":"672"}],"user_id":"5786","_id":"37007","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"publication":"Proceedings of DATE’10","type":"conference","status":"public","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"}]},{"_id":"37009","user_id":"5786","department":[{"_id":"672"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of DATE’10","abstract":[{"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.","lang":"eng"}],"status":"public","publisher":"IEEE","date_updated":"2023-01-17T09:15:18Z","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"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:15:10Z","title":"Assertion-Based Verification of RTOS Properties","doi":"10.1109/DATE.2010.5457130","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"place":"Dresden","year":"2010","citation":{"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>","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.","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>","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>."}},{"doi":"10.1109/DATE.2010.5457125","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study","author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"full_name":"Thuy, Andre","last_name":"Thuy","first_name":"Andre"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-17T09:19:36Z","publisher":"IEEE","date_updated":"2023-01-17T09:19:46Z","citation":{"chicago":"Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>.","ieee":"K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” 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.5457125\">10.1109/DATE.2010.5457125</a>.","ama":"Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10, Dresden</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>","mla":"Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","bibtex":"@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }","short":"K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.","apa":"Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>"},"year":"2010","place":"Dresden","language":[{"iso":"eng"}],"keyword":["Timing","Programming","Automotive engineering","Application software","Hardware","Computer architecture","Communication system software","Software architecture","Delay","Software standards"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37011","status":"public","abstract":[{"text":"Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study.","lang":"eng"}],"type":"conference","publication":"Proceedings of DATE’10, Dresden"},{"title":"A Systematic Approach to Combined HW/SW System Test","doi":"10.1109/DATE.2010.5457186","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"publisher":"IEEE","date_updated":"2023-01-17T10:41:25Z","date_created":"2023-01-17T10:41:15Z","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"2010","place":"Dresden","citation":{"short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }","apa":"Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. <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.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>","ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>","chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>.","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” 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.5457186\">10.1109/DATE.2010.5457186</a>."},"keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"language":[{"iso":"eng"}],"_id":"37037","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of DATE’10"},{"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>.","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>.","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>","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>","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","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>.","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} }"},"year":"2010","place":"Dresden","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456965","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","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"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Pravadelli","full_name":"Pravadelli, Graziano","first_name":"Graziano"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"}],"date_created":"2023-01-17T10:47:29Z","date_updated":"2023-01-17T10:47:37Z","publisher":"IEEE","status":"public","abstract":[{"lang":"eng","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."}],"type":"conference","publication":"Proceedings of DATE’10","language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37040"},{"_id":"37046","user_id":"5786","department":[{"_id":"672"}],"keyword":["Application Programming Interface     User Mode     Kernel Space     System Level Design     Mixed Level"],"language":[{"iso":"eng"}],"type":"conference","abstract":[{"lang":"eng","text":"In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately migrated between the native execution and the ISS. By adapting the dynamic binary translation approach to an efficient but yet very accurate synchronization scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU."}],"editor":[{"last_name":"Kleinjohann","full_name":"Kleinjohann, L.","first_name":"L."},{"first_name":"B.","last_name":"Kleinjohann","full_name":"Kleinjohann, B."}],"status":"public","publisher":"Springer Verlag","date_updated":"2023-01-17T11:03:00Z","date_created":"2023-01-17T11:01:30Z","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"title":"A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement","doi":"10.1007/978-3-642-15234-4_15","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"publication_identifier":{"isbn":["978-3-642-15233-7"]},"year":"2010","place":"Dordrecht","citation":{"ama":"Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>","chicago":"Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>.","ieee":"M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","bibtex":"@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","mla":"Becker, Markus, et al. <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","short":"M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","apa":"Becker, M., Zabel, H., &#38; Müller, W. (2010). <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>"}},{"publication_identifier":{"isbn":["978-3-642-15233-7"]},"place":"Dordrecht","year":"2010","citation":{"ama":"Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">10.1007/978-3-642-15234-4_7</a>","ieee":"K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">10.1007/978-3-642-15234-4_7</a>.","chicago":"Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">https://doi.org/10.1007/978-3-642-15234-4_7</a>.","bibtex":"@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht}, title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">10.1007/978-3-642-15234-4_7</a>}, publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel, Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","mla":"Klobedanz, Kay, et al. <i>Task Migration for Fault-Tolerant FlexRay Networks</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">10.1007/978-3-642-15234-4_7</a>.","short":"K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","apa":"Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., &#38; Zhi, Y. (2010). <i>Task Migration for Fault-Tolerant FlexRay Networks</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_7\">https://doi.org/10.1007/978-3-642-15234-4_7</a>"},"publisher":"Springer Verlag","date_updated":"2023-01-17T11:00:00Z","date_created":"2023-01-17T10:59:52Z","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"first_name":"Gilles B.","last_name":"Defo","full_name":"Defo, Gilles B."},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Zhi, Yuan","last_name":"Zhi","first_name":"Yuan"}],"title":"Task Migration for Fault-Tolerant FlexRay Networks","doi":"10.1007/978-3-642-15234-4_7","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"type":"conference","abstract":[{"text":"In this paper we present new concepts to resolve ECU (Electronic Control Unit) failures in FlexRay networks. Our approach extends the FlexRay bus schedule by redundant slots with modifications in the communication and slot assignment. We introduce additional backup nodes to replace faulty nodes. To reduce the required memory resources of the backup nodes, we distribute redundant tasks over different nodes and propose the migration of tasks to the backup node at runtime. We investigate different solutions to migrate the redundant tasks to the backup node by time-triggered and event-triggered transmissions.","lang":"eng"}],"editor":[{"first_name":"L.","last_name":"Kleinjohann","full_name":"Kleinjohann, L."},{"first_name":"B.","last_name":"Kleinjohann","full_name":"Kleinjohann, B."}],"status":"public","_id":"37044","user_id":"5786","department":[{"_id":"672"}],"keyword":["Faulty Node     Static Segment     Slot Assignment     Task Migration     Communication Controller"],"language":[{"iso":"eng"}]},{"place":"Dresden","year":"2010","citation":{"ama":"Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: <i>Proceedings of the M-BED Workshop</i>. ; 2010.","chicago":"Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In <i>Proceedings of the M-BED Workshop</i>. Dresden, 2010.","ieee":"F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010.","apa":"Mischkalla, F., Müller, W., &#38; He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. <i>Proceedings of the M-BED Workshop</i>.","short":"F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.","mla":"Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” <i>Proceedings of the M-BED Workshop</i>, 2010.","bibtex":"@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }"},"date_updated":"2023-01-17T10:50:10Z","author":[{"last_name":"Mischkalla","full_name":"Mischkalla, Fabian","first_name":"Fabian"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"He, Da","last_name":"He","first_name":"Da"}],"date_created":"2023-01-17T10:50:01Z","title":"A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis","type":"conference","publication":"Proceedings of the M-BED Workshop","abstract":[{"lang":"eng","text":"It's wide application in the area of software engineering, UML is still not fully accepted for other engineering domains like for electronic systems design. The main obstacle is due to a major gap in the design flow between UML-based modeling and verification. To overcome this gap, we introduce a UML profile for synthesizable SystemC and C and present its implementation in the context of the advanced SysML modeling environment of ARTiSAN Studio. We demonstrate how to customize Studio for SystemC/C comodeling so that it can serve as a verification and synthesis front-end."}],"status":"public","_id":"37042","user_id":"5786","department":[{"_id":"672"}],"language":[{"iso":"eng"}]},{"author":[{"full_name":"Bol, Alexander","last_name":"Bol","first_name":"Alexander"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"}],"date_created":"2023-01-17T10:55:18Z","date_updated":"2023-01-17T10:55:24Z","title":"Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen","citation":{"bibtex":"@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }","mla":"Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>, 2010.","short":"A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.","apa":"Bol, A., Müller, W., &#38; Krupp, A. (2010). Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>.","ama":"Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>. ; 2010.","ieee":"A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.","chicago":"Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>. Dresden, 2010."},"year":"2010","place":"Dresden","user_id":"5786","department":[{"_id":"672"}],"_id":"37043","language":[{"iso":"eng"}],"type":"conference","publication":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","status":"public"},{"publication_identifier":{"eisbn":["978-94-007-1488-5"]},"year":"2010","citation":{"short":"W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.","bibtex":"@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={<a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">10.1007/978-94-007-1488-5_9</a>}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }","mla":"Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>, 2010, doi:<a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">10.1007/978-94-007-1488-5_9</a>.","apa":"Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., &#38; Carballeda, M. (2010). The SATURN Approach to SysML-based HW/SW Codesign. <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>. <a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">https://doi.org/10.1007/978-94-007-1488-5_9</a>","ieee":"W. Müller <i>et al.</i>, “The SATURN Approach to SysML-based HW/SW Codesign,” 2010, doi: <a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">10.1007/978-94-007-1488-5_9</a>.","chicago":"Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>. Lecture Notes in Electrical Engineering, 2010. <a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">https://doi.org/10.1007/978-94-007-1488-5_9</a>.","ama":"Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>. Lecture Notes in Electrical Engineering. ; 2010. doi:<a href=\"https://doi.org/10.1007/978-94-007-1488-5_9\">10.1007/978-94-007-1488-5_9</a>"},"date_updated":"2023-01-17T11:19:53Z","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"He, Da","last_name":"He","first_name":"Da"},{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"last_name":"Wegele","full_name":"Wegele, Arthur","first_name":"Arthur"},{"full_name":"Larkham, Adrian","last_name":"Larkham","first_name":"Adrian"},{"full_name":"Whiston, Paul","last_name":"Whiston","first_name":"Paul"},{"first_name":"Pablo","full_name":"Penil, Pablo","last_name":"Penil"},{"last_name":"Villar","full_name":"Villar, Eugenio","first_name":"Eugenio"},{"full_name":"Mitas, Nikolaos","last_name":"Mitas","first_name":"Nikolaos"},{"first_name":"Dimitros","full_name":"Kritharidis, Dimitros","last_name":"Kritharidis"},{"full_name":"Azcarate, Florent","last_name":"Azcarate","first_name":"Florent"},{"first_name":"Manuel","last_name":"Carballeda","full_name":"Carballeda, Manuel"}],"date_created":"2023-01-17T11:19:45Z","title":"The SATURN Approach to SysML-based HW/SW Codesign","doi":"10.1007/978-94-007-1488-5_9","publication":"Proceedings of the IEEE Computer Society Annual Symposium on VLSI","type":"conference","abstract":[{"text":"The main obstacle for the wide acceptance of UML and SysML in the design of electronic systems is due to a major gap in the design flow between UML-based modeling and SystemC-based verification. To overcome this gap, we present an approach developed in the SATURN project which introduces UML profiles for the co-modeling of SystemC and C with code generation support in the context of the SysML tool suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two case studies.","lang":"eng"}],"status":"public","_id":"37050","department":[{"_id":"672"}],"series_title":"Lecture Notes in Electrical Engineering","user_id":"5786","keyword":["Communicate Sequential Process     Virtual Platform     Smart Camera     Synchronous Data Flow     Artisan Studio"],"language":[{"iso":"eng"}]},{"publication_identifier":{"isbn":["978-3-642-15233-7"]},"citation":{"ama":"Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>","chicago":"Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>.","ieee":"W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>.","mla":"Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>.","short":"W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","bibtex":"@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","apa":"Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>"},"year":"2010","place":"Dordrecht","date_created":"2023-01-17T11:09:48Z","author":[{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Bol","full_name":"Bol, Alexander","first_name":"Alexander"},{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"first_name":"Ola","last_name":"Lundkvist","full_name":"Lundkvist, Ola"}],"publisher":"Springer Verlag","date_updated":"2023-01-17T11:09:54Z","doi":"10.1007/978-3-642-15234-4_9","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"title":"Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems","type":"conference","status":"public","editor":[{"first_name":"L.","last_name":"Kleinjohann","full_name":"Kleinjohann, L."},{"first_name":"B.","last_name":"Kleinjohann","full_name":"Kleinjohann, B."}],"abstract":[{"lang":"eng","text":"We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"37048","language":[{"iso":"eng"}],"keyword":["Natural Language     UML     SystemVerilog     Testbenches"]},{"language":[{"iso":"eng"}],"_id":"37049","department":[{"_id":"672"}],"user_id":"5786","editor":[{"first_name":"L.","last_name":"Kleinjohann","full_name":"Kleinjohann, L."},{"first_name":"B.","last_name":"Kleinjohann","full_name":"Kleinjohann, B."}],"status":"public","type":"conference","title":"Mutation-Analysis Directed Constrained Random Verification","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"date_updated":"2023-01-17T11:12:52Z","publisher":"Springer Verlag","date_created":"2023-01-17T11:11:51Z","author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Florian","last_name":"Letombe","full_name":"Letombe, Florian"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"place":"Dordrecht","year":"2010","citation":{"ieee":"T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.","chicago":"Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.","ama":"Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.","apa":"Xie, T., Letombe, F., &#38; Müller, W. (2010). <i>Mutation-Analysis Directed Constrained Random Verification</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag.","short":"T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","mla":"Xie, Tao, et al. <i>Mutation-Analysis Directed Constrained Random Verification</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.","bibtex":"@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }"}},{"type":"conference","status":"public","_id":"37051","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}],"year":"2010","place":"Paris","citation":{"ama":"Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: ; 2010.","ieee":"T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, 2010.","chicago":"Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.","apa":"Xie, T., Defo, G. B., &#38; Müller, W. (2010). <i>An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs</i>. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris.","bibtex":"@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }","mla":"Xie, Tao, et al. <i>An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs</i>. 2010.","short":"T. Xie, G.B. Defo, W. Müller, in: Paris, 2010."},"date_updated":"2023-01-17T11:22:16Z","date_created":"2023-01-17T11:22:10Z","author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Gilles B.","full_name":"Defo, Gilles B.","last_name":"Defo"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"title":"An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs","conference":{"name":"First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010)","location":"Paris"}}]