Skip to main content
SpringerLink
Log in

Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

Automotive systems provide sophisticated functionality and are controlled by networked electronic control units (ECUs). Nowadays, software engineers use component-based development approaches to develop their software. Moreover, software components have to be allocated to ECUs to be executed. Engineers have to cope with topology-, software-, and timing dependencies and memory-, scheduling-, and routing constraints. Currently, engineers use linear programming to specify allocation constraints manually and to compute a feasible allocation specification automatically. However, encoding the allocation problem as a linear program is a complex and error-prone task. This paper contributes a model-driven, object constraint language based, and graph pattern based allocation engineering approach for reducing the engineering effort and to avoid failures. We validate our approach with an automotive case study. We specify the software component model, the hardware platform model, and the allocation constraint specification with our engineering approach MechatronicUML. Our validation shows that we can specify allocation constraints with less engineering effort and are able to compute feasible allocation specifications automatically.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

References

  • Abran, A., Bourque, P., Dupuis, R., Moore, J.W. (eds.): Guide to the Software Engineering Body of Knowledge–SWEBOK. IEEE Press, Piscataway, USA (2001). ISBN 0769510000

  • acatech (ed.): Cyber-Physical Systems: Driving Force for Innovations in Mobility, Health, Energy and Production. Springer, Berlin Heidelberg (2011) . ISBN 978-3-642-29090-9. https://doi.org/10.1007/978-3-642-29090-9

  • Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I., Archeopterix, : An extendable tool for architecture optimization of aadl models. In: Prococeedings of the ICSE Workshop on Model-Based Methodologies for Pervasive and. Embedded Software, MOMPES, ’09, pp. 61–71 (2009). https://doi.org/10.1109/MOMPES.2009.5069138

  • Aleti, A.: Designing automotive embedded systems with adaptive genetic algorithms. Autom. Softw. Eng. 22(2), 199–240 (2015). https://doi.org/10.1007/s10515-014-0148-0. ISSN 0928-8910

    Article  MathSciNet  Google Scholar 

  • Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Softw. Eng. 39(5), 658–683 (2013). https://doi.org/10.1109/TSE.2012.64. ISSN 0098-5589

    Article  Google Scholar 

  • Apvrille, L., El Khayari, R., Henniger, O., Roudier, Y., Schweppe, H., Seudié, H., Weyl, B., Wolf, M.: Secure automotive on-board electronics network architecture. In: Proceedings of the FISITA 2010, World Automotive Congress, Budapest, HUNGARY, May (2010). http://www.eurecom.fr/publication/3132

  • Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: Autofocus 3: tooling concepts for seamless, model-based development of embedded systems. In: In the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, volume 1508 of ACES-MB-WUCOR ’15, pp. 19–26, Aachen, (2015). CEUR-WS. http://ceur-ws.org/Vol-1508/

  • Arduino. https://www.arduino.cc/

  • Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003). https://doi.org/10.1109/MS.2003.1231149. ISSN 0740-7459

    Article  Google Scholar 

  • Becker, S., Dziwok, S., Gerking, C. Heinzemann, C., Schäfer, W., Meyer, M., Pohlmann, U.: The Mechatronic UML method: model-driven software engineering of self-adaptive mechatronic systems. In: Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion ’14, pp. 614–615. ACM, New York (2014a). ISBN 978-1-4503-2768-8. https://doi.org/10.1145/2591062.2591142

  • Becker, S., Dziwok, S., Gerking, C. Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., Tichy, M.: The MechatronicUML design method - process and language for platform-independent modeling. Technical Report tr-ri-14-337, Heinz Nixdorf Institute, Paderborn University, March (2014b)

  • Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental evaluation of model queries over EMF models, pp. 76–90. Springer Berlin (2010). ISBN 978-3-642-16145-2. https://doi.org/10.1007/978-3-642-16145-2_6

  • Bergmann, G., Ujhelyi, Z., Ráth, I., Varró, D.: A graph query language for EMF models, pp. 167–182. Springer, Berlin (2011). ISBN 978-3-642-21732-6. https://doi.org/10.1007/978-3-642-21732-6_12

  • Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: overview and conceptual comparison. ACM Comput. Surv. 35(3), 268–308 (2003)

    Article  Google Scholar 

  • Clements, P.: A survey of architecture description languages. In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD ’96, pp. 16–25. IEEE Computer Society, Washington (1996)

  • Crowder, H., Johnson, E.L., Padberg, M.: Solving large-scale zero-one linear programming problems. Oper. Res. 31(5), 803–834 (1983). https://doi.org/10.1287/opre.31.5.803

    Article  MATH  Google Scholar 

  • Dakin, R.J.: A tree-search algorithm for mixed integer programming problems. Comput. J. 8(3), 250–255 (1965). https://doi.org/10.1093/comjnl/8.3.250

    Article  MathSciNet  MATH  Google Scholar 

  • Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller area network (CAN) schedulability analysis: refuted, revisited and revised. Real-Time Syst. 35(3), 239–272 (2007). https://doi.org/10.1007/s11241-007-9012-7. ISSN 1573-1383

    Article  Google Scholar 

  • Dearle, A.: Software deployment, past, present and future. In: Proceedings of the Future of Software Engineering, FOSE ’07, pp. 269–284. IEEE Computer Society, Washington (2007)

  • De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011). https://doi.org/10.1145/1995376.1995394. ISSN 0001-0782

    Article  Google Scholar 

  • Dziwok, S., Gerking, C., Becker, S., Thiele, S., Heinzemann, C., Pohlmann, U.: A tool suite for the model-driven software engineering of cyber-physical systems. In: Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE ’14, pp. 715–718. ACM. New York (2014) ISBN 978-1-4503-3056-5. https://doi.org/10.1145/2635868.2661665

  • Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., Gerking, C.: The MechatronicUML design method–process and language for platform-independent modeling. Technical Report tr-ri-16-352, Software Engineering Department, Fraunhofer IEM/Software Engineering Group, Heinz Nixdorf Institute, December (2016)

  • Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Schäfer, W.: Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28(1), 3–22 (2013). https://doi.org/10.1007/s00450-011-0184-y. ISSN 1865-2042

    Article  Google Scholar 

  • Feljan, J., Carlson, J.: Task allocation optimization for multicore embedded systems. In: Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2014, pp. 237–244 (2014). https://doi.org/10.1109/SEAA.2014.22

  • Feljan, J., Carlson, J., Seceleanu, T.: Towards a model-based approach for allocating tasks to multicore processors. In: Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, pp. 117–124 (2012). https://doi.org/10.1109/SEAA.2012.56

  • Frieben, J., Tichy, M.: Automatic deployment of IEC 61499 function blocks onto interconnected devices. In: Proceedings of the SPS IPC DRIVES 2011 : elektrische Automatisierung, Systeme und Komponenten, SPS IPC DRIVES ”11, pp. 141–150 (2011). https://www.tichy.de/publications/2011/FT11.pdf

  • Geismann, J., Pohlmann, U., Schmelter, D.: Towards an automated synthesis of a real-time scheduling for cyber-physical multi-core systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD ’17, pp. 285–292. Scitepress, Setúbal (2017). ISBN 978-989-758-210-3. https://doi.org/10.5220/0006117702850292. http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=ADc9X1W/tIE=&t=1

  • GUROBI. https://www.gurobi.com

  • GUROBI LP Format. https://www.gurobi.com/documentation/8.0/refman/lp_format.html

  • Hartwich, F.: Bit time requirements for can FD. In: Proceedings of the International CAN Conference (ICC), pp. 4–17 (2013). http://www.can-cia.org/fileadmin/resources/documents/proceedings/2013_hartwich_v2.pdf

  • Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., Tschirner, C.: Integrated and iterative systems engineering and software requirements engineering for technical systems. J. Softw. Evol. Process 28(9), 722–743 (2016). https://doi.org/10.1002/smr.1780. ISSN 2047-7481

    Article  Google Scholar 

  • Hnětynka, P., Malohlava, H., Bureš, T.: Comparison of component frameworks for real-time embedded systems. Knowl. Inf. Syst. 40(1), 127–170 (2014)

    Article  Google Scholar 

  • IEC: 61499–1: Function blocks–Part 1: Architecture, Geneva (2012). https://www.iec-normen.de/219342/iec-61499-1-2012-11-ed-2-0-zweisprachig.html

  • ISO 17458-2:2013: Road vehicles–FlexRay communications system–Part 2: Data link layer specification. Geneva (2013). http://www.iso.org/iso/catalogue_detail.htm?csnumber=33422

  • ISO 26262-1:2011: Road vehicles–functional safety–Part 1: Vocabulary, Geneva (2011). http://www.iso.org/iso/catalogue_detail?csnumber=43464

  • ISO 26262-6:2011: Road vehicles–functional safety–Part 6: product development at the software level, Geneva (2011). http://www.iso.org/iso/catalogue_detail.htm?csnumber=35733

  • Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL ’87, pp. 111–119. ACM, New York (1987). ISBN 0-89791-215-2. https://doi.org/10.1145/41625.41635

  • Jaffar, J., Maher, M.J.: Special issue: ten years of logic programming constraint logic programming: a survey. J. Logic Program. 19, 503–581 (1994). https://doi.org/10.1016/0743-1066(94)90033-7. ISSN 0743-1066

    Article  Google Scholar 

  • Klobedanz, K.: Towards the design of fault-tolerant distributed real-time systems. Ph. d’s thesis, Paderborn University, Paderborn (2014). http://nbn-resolving.de/urn:nbn:de:hbz:466:2-13767

  • Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: Miplib 2010. Math. Program. Comput. 3(2), 103 (2011). https://doi.org/10.1007/s12532-011-0025-9. ISSN 1867-2957

    Article  MathSciNet  Google Scholar 

  • Kopetz, H.: Simplicity. In: Real-Time Systems, Real-Time Systems Series, pp. 29–50. Springer, New York (2011). ISBN 978-1-4419-8236-0. https://doi.org/10.1007/978-1-4419-8237-7_2

  • Koziolek, A., Reussner, R.: Towards a generic quality optimisation framework for component-based system models. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE ’11, pp. 103–108. ACM, New York (2011). ISBN 978-1-4503-0723-9. https://doi.org/10.1145/2000229.2000244

  • Kuchcinski, K.: Constraints-driven design space exploration for distributed embedded systems. J. Syst. Archit. 47(3–4), 241–261 (2001). https://doi.org/10.1016/S1383-7621(00)00048-5. ISSN 1383-7621

    Article  Google Scholar 

  • Kugele, S., Pucea, G., Popa, R., Dieudonné, L., Eckardt, H.: On the deployment problem of embedded systems, pp. 158–167 (2015). https://doi.org/10.1109/MEMCOD.2015.7340482

  • Kumar, S., Luhandjula, M.K., Munapo, E., Jones, B.C.: Fifty years of integer programming: a review of the solution approaches. Asia Pac. Bus. Rev. 6(3), 5–15 (2010). https://doi.org/10.1177/097324701000600301

    Article  Google Scholar 

  • Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973). https://doi.org/10.1145/321738.321743. ISSN 0004-5411

    Article  MathSciNet  MATH  Google Scholar 

  • LPSolve. http://lpsolve.sourceforge.net/5.5/

  • NEOS AMPL. https://neos-server.org/neos/solvers/lp:CPLEX/AMPL.html

  • Lukasiewycz, M.: Modeling Analysis and Optimization of Automotive Networks. Ph. d’s thesis. Friedrich-Alexander-Universität Erlangen-Nürnberg, Göttingen (2010)

  • Lukasiewycz, M., Glaß, M., Reimann, F., Teich, J.: Opt4J: a modular framework for meta-heuristic optimization. In: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, GECCO ’11, pp. 1723–1730. ACM, New York (2011). ISBN 978-1-4503-0557-0. https://doi.org/10.1145/2001576.2001808

  • Maher, S.J., Fischer, T., Gally, T., Gamrath, G., Gleixner, A., Gottwald, R., Hendel, G., Koch, T., Lübbecke, M.E., Miltenberger, M., Müller, B., Pfetsch, M.E., Puchert, C., Rehfeldt, D., Schenker, S., Schwarz, R., Serrano, F., Shinano, Y., Weninger, D., Witt, J.T., Witzig, J.: The scip optimization suite 4.0. Technical Report 17–12, Zuse Institute, Berlin (2017)

  • Malek, S., Medvidovic, N., Mikic-Rakic, M.: An extensible framework for improving a distributed software system’s deployment architecture. IEEE Trans. Softw. Eng. 38(1), 73–100 (2012). https://doi.org/10.1109/TSE.2011.3. ISSN 0098-5589

    Article  Google Scholar 

  • Manolios, P., Vasilis, P.: ILP modulo theories. Computing Research Repository (CoRR) (2012). arXiv:1210.3761

  • Meedeniya, I., Buhnova, B., Aleti, A., Grunske, L.: Reliability-driven deployment optimization for embedded systems. J. Syst. Softw. 84(5), 835–846 (2011). https://doi.org/10.1016/j.jss.2011.01.004. ISSN 0164-1212

    Article  Google Scholar 

  • Metzner, A., Herde, C.: Rtsat–an optimal and efficient approach to the task allocation problem in distributed architectures. In: Proceedings of the 27th IEEE International Real-Time Systems Symposium, RTSS ’06, pp. 147–158 (2006). https://doi.org/10.1109/RTSS.2006.44

  • MODELISAR Consortium. EAST-ADL, Domain Model Specification (2013). http://www.east-adl.info/Specification/V2.1.12/EAST-ADL-Specification_V2.1.12.pdf

  • Nazari, A., Thiruvady, D., Aleti, A., Moser, I.: A mixed integer linear programming model for reliability optimisation in the component deployment problem. J. Oper. Res. Soc. 67(3), 1–11 (2016). https://doi.org/10.1057/jors.2015.119. ISSN 0160-5682

    Google Scholar 

  • OMG BPMN: Business Process Model And Notation (2013). http://www.omg.org/spec/BPMN/2.0.2/PDF

  • OMG MARTE.: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2011). http://www.omg.org/spec/MARTE/1.1/PDF

  • OMG OCL.: Object Constraint Language (OCL) (2014). http://www.omg.org/spec/OCL/2.4/PDF/

  • OMG UML: Unified Modeling Language (UML) (2011). http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/

  • Opt4J: https://opt4j.sourceforge.net//

  • Pohl, K., Rupp, C.: Requirements Engineering Fundamentals. 1 edn. Rocky Nook, Santa Barbara (2011). ISBN, 978-1-933952-81-9

  • Pohlmann, U.: A Model-driven Software Construction Approach for Cyber-physical Systems. Phd’s thesis. Paderborn University, Paderborn (2018). https://doi.org/10.17619/UNIPB/1-313

  • Pohlmann, U., Hüwe, M.: Model-driven allocation engineering (t), vol. ’15, pp. 374–384. IEEE, New York (2015). https://doi.org/10.1109/ASE.2015.18

  • Pohlmann, U., Hüwe, M.: Eclipse Linear Optimization, QUEry, ’N’ Transformation (ELOQUENT) (2018a). https://github.com/upohl/eloquent

  • Pohlmann, U., Hüwe, M.: MechatronicUML ELOQUENT Adapter (2018b). https://svn-serv.cs.uni-paderborn.de/mechatronicuml/trunk/EloquentAdapter/org.muml.eloquent.adapter.muml/operations/

  • Pohlmann, U. Marcus, H.: Formal definition and proofs for the MechatronicUML allocation specification language. Technical Report tr-ri-17-353, Software Engineering Department, Fraunhofer IEM/Software Engineering Group, Heinz Nixdorf Institute, April (2017)

  • Pohlmann, U., Meyer, M., Dann, A., Brink, C.: Viewpoints and views in hardware platform modeling for safe deployment. In: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO ’14, pp. 23–30. ACM, New York (2014). ISBN 978-1-4503-2900-2. https://doi.org/10.1145/2631675.2631682

  • Prasad, M.R., Biere, A., Gupta, A.: A survey of recent advances in sat-based formal verification. Int. J. Softw. Tools Technol. Transf. 7(2), 156–173 (2005). https://doi.org/10.1007/s10009-004-0183-4. ISSN 1433-2787

    Article  Google Scholar 

  • QVTo. http://projects.eclipse.org/projects/modeling.mmt.qvt-oml

  • Runeson, P., Höst, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131–164 (2008). https://doi.org/10.1007/s10664-008-9102-8. ISSN 1573-7616

    Article  Google Scholar 

  • Saksena, M., Hong, S.: An engineering approach to decomposing end-to-end delays on a distributed real-time system. In: Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS ’96, pp. 244–251 (1996). https://doi.org/10.1109/WPDRTS.1996.557688

  • Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1986)

    MATH  Google Scholar 

  • Schätz,B., Hölzl, F., Lundkvist, T.: Design-space exploration through constraint-based model-transformation. In: Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS’10, pp. 173–182 (2010). https://doi.org/10.1109/ECBS.2010.25

  • SCIP.: http://scip.zib.de/

  • Švogor, I., Crnković, I., Vrček, N.: An extended model for multi-criteria software component allocation on a heterogeneous embedded platform. J. Comput. Inf. Technol. 21(4), 211–222 (2013). https://doi.org/10.2498/cit.1002284

    Article  Google Scholar 

  • Švogor, I., Crnković, I., Vrček, N.: Multi-criteria software component allocation on a heterogeneous platform. In: Proceedings of the 35th International Conference on Information Technology Interfaces, ITI ’13, pp. 341–346 (2013). https://doi.org/10.2498/iti.2013.0558

  • Švogor, I., Carlson, J.: Scall: software component allocator for heterogeneous embedded systems. In: Proceedings of the 2015 European Conference on Software Architecture Workshops, ECSAW ’15, pp. 66:1–66:5. ACM, New York (2015). ISBN 978-1-4503-3393-1. https://doi.org/10.1145/2797433.2797501

  • Vale, T., Crnkovic, I., De Almeida, E.S., Neto, P.A.D.M.S., Cavalcanti, Y.C., de Lemos Meira, S.R.: Twenty-eight years of component-based software engineering. J. Syst. Softw. 111, 128–148 (2016)

    Article  Google Scholar 

  • van Glabbeek, R., Hofner, P.: Split, send, reassemble: A formal specification of a CAN bus protocol stack. In: 2nd Workshop on Models for Formal Analysis of. Real Systems, MARS ’17, pp. 14–52 (2017)

  • Voelter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, L., Visser, E., Wachsmuth, G.: Designing Implementing and Using Domain-Specific Languages. CreateSpace Independent Publishing Platform (2013). ISBN, 1-4812-1858-1

  • Voss, S., Eder, J., Hölzl, F.: Design space exploration and its visualization in AUTOFOCUS3. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering, vol. 1514, pp. 57–66. CEUR-WS, Aachen (2014). http://ceur-ws.org/Vol-1129/paper33.pdf

  • Wang, S., Merrick, J.R., Shin, K.G: Component allocation with multiple resource constraints for large embedded real-time software design. In: Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2004, pp. 219–226 (2004). https://doi.org/10.1109/RTTAS.2004.1317267

  • Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The worst-case execution-time problem–overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 1–52 (2008). https://doi.org/10.1145/1347375.1347389. ISSN 1539-9087

    Article  Google Scholar 

  • Williams, H.P., Wilson, J.M.: Connections between integer linear programming and constraint logic programming–an overview and introduction to the cluster of articles. INFORMS J. Comput. 10(3), 261–264 (1998). https://doi.org/10.1287/ijoc.10.3.261. ISSN 1526-5528

    Article  MathSciNet  MATH  Google Scholar 

  • Yoong, L.H., Roop, P.S, Bhatti, Z.E, Kuo, M.M: Model-Driven Design Using IEC 61499-A Synchronous Approach for Embedded and Automation Systems. 1st edn., Springer, Berlin (2015). ISBN 978-3-319-10521-5. https://doi.org/10.1007/978-3-319-10521-5

  • Zeller, M., Prehofer, C., Weiss, G., Eilers, D., Knorr, R.: Towards self-adaptation in real-time, networked systems: Efficient solving of system constraints for automotive embedded systems. In: Proceedings of the 5th International IEEE Conference on Self-Adaptive and Self-Organizing Systems, SASO ’11, pp. 79–88 (2011). https://doi.org/10.1109/SASO.2011.19

  • Zeller, M., Prehofer, C.: Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. J. Syst. Archit. 59(10, Part C):1067–1082 (2013). ISSN 1383-7621. https://doi.org/10.1016/j.sysarc.2012.11.003

  • Zimmermann, W., Schmidgall, R.: Bussysteme in der Fahrzeugtechnik, chapter Software-Standards: OSEK und HIS, 5th edn pp. 331–365, ATZ/MTZ-Fachbuch. Springer, Wiesbaden (2014). ISBN 978-3-658-02419-2. https://doi.org/10.1007/978-3-658-02419-2_7

Download references

Acknowledgements

We like to thank Prof. Dr. Matthias Tichy from the University Ulm for reviewing and for providing detailed feedback to this paper.

Author information

Authors and Affiliations

  1. Fraunhofer IEM, Zukunftsmeile 1, 33102, Paderborn, Germany

    Uwe Pohlmann & Marcus Hüwe

Authors
  1. Uwe Pohlmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcus Hüwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Uwe Pohlmann.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pohlmann, U., Hüwe, M. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Autom Softw Eng 26, 315–378 (2019). https://doi.org/10.1007/s10515-018-0248-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-018-0248-3

Keywords

Search

Navigation