Abstract
The SPES XT modeling framework combines multiple modeling viewpoints and offers an effective means for modeling and exploring various embedded systems designs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
[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.
[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.
[Büker et al. 2011] M. Büker, 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.
[Büker et al. 2013] M. Büker, 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.
[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–46.
[de Moura and Bjørner 2008] L. de Moura and N. Bjørner: Z3: An Efficient SMT Solver. TACAS, LNCS. Springer, Berlin Heidelberg, Vol. 4963, No. 24, 2008, pp. 337–340.
[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.
[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.
[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–25.
[Hamann et al. 2006] A. Hamann, M. Jersak, K. Richter, R. Ernst: A Framework for Modular Analysis and Exploration of Heterogeneous, Embedded Systems. RealTime Systems, Vol. 33, No. 1-3, 2006, pp. 101-137.
[Hilbrich and Dieudonné 2013] R. Hilbrich, L. Dieudonné: Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures. Journal of Software Engineering & Applications, Vol. 6, No. 5, 2013.
[Hofstedt and Wolf 2007] P. Hofstedt, A. Wolf: Einführung in die ConstraintProgrammierung Grundlagen, Methoden, Sprachen, Anwendungen. Springer, Berlin Heidelberg, 2007.
[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.
[Kondeva et al. 2013] A. Kondeva, D. Ratiu, B. Schatz, S. Voss: Seamless modelbased development of embedded systems with AF3 Phoenix. ECBS, IEEE, 2013, pp. 212.
[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.
[Rosinger et al. 201] M. Rosinger, M.Büker, 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.
[Rosinger et al. 2015] M. Rosinger, M. Büker, R. Weber: An Approach to Guide the System Engineer during the Design Space Exploration Process. In: W. Zimmermann, W. Böhm, 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.
[Thaden 2013] E. Thaden: Semi-Automatic Optimization of Hardware Architectures in Embedded Systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2013.
[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.
[Wolf 2006] A. Wolf: Object-Oriented Constraint Programming in Java Using the Library firstCS. WLP, 2006, pp. 21–32.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Albers, K. et al. (2016). Optimal Deployment. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-48003-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-48003-9_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48002-2
Online ISBN: 978-3-319-48003-9
eBook Packages: Computer ScienceComputer Science (R0)