@inproceedings{20795,
  abstract     = {{Distributed, software-intensive systems such as fully automated cars have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems’ requirements specifications, particularly w.r.t. the realizability of the specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal languages, automatic requirements validation techniques for proving the realizability of a requirements specification. However, formal requirements modeling languages require a deep knowledge of requirements engineers and typically require many manual iterations until they find a realizable specification. In order to support requirements engineers in the stepwise development of scenario-based requirements specifications, we propose to evolve a high-quality specification from a (presumably unrealizable) manually created specification employing an evolutionary algorithm. In this paper, we show our results on automatically evolving new assumptions on the systems’ environment behavior that guarantee a realizable requirements specification. Based on this contribution, we outline our research roadmap toward our long-term goal of automatically supporting requirements engineers in finding high-quality requirements specifications.}},
  author       = {{Schmelter, David and Greenyer, Joel and Holtmann, Jörg}},
  booktitle    = {{4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}},
  publisher    = {{IEEE}},
  title        = {{{Toward Learning Realizable Scenario-based, Formal Requirements Specifications}}},
  doi          = {{10.1109/REW.2017.14}},
  year         = {{2017}},
}

@inproceedings{20796,
  author       = {{Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}},
  booktitle    = {{Proceedings of the 24th International Conference on Production Research (ICPR)}},
  publisher    = {{DEStech Publications, Inc.}},
  title        = {{{Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}}},
  year         = {{2017}},
}

@inproceedings{20797,
  author       = {{Gerking, Christopher and Schubert, David and Budde, Ingo}},
  booktitle    = {{Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)}},
  editor       = {{Guerra, Esther and van den Brand, Mark}},
  number       = {{10374}},
  pages        = {{19--34}},
  publisher    = {{Springer}},
  title        = {{{Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities}}},
  year         = {{2017}},
}

@unpublished{20798,
  abstract     = {{Moderne und Automatisierungs- und Produktionssysteme speichern viele schützenswerte Daten wie zum Beispiel Produktionsmengen oder Verfahrenseinstellungen. Sie werden von speicherprogrammierbaren Steuerungen (SPS) gesteuert. Eine SPS bietet eine Vielzahl von Netzwerk-/Datenschnittstellen. Insbesondere Schnittstellen zum Internet ermöglichen neue Funktionalitäten, sind aber auch mögliche Angriffspunkte. Neben einer Netzwerktrennung durch Firewalls sollte zusätzlich programmatisch unterbunden werden, dass auf kritische/sensible Daten direkt oder indirekt über einen kritischen, unerwünschten Datenfluss zugegriffen werden kann. Bereits während der Entwicklung einer Anlage kann der Steuerungscode mittels statischer Programmanalyse untersucht werden. Die unabhängige Analyse von einzelnen Programmen reicht aber bei vernetzten Anlagen nicht aus, da sich der kritische Datenfluss erst aus der Kombination von Programm- und Netzwerkverhalten ergeben kann. Deshalb stellen wir in diesem Beitrag erste Ideen für eine verteilte statische Analyse der Steuerungssoftware einer vernetzten Industrieanlage vor, welche es ermöglicht den Datenfluss der gesamten vernetzten Anlage zu betrachten. Hierdurch wird es möglich zu beurteilen, ob kritische/sensible Daten die vernetzte Anlage verlassen oder ob diese manipuliert werden können.
}},
  author       = {{Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia}},
  title        = {{{Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme}}},
  year         = {{2017}},
}

@techreport{20799,
  author       = {{Hüwe, Marcus and Pohlmann, Uwe}},
  title        = {{{Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}}},
  year         = {{2017}},
}

@inproceedings{20801,
  abstract     = {{Original equipment manufacturers (OEMs) build mechatronic systems using components from several suppliers in industry sectors like automation. The suppliers provide geometrical information via the standardized exchange format STEP, such that the OEM is able to virtually layout the overall system. Beyond the geometrical information, the OEM needs additional technical information for his development tasks. For that reason, STEP provides an extension mechanism for extending and tailoring STEP to project-specific needs. However, extending STEP moreover requires extending several capabilities of all involved tools, causing high development effort. This effort prevents the project-specific utilization of the STEP extension mechanism and forces the organizations to use awkward workarounds. In order to cope with this problem, we present a model-driven approach enabling the flexible specification of STEP extensions and particularly the automatic derivation of the required further capabilities for two involved tools. We illustrate and evaluate the approach with an automation production system example.}},
  author       = {{Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}},
  booktitle    = {{Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}},
  title        = {{{Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities}}},
  doi          = {{10.5220/0006137400530064}},
  year         = {{2017}},
}

@inproceedings{20802,
  abstract     = {{The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system.}},
  author       = {{Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}},
  booktitle    = {{Proceedings of the Software Engineering 2017}},
  editor       = {{Jürjens, Jan and Schneider, Kurt}},
  pages        = {{109--110}},
  publisher    = {{Gesellschaft fuer Informatik}},
  title        = {{{Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}}},
  volume       = {{P-267}},
  year         = {{2017}},
}

@inproceedings{20803,
  author       = {{Pohlmann, Uwe and Hüwe, Marcus}},
  booktitle    = {{GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings}},
  editor       = {{Jürjens, Jan and Schneider, Kurt}},
  title        = {{{Model-Driven Allocation Engineering – Abridged Version}}},
  year         = {{2017}},
}

@inproceedings{20804,
  abstract     = {{Modern Cyber-physical Systems are executed in physical environments and distributed over several Electronic Control Units using multiple cores for execution. These systems perform safety-critical tasks and, therefore, have to fulfill hard real-time requirements. To face these requirements systematically, system engineers de- velop these systems model-driven and prove the fulfillment of these requirements via model checking. It is important to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Currently, there is a gap in the process for model-driven approaches to derive a feasible runtime scheduling that respects these assumptions. In this paper, we present an approach for a semi- automatic synthesis of behavioral models into a deterministic scheduling that respects real-time requirements at runtime. 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 Pohlmann, Uwe and Schmelter, David}},
  booktitle    = {{Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}},
  title        = {{{Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}}},
  year         = {{2017}},
}

@book{18010,
  author       = {{Meister, Dorothee M. and Oevel, Gudrun}},
  title        = {{{E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}}},
  year         = {{2017}},
}

@inproceedings{22110,
  author       = {{Taube, A.}},
  booktitle    = {{Hannover Messe Industrie, 2017, Hannover}},
  title        = {{{Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen }}},
  year         = {{2017}},
}

@book{22112,
  author       = {{Brüggemann, J.P. and Risse, L. and Riemer, A. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele}},
  title        = {{{Entwicklung von Fahrradtretkurbelsystemen mittels additiver Fertigung}}},
  year         = {{2017}},
}

@inproceedings{22119,
  author       = {{Bauer, B. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{14th International Conference on Fracture}},
  title        = {{{Methods for crack length measurement for the determination of fracture mechanical parameters of additive manufactured plastics}}},
  volume       = {{14}},
  year         = {{2017}},
}

@inproceedings{22127,
  author       = {{Bauer, B. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{DVM - Tagung - Additiv gefertigte Bauteile und Strukturen}},
  pages        = {{77--88}},
  title        = {{{Risslängenmessung in additiv gefertigten Kunststoffproben auf Basis von Steifigkeitsänderungen infolge Ermüdungswachstum.}}},
  year         = {{2017}},
}

@inproceedings{22131,
  author       = {{Reschetnik, W. and Brüggemann, J.P. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}},
  pages        = {{147--156}},
  title        = {{{Bruchmechanische Charakterisierung von laserstrahlgeschmolzenen Werkstoffen}}},
  year         = {{2017}},
}

@inproceedings{22133,
  author       = {{Brüggemann, J.P. and Reschetnik, W. and Aydinöz, M.E. and Richard, H.A. and Kullmer, G. and Hoyer, K.P. and Schaper, M.}},
  booktitle    = {{DVM - Tagung - Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V.}},
  pages        = {{11--20}},
  title        = {{{Optimierung der Werkstoffeigenschaften von selektiv lasergeschmolzenen Aluminium 7075}}},
  year         = {{2017}},
}

@inproceedings{22134,
  abstract     = {{improved sensorless control of PMSM are pointed out. The}},
  author       = {{Risse, L. and Brüggemann, J.P. and Schramm, B. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{DVM - Tagung - Zuverlässigkeit von Implataten und Biostrukturen}},
  title        = {{{Strukturoptimierung von Kurzschaft-Hüftendoprothesen durch den Einsatz der additiven Fertigung}}},
  year         = {{2017}},
}

@inproceedings{22135,
  author       = {{Brüggemann, J.P. and Risse, L. and Richard, H.A. and Kullmer, G.}},
  booktitle    = {{DVM Tagung - Additiv gefertigte Bauteile und Strukturen}},
  pages        = {{49--66}},
  title        = {{{Vergleich zweier Optimierungsstrategien am Beispiel additiv gefertigter Rennradvorbauten}}},
  year         = {{2017}},
}

@inproceedings{22136,
  author       = {{Bauer, B. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}},
  booktitle    = {{DVM Tagung - Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen}},
  pages        = {{21--30}},
  title        = {{{Konzepte zur Risslängenmessung an additive gefertigten Kunststoffen }}},
  year         = {{2017}},
}

@inproceedings{22151,
  author       = {{Brüggemann, J.P. and Risse, L. and Schramm, B. and Richard, H.A.}},
  booktitle    = {{Rapid Tech - International Trade Show & Conference for Additive Manufacturing}},
  pages        = {{26--37}},
  title        = {{{Entwicklung einer additiv gefertigten Fußorthese}}},
  year         = {{2017}},
}