@article{23046,
  author       = {{Pai, Arathi and Riepold, Markus and Trächtler, Ansgar}},
  journal      = {{IFAC-PapersOnLine}},
  number       = {{21}},
  pages        = {{66–73}},
  title        = {{{Precision Control of SMA Actuators with a Real Time Model-Based Controller and Extended VSC}}},
  volume       = {{49}},
  year         = {{2016}},
}

@inproceedings{23049,
  author       = {{Pai, Arathi and Riepold, Markus and Trächtler, Ansgar}},
  booktitle    = {{IEEE International Conference on Advanced Intelligent Mechatronics AIM}},
  title        = {{{A model extended temperature and strain controller modulated with PWM for precision position control of shape memory alloy actuators}}},
  year         = {{2016}},
}

@inproceedings{23050,
  author       = {{Kruse, Daniel and Warkentin, Andreas P. and Krüger, Martin and Trächtler, Ansgar and Rackow, Sascha}},
  booktitle    = {{Proc. 4. Internationales Commercial Vehicle Technology Symposium}},
  title        = {{{Multidomänenmodell zur Optimierung der Hydraulik eines Raupenlaufwerks für Landmaschinen}}},
  year         = {{2016}},
}

@inproceedings{23054,
  author       = {{Bockholt, Marcos and Katter, Michael and Pohl, Georg and Michael, Jan and Alpögger, Thomas}},
  booktitle    = {{3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering}},
  title        = {{{A Tool Chain for Model-Based Development of Heat Pump Dryers}}},
  year         = {{2016}},
}

@phdthesis{23047,
  author       = {{Löffler, Alexander}},
  publisher    = {{Heinz Nixdorf Institut}},
  title        = {{{Entwicklung einer modellbasierten In-the-Loop-Testumgebung für Waschautomaten.}}},
  year         = {{2016}},
}

@inproceedings{20969,
  abstract     = {{Zukünftige mechatronische Systeme entwickeln sich mehr und mehr zu intelligenten technischen Systemen, die durch eine zunehmende Verzahnung der mechanischen, elektrischen und informationsverarbeitenden Anteile gekennzeichnet sind. Um das Zusammenspiel der Disziplinen besser zu beherrschen, werden zunehmend Methoden und disziplinübergreifende Systemmodelle des Systems Engineering genutzt. Offene Probleme sind dabei noch die Nachverfolgbarkeit der Entwicklung (Traceability) und die Verwaltung zueinander konsistenter Versionen von disziplinübergreifenden und disziplinspezifischen Modellen. Dieser Beitrag adressiert diese Probleme durch die Verknüpfung der Spezifikationstechnik CONSENS für den Systementwurf mit dem Datenmanagementwerkzeug SYNECT. Der Beitrag stellt die Konzipierung und prototypische Werkzeugunterstützung für die Verknüpfung von Systemmodellen und disziplinspezifischen MATLAB/Simulink-Modellen vor.
}},
  author       = {{Schmitz, Joachim and Fockel, Markus}},
  booktitle    = {{Tag des Systems Engineering 2015}},
  publisher    = {{Gesellschaft für Systems Engineering e.V.}},
  title        = {{{Vom Systemmodell zu disziplinspezifischen Modellen und zurück}}},
  year         = {{2015}},
}

@inproceedings{20970,
  abstract     = {{Automobile Steuergeräte realisieren mehr und mehr sicherheitskritische Funktionen. Nicht erst durch die Einführung der ISO 26262 werden an die Entwicklung sicherheitskritischer Funktionen besondere Anforderungen zum Beispiel in Form von Sicherheitsanalysen gestellt. In der Praxis hat sich herausgestellt, dass durch den bisherigen Systementwurf nicht alle notwendigen Daten für die Sicherheitsanalysen vorlagen. Von daher war eine Erweiterung des bisherigen Vorgehens erforderlich, sodass die benötigten Daten zu den erforderlichen Zeitpunkten vorliegen und die Sicherheitsanalysen ohne aufwendige Nacharbeiten erstellt werden können. Dieser Artikel beschreibt die durchgeführten Erweiterungen und die Erfahrungen, die in Serienprojekten eines automobilen Zulieferers gesammelt wurden.}},
  author       = {{Meyer, Jan and Fockel, Markus and Holtmann, Jörg}},
  booktitle    = {{Tag des Systems Engineering 2015}},
  publisher    = {{Gesellschaft für Systems Engineering e.V.}},
  title        = {{{Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten}}},
  year         = {{2015}},
}

@inproceedings{20971,
  abstract     = {{The growing complexity of today's software intensive systems results in an increased size of requirements specifications, which are typically documented by means of natural language (NL). Large NL requirements specifications are prone to contain defects (e.g., contradictions), and the inherent ambiguity of NL impedes automatic techniques to support the requirements engineer. In order to cope with this problem, we conceived a requirements documentation approach implemented in the tool ReqPat. Using a controlled NL, it supports an efficient requirements documentation, an automatic requirements validation, and an automatic transition to models--while still keeping the requirements understandable for all stakeholders.
}},
  author       = {{Fockel, Markus and Holtmann, Jörg}},
  booktitle    = {{Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)}},
  publisher    = {{IEEE}},
  title        = {{{ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language}}},
  year         = {{2015}},
}

@inproceedings{20976,
  abstract     = {{Cyber-physical systems (CPSs) 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 an ECU to be executed. Engineers have to cope with topology-, software-, and timing-dependencies and memory-, scheduling-, and routing-constraints. Currently, engineers use linear programs to specify allocation constraints and to derive a feasible allocation automatically. However, encoding the allocation problem as a linear program is a complex and error-prone task. This paper contributes a model-driven, OCL-based allocation engineering approach for reducing the engineering effort and to avoid failures. We validate our approach with an automotive case study modeled with MechatronicUML. Our validation shows that we can specify allocation constraints with less engineering effort and are able to derive feasible allocations automatically.}},
  author       = {{Pohlmann, Uwe and Hüwe, Marcus}},
  booktitle    = {{Conference: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)}},
  publisher    = {{IEEE}},
  title        = {{{Model-Driven Allocation Engineering}}},
  year         = {{2015}},
}

@inproceedings{20899,
  abstract     = {{The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach 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 2015 International Conference on Software and System Process}},
  isbn         = {{9781450333467}},
  title        = {{{Integrated systems engineering and software requirements engineering for technical systems}}},
  doi          = {{10.1145/2785592.2785597}},
  year         = {{2015}},
}

@inproceedings{20902,
  abstract     = {{Die Komplexität moderner Fahrzeuge steigt aufgrund der zunehmenden Anzahl von Funktionen, die durch elektronische Systeme umgesetzt werden. Insbesondere nehmen die Abhängigkeiten zwischen den an der Entwicklung beteiligten Fachdisziplinen und der Softwareanteil massiv zu. Wir haben einen für die Automobilindustrie angepassten, zum Reifegradmodell Automotive SPICE konformen Prozess für die Entwicklung von Steuergeräten konzipiert, der ein fachdisziplinübergreifendes Systems Engineering und einen systematischen Übergang in die Softwareentwicklung unterstützt. Im Kontext dieses Entwicklungsprozess beschreiben wir in diesem Beitrag den Übergang vom UML-basierten Softwareentwurf zum in der Automobilindustrie etablierten AUTOSAR-Standard mit Hilfe einer automatischen Modelltransformation. So werden fehleranfällige und zeitaufwändige manuelle Tätigkeiten reduziert. Wir haben die Generierung von AUTOSAR-Modellen gemeinsam mit dem international tätigen Automobilzulieferer Hella KGaA Hueck & Co. in seriennahen Entwicklungsprojekten praktisch erprobt und Zeit- und Kostenersparnisse festgestellt.}},
  author       = {{Meyer, Jan and Holtmann, Jörg and Koch, Thorsten and Meyer, Matthias}},
  booktitle    = {{10. Paderborner Workshop Entwurf mechatronischer Systeme}},
  editor       = {{Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}},
  pages        = {{159–172}},
  publisher    = {{Heinz Nixdorf Institut}},
  title        = {{{Generierung von AUTOSAR-Modellen aus UML-Spezifikationen}}},
  volume       = {{343}},
  year         = {{2015}},
}

@inproceedings{23056,
  author       = {{Bertelsmeier, Fabian and Trächtler, Ansgar}},
  booktitle    = {{20th IEEE International Conference on Emerging Technologies and Factory Automation}},
  title        = {{{Decentralized Controller Reconfiguration Strategies for Hybrid System Dynamics based on Product-Intelligence}}},
  year         = {{2015}},
}

@inproceedings{23062,
  author       = {{Bertelsmeier, Fabian and Vathauer, Marc and Henke, Christian and Vathauer, Karl-Ernst and Trächtler, Ansgar}},
  booktitle    = {{Automation 2015}},
  publisher    = {{VDI-Verlag}},
  title        = {{{Produkt- und lastabhängiges dezentrales Motormanagement für die Fördertechnik: Anforderungen, Design und Applikation }}},
  year         = {{2015}},
}

@inproceedings{23063,
  author       = {{Pai, Arathi and Niendorf, Thomas and Krooß, Philipp and Koke, Isabel and Trächtler, Ansgar and Schaper, Mirko}},
  booktitle    = {{7th ECCOMAS Thematic Conference on Smart Structures and Materials - SMART}},
  title        = {{{Modelling the Constitutive Behaviour of Martensite and Austenite in Shape Memory Alloys Using Closed-Form Analytical Continuous Equations}}},
  year         = {{2015}},
}

@article{23064,
  author       = {{Damerow, Ulf-Hendrik and Borsig, Michael and Tabakajew, Dmitri and Schaermann, Waldemar and Hesse, Marc and Homberg, Werner and Trächtler, Ansgar and Jungeblut, Thorsten}},
  journal      = {{wt Werkstattstechnik online}},
  pages        = {{427--432}},
  title        = {{{Intelligente Biegeverfahren}}},
  volume       = {{6-2015}},
  year         = {{2015}},
}

@inproceedings{23072,
  author       = {{Bertelsmeier, Fabian and Engelmeier, Tobias and Trächtler, Ansgar}},
  booktitle    = {{Tagungsband Mechatronik 2015}},
  pages        = {{97--102}},
  publisher    = {{VDI Mechatronik}},
  title        = {{{Online-Rekonfiguration hybrider Regelkreise in Abhängigkeit variierender Produkteigenschaften}}},
  year         = {{2015}},
}

@inproceedings{23075,
  author       = {{Michael, Jan and Hillebrand, Michael and Dumitrescu, Roman and Henke, Christian and Trächtler, Ansgar}},
  booktitle    = {{VDI Mechatronik 2015 Tagungsband}},
  pages        = {{245--250}},
  publisher    = {{VDI Mechatronik}},
  title        = {{{Modellbasierte Mehrzieloptimierung zur Integration von Hausgeräten in SmartGrids}}},
  year         = {{2015}},
}

@inproceedings{23079,
  author       = {{Pai, Arathi and Trächtler, Ansgar and Schaper, Mirko}},
  booktitle    = {{IFAC 1st Conference on Modelling, Identification and Control of Nonlinear Systems - MICNON}},
  title        = {{{Real-Time Compatible Phenomenological Modelling of the Austenitic Phase in Shape Memory Alloys as an Example for Modelling of Materials with Repeatable Non-Linear Characteristics}}},
  year         = {{2015}},
}

@inproceedings{20972,
  abstract     = {{The use of models in requirements engineering (RE) for software-intensive embedded systems is considered beneficial. The main advantages of requirements models as documentation format are that they facilitate requirements understanding and foster automatic analysis techniques. However, natural language (NL) is still the dominant documentation format for requirements specifications, particularly in the domain of embedded systems. This is due to the facts that NL-based requirements can be used within legally binding documents and are more appropriate for reviews than models. In order to bridge the gap between both of these documentation formats, this paper proposes a model-driven RE methodology that makes use of requirements models along with a controlled natural language. The methodology combines the advantages of model-based and NL-based documentation by means of a bidirectional multi-step model transformation between both documentation formats. We illustrate the approach by means of an automotive example, explain the particular steps of the model transformation, and present performance results.
}},
  author       = {{Fockel, Markus and Holtmann, Jörg}},
  booktitle    = {{2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)}},
  isbn         = {{9781479963430}},
  title        = {{{A requirements engineering methodology combining models and controlled natural language}}},
  doi          = {{10.1109/modre.2014.6890827}},
  year         = {{2014}},
}

@inproceedings{20981,
  abstract     = {{Real-time embedded systems (RTES), as in the automotive domain, provide their functionality by executing software operations on hardware with restricted resources and by communicating via buses. The properties of the underlying architecture, i.e., execution times of software operations and bus latencies, cause delays during the provision of the functionality. At the same time, RTES have to fulfill strict real-time requirements. The fulfillment of such real-time requirements under consideration of delays induced by architectural properties should be taken into account already during requirements engineering (RE) to avoid costly iterations in subsequent development phases. In previous work, we developed a formal RE approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation, i.e., the play-out algorithm originally conceived for LSCs. Our MSD play-out approach considers assumptions on the environment as well as real-time requirements and is applicable to hierarchical component architectures, which makes it well suited for automotive systems. However, delays induced by architectural properties are not considered. In order to consider this important aspect, we introduce in this paper an approach enabling the annotation of software operation execution times and connector latencies to hierarchical component architectures by means of the MARTE profile. These assumptions about the architectural properties can be verified against the real-time requirements specified in the MSDs by means of simulation. We illustrate the approach by means of an example of an automotive RTES.}},
  author       = {{Holtmann, Jörg and Shipchanov, Dimitar}},
  booktitle    = {{Proceedings of 12th Workshop Automotive Software Engineering}},
  pages        = {{2169–2180}},
  publisher    = {{Bonner Koellen Verlag}},
  title        = {{{Considering Architectural Properties in Real-time Play-out}}},
  volume       = {{P-232}},
  year         = {{2014}},
}