@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{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     = {{<jats:p>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.</jats:p>}},
  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}},
}

@inproceedings{23085,
  author       = {{Damerow, Ulf-Hendrik and Borsig, Michael and Tabakajew, Dmitri and Schaermann, Waldemar and Homberg, Werner and Trächtler, Ansgar}},
  booktitle    = {{Procedia Engineering 81}},
  pages        = {{831--836}},
  publisher    = {{Elsevier}},
  title        = {{{Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability}}},
  year         = {{2014}},
}

@inproceedings{23096,
  author       = {{Pai, Arathi and Krooß, Philipp and Niendorf, Thomas and Koke, Isabel and Trächtler, Ansgar and Schaper, Mirko}},
  booktitle    = {{Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien}},
  title        = {{{Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model}}},
  year         = {{2014}},
}

@proceedings{23097,
  editor       = {{Damerow, Ulf-Hendrik and Tabakajew, Dmitri and Borsig, Michael and Schaermann, Waldemar and Homberg, Werner and Trächtler, Ansgar}},
  publisher    = {{Elsevier}},
  title        = {{{Concept for a self-correcting sheet metal bending operation}}},
  volume       = {{Volume 15}},
  year         = {{2014}},
}

@proceedings{23100,
  editor       = {{Schaermann, Waldemar and Borsig, Michael and Trächtler, Ansgar and Tabakajew, Dmitri and Damerow, Ulf-Hendrik and Homberg, Werner and Hesse, Marc and Jungeblut, Thorsten}},
  publisher    = {{VDI- Verlag, Düsseldorf}},
  title        = {{{Selbstkorrigierende Biegeprozesse in der Umformtechnik}}},
  year         = {{2014}},
}

@inproceedings{23103,
  author       = {{Krüger, Martin and Borsig, Michael and Schaermann, Waldemar}},
  booktitle    = {{KoMSO Challenge Workshop Math for the Digital Factory}},
  title        = {{{Model-based design of self-correcting forming processes}}},
  year         = {{2014}},
}

@proceedings{23104,
  editor       = {{Borsig, Michael and Trächtler, Ansgar}},
  publisher    = {{Moscow State University of Railway Engineering}},
  title        = {{{RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES}}},
  year         = {{2014}},
}

@techreport{20973,
  author       = {{Daun, Marian and Fockel, Markus and Holtmann, Jörg and Tenbergen, Bastian}},
  title        = {{{Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study "Body Control Module"}}},
  year         = {{2013}},
}

@inproceedings{20911,
  abstract     = {{One approach to cope with the growing complexity of today’s embedded systems software, especially in the automotive domain, is component-based software development. For systems based on hierarchical component architectures like AUTOSAR and developed in conformance with process models such as Automotive SPICE, requirements should be specified for the whole system under development and partitioned subsequently onto the particular components across several hierarchy layers. In previous work, we developed a formal requirements engineering (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) and to formally verify the requirements for consistency. However, these scenarios are specified on a plain structural basis that does not reflect the typical structure of component architectures, which are arranged in a hierarchical way and encompass ports, interfaces, and directed connectors. In order to tackle this problem, we introduce in this paper a modeling and simulation approach for MSDs based on hierarchical component architectures. By binding these two aspects together, we foster an integrated and iterative RE and component architecture design.
}},
  author       = {{Holtmann, Jörg and Meyer, Matthias}},
  booktitle    = {{Proceedings of 11th Workshop Automotive Software Engineering}},
  pages        = {{2458–2472}},
  publisher    = {{Bonner Koellen Verlag}},
  title        = {{{Play-out for Hierarchical Component Architectures}}},
  volume       = {{P-220}},
  year         = {{2013}},
}

@inproceedings{20913,
  author       = {{Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen}},
  booktitle    = {{9. Paderborner Workshop Entwurf mechatronischer Systeme}},
  pages        = {{147--160}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Modulare Leistungsprognose von Kompaktsteuerungen}}},
  year         = {{2013}},
}