@inproceedings{20785,
  abstract     = {{Cyber-physical Systems are distributed, embedded systems that interact with their physical environment. Typically, these systems consist of several Electronic Control Units using multiple processing cores for the execution. Many systems are applied in safety-critical contexts and have to fulfill hard real-time requirements. The model-driven engineering paradigm enables system developers to consider all requirements in a systematical manner. In the software design phase, they prove the fulfillment of the requirements using model checking. When deploying the software to the executing platform, one important task is to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Current model-driven approaches do not consider the problem of deriving feasible execution schedules for embedded multi-core platforms respecting hard real-time requirements. This paper extends the previous work on providing an approach for a semi-automatic synthesis of behavioral models into a deterministic real-time scheduling. We add an approach for the partitioning and mapping development tasks. This extended approach enables the utilization of parallel resources within a single ECU considering the verification assumptions by extending the open tool platform App4mc. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.
}},
  author       = {{Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}},
  booktitle    = {{Model-Driven Engineering and Software Development}},
  editor       = {{Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}},
  pages        = {{72--93}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}}},
  doi          = {{10.1007/978-3-319-94764-8_4}},
  volume       = {{1}},
  year         = {{2018}},
}

@phdthesis{20789,
  author       = {{Pohlmann, Uwe}},
  publisher    = {{Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}},
  title        = {{{A Model-driven Software Construction Approach for Cyber-physical Systems}}},
  year         = {{2018}},
}

@article{20839,
  author       = {{Brinda, Torsten and Diethelm, Ira and Hellmig, Lutz and Magenheim, Johannes and Romeike, Ralf and Schroeder, Ulrik}},
  journal      = {{MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung}},
  number       = {{Didaktik der Informatik}},
  pages        = {{1--10}},
  title        = {{{Kritische Entgegnung auf die Studie "Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen"}}},
  doi          = {{10.21240/mpaed/33/2018.10.29.X}},
  volume       = {{33}},
  year         = {{2018}},
}

@article{1796,
  author       = {{J. Daymude, Joshua and Derakhshandeh, Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}},
  journal      = {{Natural Computing}},
  number       = {{1}},
  pages        = {{81----96}},
  title        = {{{On the runtime of universal coating for programmable matter}}},
  doi          = {{10.1007/s11047-017-9658-6}},
  year         = {{2018}},
}

@misc{18030,
  author       = {{N., N.}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten}}},
  year         = {{2018}},
}

@misc{18031,
  author       = {{N., N.}},
  title        = {{{Gathering Strategien für mobile Roboterschwärme im Gitternetz}}},
  year         = {{2018}},
}

@misc{18032,
  author       = {{N., N.}},
  title        = {{{Decontaminating Planar Regions with Finite Automaton Robots and Tiles}}},
  year         = {{2018}},
}

@misc{18033,
  author       = {{Wulfes, Robin}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Load-Balanced Routing in Hybriden Kommunikationsnetzwerken}}},
  year         = {{2018}},
}

@inproceedings{18107,
  author       = {{Heymann, Jahn and Bacchiani, M. and Sainath, T. N.}},
  booktitle    = {{2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}},
  pages        = {{6722--6726}},
  title        = {{{Performance of Mask Based Statistical Beamforming in a Smart Home Scenario}}},
  doi          = {{10.1109/ICASSP.2018.8462372}},
  year         = {{2018}},
}

@inproceedings{22750,
  author       = {{Koldewey, Christian and Echterfeld, Julian and Reilender, Meikel and Gausemeier, Jürgen}},
  booktitle    = {{Proceedings of the ISPIM connects}},
  title        = {{{Business Model Portfolio Planning for Smart Services}}},
  year         = {{2018}},
}

@inproceedings{22751,
  author       = {{Drewel, Marvin and Gausemeier, Jürgen and Koldewey, Christian and Özcan, Leon}},
  booktitle    = {{Proceedings of the 2018 ISPIM Connects}},
  publisher    = {{ISPIM Connects}},
  title        = {{{Pattern based development of digital platforms}}},
  year         = {{2018}},
}

@inproceedings{22752,
  author       = {{Röltgen, Daniel and Bansmann, Michael and Nickchen, Daniel and Wortmann, Fabio and Dumitrescu, Roman}},
  booktitle    = {{ 14. Symposium für Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts}},
  title        = {{{Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap}}},
  volume       = {{Band 385}},
  year         = {{2018}},
}

@inproceedings{22756,
  author       = {{Joppen, Robert and von Enzberg, Sebastian and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{CIRP ICME, Neapel, 18. - 20. Jul. 2018}},
  location     = {{Neapel}},
  title        = {{{Data Map - Method for the Specification of Data Flows}}},
  year         = {{2018}},
}

@inproceedings{22757,
  author       = {{Joppen, Robert and Kühn, Arno and Dumitrescu, Roman and Hupach, Dominik}},
  booktitle    = {{CIRP ICME, Neapel, 18. - 20. Jul. 2018}},
  location     = {{Neapel}},
  title        = {{{ Method for Collecting Data in the Assesment of Investments}}},
  year         = {{2018}},
}

@inproceedings{22758,
  author       = {{Albers, Alexander and Tekaat, Julian and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{R&D Management Conference 2018, 30. Jun. - 4. Jul. 2018}},
  title        = {{{Requirements Profiles as a Basis for Ideation in Product Generation Planning}}},
  year         = {{2018}},
}

@inproceedings{22759,
  author       = {{Albers, Alexander and Bernijazov, Ruslan and Kaiser, Lydia and Dumitrescu, Roman}},
  booktitle    = {{IEEE - 13th System of Systems Engineering Conference, 19. - 22. Jun. 2018}},
  title        = {{{Internet of Things Canvas for Ideation in Model-Based Product Generation Planning}}},
  year         = {{2018}},
}

@inproceedings{22760,
  author       = {{Falkowski, Tommy and Jürgenhake, Christoph and Anacker, Harald and Dumitrescu, Roman}},
  booktitle    = {{SysInt Conference, 19. - 20. Jun. 2018}},
  title        = {{{Feature model for the specification of industrial indoor location-based services (I²LBS)}}},
  year         = {{2018}},
}

@inproceedings{22776,
  author       = {{Hobscheidt, Daniela and Lipsmeier, Andre and Dumitrescu, Roman}},
  booktitle    = {{ISPIM Conference - The Name of the Game, 17. - 21. Jun. 2018}},
  title        = {{{Demand-orientated and sociotechnical solution patterns for digital transformation in SMEs}}},
  year         = {{2018}},
}

@inproceedings{22777,
  author       = {{Bansmann, Michael and Fechtelpeter, Christian and Anacker, Harald and Dumitrescu, Roman}},
  booktitle    = {{XXIX ISPIM Innovation Conference 2018, 17. - 20. Jun. 2018}},
  title        = {{{Transfering Technology induced scenarios of digitized work}}},
  year         = {{2018}},
}

@inproceedings{22778,
  author       = {{Koldewey, Christian and Frank, Maximilian and Gausemeier, Jürgen}},
  booktitle    = {{Proceedings of the 2018 ISPIM Innovation Conference , Jun. 2018 International Society for Professional Innovation Management (ISPIM)}},
  title        = {{{Planning of scalable Smart Services}}},
  year         = {{2018}},
}