Optimal Deployment

  • Karsten Albers
  • Matthias Büker
  • Laurent Dieudonné
  • Robert Hilbrich
  • Georgeta Igna
  • Stefan Kugele
  • Thomas Kuhn
  • Maike Rosinger
  • Raphael Weber


The SPES XT modeling framework combines multiple modeling viewpoints and offers an effective means for modeling and exploring various embedded systems designs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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.Google Scholar
  2. [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.Google Scholar
  3. [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. Google Scholar
  4. [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. Google Scholar
  5. [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.Google Scholar
  6. [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.Google Scholar
  7. [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.Google Scholar
  8. [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.Google Scholar
  9. [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.Google Scholar
  10. [Hamann et al. 2006] A. Hamann, M. Jersak, K. Richter, R. Ernst: A Framework for Modular Analysis and Exploration of Heterogeneous, Embedded Systems. Real­Time Systems, Vol. 33, No. 1-3, 2006, pp. 101-137.Google Scholar
  11. [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.Google Scholar
  12. [Hofstedt and Wolf 2007] P. Hofstedt, A. Wolf: Einführung in die Constraint­Programmierung Grundlagen, Methoden, Sprachen, Anwendungen. Springer, Berlin Heidelberg, 2007.Google Scholar
  13. [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.Google Scholar
  14. [Kondeva et al. 2013] A. Kondeva, D. Ratiu, B. Schatz, S. Voss: Seamless model­based development of embedded systems with AF3 Phoenix. ECBS, IEEE, 2013, pp. 212.Google Scholar
  15. [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.Google Scholar
  16. [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.Google Scholar
  17. [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,, 2015, pp. 81-90.Google Scholar
  18. [Thaden 2013] E. Thaden: Semi-Automatic Optimization of Hardware Architectures in Embedded Systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2013.Google Scholar
  19. [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.Google Scholar
  20. [Wolf 2006] A. Wolf: Object-Oriented Constraint Programming in Java Using the Library firstCS. WLP, 2006, pp. 21–32.Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Karsten Albers
    • 1
  • Matthias Büker
    • 2
  • Laurent Dieudonné
    • 3
  • Robert Hilbrich
    • 4
  • Georgeta Igna
    • 5
  • Stefan Kugele
    • 6
  • Thomas Kuhn
    • 7
  • Maike Rosinger
    • 8
  • Raphael Weber
    • 9
  1. 1.INCHRON GmbHPotsdamGermany
  2. 2.Oldenburg Institute for Information Technology (OFFIS)OldenburgGermany
  3. 3.Liebherr-Aerospace Lindenberg GmbHLindenbergGermany
  4. 4.Deutsches Zentrum für Luft- und Raumfahrt (DLR)BerlinGermany
  5. 5.fortiss GmbHMunichGermany
  6. 6.Department of InformaticsTechnische Universität München (TUM)GarchingGermany
  7. 7.Fraunhofer Institute for Experimental Software Engineering (IESE)Kaiserslautern,Germany
  8. 8.Oldenburg Institute for Information Technology (OFFIS)OldenburgGermany
  9. 9.Timing-Architects Embedded Systems GmbHRegensburgGermany

Personalised recommendations