@phdthesis{27694, author = {{Plugge, Thorsten}}, title = {{{Herstellung komplexer polymerer Hohlkörperstrukturen}}}, year = {{2014}}, } @phdthesis{27695, author = {{Hörmann, Heinrich}}, title = {{{Theoretische und experimentelle Betrachtung schnelllaufender Einschneckenextruder}}}, year = {{2014}}, } @phdthesis{27696, author = {{Korsmeier, André}}, title = {{{Untersuchung des instationären Verhaltens an einem Einschneckenextruder }}}, year = {{2014}}, } @article{20944, abstract = {{Joining metals using electrochemical support (ECUF) is a new process for cold pressure welding sheets and parts. This new process is based on an electrochemical in-line surface treatment followed by incremental pilger rolling. The ECUF process intends to cold pressure weld materials under optimized conditions. Oxide layers on metal surfaces are known to inhibit the formation of cold pressure welds. The in-line electrochemical treatment will be used to remove these surface oxides for specific engineering metals and alloys. Hence, an improved pressure weld formation at lower forces and smaller reduction ratios is expected for the electrochemically treated surfaces. Using a more flexible pressure welding process, the number of applications could be greatly improved. First tests with copper were performed to analyse the efficiency of the proposed electrochemical surface treatments. Two electrochemical treatments, the cathodic oxide-reduction and cyclovoltammetric oxide-reduction, were compared with conventional treatments (degreasing and scratch brushing) regarding their influence on the cold pressure welding process of copper. The weld strength of lap welds has been investigated as well as the necessary reduction threshold to form a weld. It was found that the electrochemical oxide reduction resulted in higher weld strength. The results of scanning electron microscopy (SEM) and energy dispersive analysis of X-rays (EDX) indicate that surface oxides were successfully removed by the electrochemical surface treatments. (C) 2014 Elsevier B.V. All rights reserved.}}, author = {{Ebbert, Christoph and Schmidt, H. C. and Rodman, D. and Nuernberger, F. and Homberg, W. and Maier, H. J. and Grundmeier, Guido}}, issn = {{0924-0136}}, journal = {{JOURNAL OF MATERIALS PROCESSING TECHNOLOGY}}, number = {{10}}, pages = {{2179--2187}}, title = {{{Joining with electrochemical support (ECUF): Cold pressure welding of copper}}}, doi = {{10.1016/j.jmatprotec.2014.04.015}}, volume = {{214}}, year = {{2014}}, } @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}}, } @inbook{20982, abstract = {{Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language EAST-ADL addresses this problem by relying on event chains, which make dependencies between events explicit. However, EAST-ADL event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the EAST-ADL functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains. }}, author = {{Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}}, booktitle = {{Software Architecture}}, isbn = {{9783319099699}}, issn = {{0302-9743}}, title = {{{Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}}}, doi = {{10.1007/978-3-319-09970-5_14}}, year = {{2014}}, } @inproceedings{20983, abstract = {{In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.}}, author = {{Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}}, booktitle = {{Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}}, title = {{{ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}}}, year = {{2014}}, } @inproceedings{17319, author = {{Boehner, M. and Oevel, Gudrun and Porombka, Sebastian}}, booktitle = {{7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda}}, editor = {{Müller, P. and Neumair, B. and Reiser, H. and Dreo Rodosek, G.}}, location = {{Fulda}}, pages = {{33--43}}, publisher = {{Gesellschaft für Informatik}}, title = {{{Energieeffizienz im WLAN}}}, volume = {{231}}, year = {{2014}}, } @inproceedings{1781, abstract = {{In light of an increasing awareness of environmental challenges, extensive research is underway to develop new light-weight materials. A problem arising with these materials is their increased response to vibration. This can be solved using a new composite material that contains embedded hollow spheres that are partially filled with particles. Progress on the adaptation of molecular dynamics towards a particle-based numerical simulation of this material is reported. This includes the treatment of specific boundary conditions and the adaption of the force computation. First results are presented that showcase the damping properties of such particle-filled spheres in a bouncing experiment.}}, author = {{Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}}, booktitle = {{Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}}, editor = {{Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.}}, isbn = {{978-3-319-09063-4}}, pages = {{233--243}}, publisher = {{Springer International Publishing}}, title = {{{Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}}}, doi = {{10.1007/978-3-319-09063-4_19}}, year = {{2014}}, } @inproceedings{1782, author = {{Graf, Tobias and Schaefers, Lars and Platzner, Marco}}, booktitle = {{Proc. Conf. on Computers and Games (CG)}}, number = {{8427}}, pages = {{14--25}}, publisher = {{Springer}}, title = {{{On Semeai Detection in Monte-Carlo Go}}}, doi = {{10.1007/978-3-319-09165-5_2}}, year = {{2014}}, } @inproceedings{20903, author = {{Priesterjahn, Claudia and Holtmann, Jörg and Meyer, Matthias}}, booktitle = {{Tagungsband Embedded Software Engineering Kongress 2014}}, pages = {{619--627}}, title = {{{Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems}}}, year = {{2014}}, } @article{20904, author = {{Diedrich, Christian and Meyer, Matthias and Evertz, Lars and Schäfer, Wilhelm}}, journal = {{atp edition - Automatisierungstechnische Praxis}}, pages = {{24--35}}, title = {{{Dienste in der Automatisierungstechnik}}}, year = {{2014}}, } @inproceedings{20905, author = {{Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}}, booktitle = {{Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}}, publisher = {{IEEE Xplore}}, title = {{{Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems}}}, year = {{2014}}, } @article{20906, abstract = {{Von heutigen technischen Systemen wird immer mehr Funktionalität gefordert. Dies manifestiert sich in einer steigenden Anzahl von Anforderungen, die üblicherweise in freier natürlicher Sprache festgehalten werden. Das führt oft zu mehrdeutigen, widersprüchlichen oder unvollständigen Anforderungen. In diesem Beitrag wird eine Methode zur Spezifikation von Anforderungen auf Basis von Satzmustern inklusive ihrer Werkzeugunterstützung „ReqPat“ vorgestellt: Anforderungen werden weiterhin textuell aber in einer eingeschränkten natürlichen Sprache verfasst. Dadurch wird ein einheitliches Anforderungsverständnis erreicht und es werden Qualitätsanalysen sowie der Übergang zu Modellen automatisiert.}}, author = {{Fockel, Markus and Holtmann, Jörg and Meyer, Matthias}}, journal = {{OBJEKTspektrum}}, number = {{RE/2014}}, title = {{{Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen}}}, year = {{2014}}, } @inproceedings{20907, author = {{Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}}, booktitle = {{Proceedings of the 36th International Conference on Software Engineering (Posters)}}, publisher = {{ACM, New York, NY, USA}}, title = {{{The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems}}}, year = {{2014}}, } @inproceedings{20908, author = {{Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian}}, booktitle = {{Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques}}, title = {{{A Modelica Coordination Pattern Library for Cyber-Physical Systems}}}, year = {{2014}}, } @techreport{20909, author = {{Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer, Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias}}, title = {{{The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling}}}, year = {{2014}}, } @inproceedings{20910, author = {{Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher}}, booktitle = {{Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling}}, pages = {{23:23--23:30}}, publisher = {{ACM, New York, NY, USA}}, title = {{{Viewpoints and Views in Hardware Platform Modeling for Safe Deployment}}}, year = {{2014}}, } @inproceedings{20912, abstract = {{Mechatronics is the close interaction of mechanics, electronics, control engineering and software engineering. The increasing complexity of mechatronic systems results in a challenging development process and particularly requires a consistent comprehension of the tasks between all the engineers involved. Especially during the early design phases, the communication and cooperation between the mechanical, electrical, control and software engineers is necessary to establish a basis for efficient and effective product development. The approach of Model-Based Systems Engineering focuses on this aspect by means of an abstract but superordinate system model. It enables a holistic view of the system. The system model can be specified using the Systems Modeling Language (SysML). The language allows many degrees of freedom to specify a fact, bearing in mind that different system architects can specify the same fact in different ways. This leads to system models that can be interpreted in many ways. Thus, these models are hard to consistently compare and interpret, resulting in communication issues. In order to tackle this problem, we present a concept that uses modeling rules supporting model comparability. We formalize them by means of checks implemented in the programming language Java and the Object Constraint Language (OCL) in order to automatically verify the system model’s compliance with these rules.}}, author = {{Kaiser, Lydia and Dumitrescu, Roman and Holtmann, Jörg and Meyer, Matthias}}, booktitle = {{Volume 2B: 33rd Computers and Information in Engineering Conference}}, isbn = {{9780791855867}}, title = {{{Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems}}}, doi = {{10.1115/detc2013-12330}}, year = {{2014}}, }