{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:12:33Z","timestamp":1743052353045,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319480022"},{"type":"electronic","value":"9783319480039"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_9","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"145-168","source":"Crossref","is-referenced-by-count":0,"title":["Optimal Deployment"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Albers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"B\u00fcker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Dieudonn\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Hilbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgeta","family":"Igna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kugele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kuhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maike","family":"Rosinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"9_CR1","unstructured":"[Barret et al. 2009] C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli: Satisfiability Modulo Theories. In: Handbook of Satisfiability, lOS Press, 2009, pp. 825-885."},{"key":"9_CR2","unstructured":"[Barret et al. 2010] C. Barrett, A. Stump, C. Tinelli: The SMT-LIB Standard: Version 2.0. In: Technical Report, Department of Computer Science, The University of Iowa, 2010."},{"key":"9_CR3","unstructured":"[B\u00fcker et al. 2011] M. B\u00fcker, W. Damm, G. Ehmen, A. Metzner, E. Thaden, and I. Stierand: Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, Too. In Proceedings of the International Symposium on Industrial Embedded Systems (SIES), 2011, pp. 156-165."},{"key":"9_CR4","unstructured":"[B\u00fcker et al. 2013] M. B\u00fcker, W. Damm, G. Ehmen, S. Henkler, D. Janssen, I. Stierand, and E. Thaden: From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach. SAE International Journal of Passenger Cars- Electronic and Electrical Systems, 2013, pp. 194-212."},{"key":"9_CR5","unstructured":"[Chapman 2006] R. Chapman: Correctness by construction: a manifesto for high integrity software. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, Vol. 55, 2006, pp. 43\u201346."},{"key":"9_CR6","unstructured":"[de Moura and Bj\u00f8rner 2008] L. de Moura and N. Bj\u00f8rner: Z3: An Efficient SMT Solver. TACAS, LNCS. Springer, Berlin Heidelberg, Vol. 4963, No. 24, 2008, pp. 337\u2013340."},{"key":"9_CR7","unstructured":"[Diebold et al. 2014] P. Diebold, C. Lampasona, S. Zverlov, S. Voss: Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A Survey. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, ACM, New York, 2014."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"[Eisenring et al. 2000] M. Eisenring, L. Thiele, E. Zitzler: Conflicting Criteria in Embedded System Design. In: Design & Test of Computers, Vol. 17, No. 2, 2000, pp. 51-59.","DOI":"10.1109\/54.844334"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"[Hall and Chapman 2002] A. Hall and R. Chapman: Correctness by construction: developing a commercial secure system. Software IEEE, Vol. 19, No. 1, 2002, pp. 18\u201325.","DOI":"10.1109\/52.976937"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"[Hamann et al. 2006] A. Hamann, M. Jersak, K. Richter, R. Ernst: A Framework for Modular Analysis and Exploration of Heterogeneous, Embedded Systems. Real\u00adTime Systems, Vol. 33, No. 1-3, 2006, pp. 101-137.","DOI":"10.1007\/s11241-006-6884-x"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"[Hilbrich and Dieudonn\u00e9 2013] R. Hilbrich, L. Dieudonn\u00e9: Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures. Journal of Software Engineering & Applications, Vol. 6, No. 5, 2013.","DOI":"10.4236\/jsea.2013.65028"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"[Hofstedt and Wolf 2007] P. Hofstedt, A. Wolf: Einf\u00fchrung in die Constraint\u00adProgrammierung Grundlagen, Methoden, Sprachen, Anwendungen. Springer, Berlin Heidelberg, 2007.","DOI":"10.1007\/978-3-540-68194-6"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"[Kirkpatrick et al. 1983] S. Kirkpatrick, C. D. Gelatt Jr., M. P. Vecchi: Optimization by Simulated Annealing. Science, Vol. 220, No. 4598, 1983, pp. 671-680.","DOI":"10.1126\/science.220.4598.671"},{"key":"9_CR14","unstructured":"[Kondeva et al. 2013] A. Kondeva, D. Ratiu, B. Schatz, S. Voss: Seamless model\u00adbased development of embedded systems with AF3 Phoenix. ECBS, IEEE, 2013, pp. 212."},{"key":"9_CR15","unstructured":"[Kugele and Pucea 2014] S. Kugele, G. Pucea: Model-Based Optimization of Automotive E\/E Architectures. In: 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, pp. 18-29."},{"key":"9_CR16","unstructured":"[Rosinger et al. 201] M. Rosinger, M.B\u00fcker, R. Weber: A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration. In: Proceedings of IDEAL' 14 Workshop, IFIP Springer Series, Springer, Berlin Heidelberg, 2014."},{"key":"9_CR17","unstructured":"[Rosinger et al. 2015] M. Rosinger, M. B\u00fcker, R. Weber: An Approach to Guide the System Engineer during the Design Space Exploration Process. In: W. Zimmermann, W. B\u00f6hm, C. Grelck, R. Heinrich, R. Jung, M. Konersmann, A. Schlaefer, E. Schmieders, S. Schupp, B. T. Widemann, T. Weyer (Eds.): Software Engineering Workshops 2015 (SE-WS 2015) - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Vol. 1337, CEUR-WS.org, 2015, pp. 81-90."},{"key":"9_CR18","unstructured":"[Thaden 2013] E. Thaden: Semi-Automatic Optimization of Hardware Architectures in Embedded Systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2013."},{"key":"9_CR19","unstructured":"[Weber et al. 2014] R. Weber, S. Henkler, A. Rettberg: Multi-Objective Design Space Exploration for Cyber-Physical Systems Satisfying Hard Real-Time and Reliability Constraints. In: Proceedings of IDEAl.' 14 Workshop, IFIP Springer Series, Springer, Berlin Heidelberg, 2014."},{"key":"9_CR20","unstructured":"[Wolf 2006] A. Wolf: Object-Oriented Constraint Programming in Java Using the Library firstCS. WLP, 2006, pp. 21\u201332."}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T00:21:28Z","timestamp":1568593288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_9","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}