@inproceedings{22976, author = {{Michael, Jan and Henke, Christian and Trächtler, Ansgar}}, booktitle = {{Syscon 2019 - The 13th Annual IEEE International Systems Conference}}, pages = {{524--531}}, publisher = {{IEEE SYSCON}}, title = {{{Decentralized Energy Management for Smart Home System of Systems}}}, volume = {{13}}, year = {{2019}}, } @inproceedings{22977, author = {{Schütz, Stefan and Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}}, booktitle = {{Fachtagung Mechatronik 2019}}, pages = {{43--48}}, publisher = {{VDI Mechatronik}}, title = {{{Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs}}}, volume = {{13}}, year = {{2019}}, } @article{22978, author = {{Riepold, Markus and Maslo, Semir and Han, Ge and Henke, Christian and Trächtler, Ansgar}}, journal = {{Vibroengineering PROCEDIA}}, pages = {{47--52}}, title = {{{Open-loop linearization for piezoelectric actuator with inverse hysteresis model}}}, volume = {{22}}, year = {{2019}}, } @article{22979, author = {{Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}}, journal = {{at-Automatisierungstechnik}}, number = {{4}}, pages = {{326–336}}, title = {{{Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung}}}, volume = {{67}}, year = {{2019}}, } @inproceedings{23378, author = {{Piskachev, Goran and Do, Lisa Nguyen Quang and Bodden, Eric}}, booktitle = {{Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis}}, title = {{{Codebase-adaptive detection of security-relevant methods}}}, doi = {{10.1145/3293882.3330556}}, year = {{2019}}, } @inproceedings{21929, author = {{Altemeier, Katharina and Becker, Matthias and Dziwok, Stefan and Koch, Thorsten and Merschjohann, Sven}}, booktitle = {{Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}}, editor = {{Mikusz, Martin}}, publisher = {{Gesellschaft für Informatik e.V.}}, title = {{{Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design}}}, year = {{2019}}, } @inproceedings{20346, author = {{Pasic, Faruk}}, booktitle = {{Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings}}, pages = {{162--167}}, title = {{{Model-driven development of condition monitoring software}}}, year = {{2018}}, } @phdthesis{20779, abstract = {{Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation. Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel (SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand. SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS, ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer, tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität abgeleitet.}}, author = {{Fockel, Markus}}, publisher = {{Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}}, title = {{{Safety Requirements Engineering for Early SIL Tailoring}}}, doi = {{10.17619/UNIPB/1-490}}, year = {{2018}}, } @inproceedings{20780, abstract = {{With the growing number of incidents, the topic security gains more and more attention across all domains. Organizations realize their lack of state-of-the-art security practices, however, they struggle to improve their software lifecycle in terms of security. In this talk, we introduce the concept of security by design that implements security practices within the whole software lifecycle. Based on our practical experience from industry projects in the regulated industrial automation and unregulated classical IT domain, we explain how to perform a threat analysis and how to integrate it into the software lifecycle.}}, author = {{Fockel, Markus and Merschjohann, Sven and Fazal-Baqaie, Masud}}, booktitle = {{19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)}}, publisher = {{Springer Nature Switzerland AG}}, title = {{{Threat Analysis in Practice - Systematically Deriving Security Requirements}}}, doi = {{10.1007/978-3-030-03673-7_25}}, year = {{2018}}, } @inproceedings{20781, author = {{Gerking, Christopher and Schubert, David}}, booktitle = {{European Conference on Software Architecture (ECSA 2018)}}, number = {{11048}}, pages = {{147--155}}, publisher = {{Springer}}, title = {{{Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems}}}, doi = {{10.1007/978-3-030-00761-4_10}}, year = {{2018}}, } @inbook{20782, abstract = {{Original equipment manufacturers (OEMs) build mechatronic, variant-rich systems using components from several suppliers in industry sectors like automation. The OEMs have to integrate the different components to the overall system based on a virtual layout. For this purpose, the suppliers provide geometrical information via the standardized exchange format STEP. Beyond the geometrical information, the OEMs need additional logical and technical information for the integration task as well as the variant handling. For that reason, STEP provides an extension mechanism for extending and tailoring STEP to project-specific needs. However, extending STEP requires extending several capabilities of all involved tools, which prevents the project-specific utilization of the STEP extensions mechanism. In order to cope with this problem, we presented in previous work a model-driven approach enabling the flexible specification of STEP extensions and particularly the automatic derivation of the required capability extensions for two involved tools. Nevertheless, the OEMs still need to apply several engineering tools from different domains to consider logical as well as geometrical constraints between product variants. In this paper, we hence combine our previous approach with extended feature models that consider conventional logical and particularly geometrical information, thereby enabling a holistic product line engineering for mechatronic systems. By means of an automation production system example, we illustrate how OEMs can orchestrate their overall supply and development processes through the combination of both approaches.}}, author = {{Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}}, booktitle = {{Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development}}, editor = {{Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}}, pages = {{173--197}}, publisher = {{Springer International Publishing}}, title = {{{Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information}}}, doi = {{10.1007/978-3-319-94764-8_8}}, volume = {{880}}, year = {{2018}}, } @inproceedings{20783, author = {{Koch, Thorsten}}, booktitle = {{International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)}}, title = {{{Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems}}}, year = {{2018}}, } @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}}, } @inproceedings{20786, abstract = {{Distributed, software-intensive systems such as automotive electronic control units 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. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal modeling languages, automatic analyses for ensuring the quality of requirements specifications. However, formal requirements modeling languages require high expertise of the requirements engineers and many manual iterations until specifications reach high quality. Patterns provide a constructive means for assembling high-quality solutions by applying reusable and established building blocks. Thus, they also gained momentum in requirements documentation. In order to support the requirements engineers in the systematic conception of formal, scenario-based requirements specification models, we hence introduce in this paper a requirement pattern catalog for a requirements modeling language. We illustrate and discuss the application of the requirement patterns with an example of requirements for an automotive electronic control unit.}}, author = {{Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}}, booktitle = {{6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)}}, title = {{{Formal, Model- and Scenario-based Requirement Patterns}}}, year = {{2018}}, } @article{20787, author = {{Wohlers, Benedict and Dziwok, Stefan and Schmelter, David and Lorenz, Wadim}}, journal = {{Advances in Manufacturing, Production Management and Process Control - AHFE 2018}}, pages = {{398--410}}, title = {{{Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control}}}, year = {{2018}}, } @article{20788, 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.}}, author = {{Pohlmann, Uwe and Hüwe, Marcus}}, journal = {{Automated Software Engineering}}, title = {{{Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems}}}, doi = {{10.1007/s10515-018-0248-3}}, year = {{2018}}, } @inproceedings{22987, author = {{Drüke, Simon and Bicker, Rainer and Schullter, Bernd and Henke, Christian and Trächtler, Ansgar}}, booktitle = {{Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM}}, pages = {{383--397}}, publisher = {{Springer Nature Switzerland AG}}, title = {{{Rotordynamic instabilities in washing machines}}}, year = {{2018}}, } @article{22988, author = {{Gräler, Manuel and Springer, Robert and Henke, Christian and Trächtler, Ansgar and Homberg, Werner}}, journal = {{Swedish Production Symposium}}, pages = {{358--364}}, title = {{{Assisted setup of forming processes: compensation of initial stochastic disturbances}}}, volume = {{25}}, year = {{2018}}, } @inproceedings{22989, author = {{Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}}, booktitle = {{EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen}}, publisher = {{IFAK - Institut für Automation und Kommunikation e.V.}}, title = {{{Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung}}}, year = {{2018}}, } @article{22990, author = {{Springer, Robert and Graeler, Manuel and Homberg, Werner and Henke, Christian and Trächtler, Ansgar}}, journal = {{AIP Conference Proceedings}}, number = {{2018}}, title = {{{Model based Setup Assistant for Progressive Tools}}}, volume = {{160025}}, year = {{2018}}, }