@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{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}},
}

@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{449,
  abstract     = {{Cloud computing resulted in a continuously growing number of provided software services to be used by consumers. Brokers discover services that fit best to consumers' requirements by matching Qualityof-Service (QoS) properties. In order to negotiate Service-Level Agreements (SLAs), a provider has to determine the provided QoS based on QoS analyses. However, the risk for the provider to violate the SLA is high as the service's actual quality can deviate from the specified QoS due to uncertainties that occur during the provider's quality analysis. In this paper, we discuss current software engineering paradigms like cloud computing and service-oriented computing with respect to the amount of uncertainty they induce into service matching and SLA negotiations. As a result, we explain, why cloud computing reduces such uncertainties.}},
  author       = {{Becker, Matthias and Platenius, Marie Christin and Becker, Steffen}},
  booktitle    = {{Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB)}},
  pages        = {{153--159}},
  title        = {{{Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!}}},
  doi          = {{10.1007/978-3-319-14886-1_15}},
  year         = {{2014}},
}

@inproceedings{401,
  abstract     = {{Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice.}},
  author       = {{Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}},
  booktitle    = {{Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}},
  pages        = {{6--17}},
  title        = {{{Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}}},
  doi          = {{10.1007/978-3-319-14886-1_2}},
  year         = {{2014}},
}

@inproceedings{402,
  abstract     = {{Various approaches in service engineering are based on servicemarkets where brokers use service matching in order to performservice discovery. For matching, a broker translates the specifications ofproviders' services and requesters' requirements into her own specificationlanguage, in order to check their compliance using a matcher. Thebroker's success depends on the configuration of her language and itsmatcher because they in uence important properties like the effort forproviders and requesters to create suitable specifications as well as accuracyand runtime of matching. However, neither existing service specification languages, nor existing matching approaches are optimized insuch way. Our approach automatically provides brokers with an optimalconfiguration of a language and its matcher to improve her success ina given market with respect to her strategy. The approach is based onformalized configuration properties and a predefined set of configurationrules.}},
  author       = {{Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}},
  booktitle    = {{Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}},
  editor       = {{Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, Sami}},
  pages        = {{543--550}},
  title        = {{{Market-optimized Service Specification and Matching}}},
  doi          = {{10.1007/978-3-662-45391-9_47}},
  year         = {{2014}},
}

@inproceedings{409,
  abstract     = {{Service markets provide software components in the formof services. In order to enable a service discovery that satisfies servicerequesters and providers best, markets need automatic service matching:approaches for comparing whether a provided service satisfies a servicerequest. Current markets, e.g., app markets, are limited to basic keywordbasedsearch although many better suitable matching approaches aredescribed in literature. However, necessary architectural decisions forthe integration of matchers have a huge impact on quality propertieslike performance or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet, and systematic approaches for their integration into service marketsare missing. In this paper, we present a systematic integration approachincluding the definition of requirements and a discussion on architecturaltactics. As a benefit, the decision-making process of integrating servicematchers is supported and the overall market success can be improved.}},
  author       = {{Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}},
  booktitle    = {{Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}},
  editor       = {{Avgeriou, Paris and Zdun, Uwe}},
  pages        = {{210--217}},
  title        = {{{Integrating Service Matchers into a Service Market Architecture}}},
  doi          = {{10.1007/978-3-319-09970-5_19}},
  year         = {{2014}},
}

@inproceedings{5189,
  author       = {{Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick}},
  booktitle    = {{Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14}},
  isbn         = {{9781450327848}},
  publisher    = {{ACM Press}},
  title        = {{{FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}}},
  doi          = {{10.1145/2594291.2594299}},
  year         = {{2014}},
}

@inproceedings{5190,
  author       = {{Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}},
  booktitle    = {{International Conference on Availability, Reliability and Security (ARES 2014)}},
  pages        = {{40--49}},
  publisher    = {{IEEE}},
  title        = {{{DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}}},
  year         = {{2014}},
}

@misc{20978,
  author       = {{Hüwe, Marcus}},
  publisher    = {{Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}},
  title        = {{{Das Verteilungsproblem für mechatronische Systeme}}},
  year         = {{2013}},
}

@inproceedings{20980,
  abstract     = {{Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit. Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“, nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie aktuelle Ergebnisse aus dem Projekt vor.}},
  author       = {{Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}},
  booktitle    = {{8. Dortmunder Autotag}},
  title        = {{{Simulationsgestützter Entwurf für Elektrofahrzeuge}}},
  year         = {{2013}},
}

@misc{20985,
  abstract     = {{Die in der Automobilindustrie verwendeten eingebetteten Systeme gehören zu den komplexesten eingebetteten Systemen. Die Automobilhersteller sind in der Entwicklung ständig bemüht sowohl die Sicherheit und den Komfort des Fahrers also auch der anderen Insassen zu verbessern. Die meisten der entwickelten Systeme sind sowohl zeit- als auch sicherheitskritisch. Einer Studie von Mercedes-Benz zufolge resultieren 80% der Innovationen in der Automobilbranche aus neuen Elektronikkomponenten, deren Funktionen zu 90% durch Software realisiert wird. Um die steigende Komplexität in der Entwicklung von eingebetteten Systemen zu beherrschen wird in der Automobilbranche immer öfter die modelbasierte Softwareentwicklung anstelle der klassischen Programmierung eingesetzt. Im Requirements Engineering, der ersten Phase der Entwicklung eines Produktes, werden die Anforderungen gesammelt und dokumentiert. Die Dokumentation erfolgt mittels natürlicher Sprache. Modellbasierte Ansätze werden heutzutage höchstens unterstützend eingesetzt. Während des Requirements Engineerings muss der Requirements Engineer sowohl die funktionalen Anforderungen an das zu entwickelnde System als auch seine zeitlichen Anforderungen spezifizieren und analysieren. Die funktionalen Anforderungen umfassen dabei insbesondere die Kommunikation zwischen den verschiedenen Teilsystemen. Szenarien stellen eine intuitive Möglichkeit zur Modellierung von funktionalen Anforderungen dar. Im Rahmen dieser Arbeit wird ein modellbasierter Ansatz zur Modellierung von Szenarien verwendet. Anforderungen an das zeitliche Verhalten werden innerhalb der Architektur spezifiziert. Dazu stehen in der Automobilbranche Architekturbeschreibungssprachen wie EAST-ADL zur Verfügung. Obwohl sowohl funktionale als auch zeitliche Anforderungen an das System spezifiziert und analysiert werden müssen, existiert bisher keine Methodik, die beide Ansätze miteinander kombiniert. Aus diesem Grund wurde im Rahmen dieser Arbeit eine neue Requirements Engineering Methodik entwickelt, die eine systematische und ganzheitliche Spezifikation und Analyse der funktionalen und zeitlichen Anforderungen bereitstellt. Wir haben zwei Modelltransformationen entwickelt, um den Requirements Engineer beim Übergang von den funktionalen zu den zeitlichen Anforderungen zu unterstützen. Die vorliegende Arbeit wird durch eine Evaluierung der Methodik, sowie der Modelltransformationen auf Basis eines Komfortsteuergerätes abgerundet.
}},
  author       = {{Koch, Thorsten}},
  publisher    = {{University of Paderborn}},
  title        = {{{Combining Scenario-based and Architecture-based Timing Requirements}}},
  year         = {{2013}},
}

@inproceedings{20831,
  abstract     = {{Die Komplexität von mechatronischen Systemen wird stetig größer. MechatronicUML (MUML) ist eine Methode zur Entwicklung für Software von mechatronischen Systemen. Im Rahmen einer Bachelorarbeit wurde ein bestehender Quelltextgenerator für MUML-Modelle so erweitert, dass Quelltext für ein Echtzeitbetriebssystem generiert werden kann, welches auf einem LEGO Mindstorms-Roboter installiert ist.}},
  author       = {{Geismann, Johannes}},
  booktitle    = {{Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten}},
  pages        = {{71--74}},
  publisher    = {{Köllen Verlag}},
  title        = {{{Quelltextgenerierung für LEGO Mindstorms-Roboter}}},
  volume       = {{12}},
  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}},
}

@inproceedings{484,
  abstract     = {{One of the main ideas of Service-Oriented Computing (SOC) is the delivery of flexibly composable services provided on world-wide markets. For a successful service discovery,service requests have to be matched with the available service offers. However, in a situation in which no service that completely matches the request can be discovered, the customer may tolerate slight discrepancies between request and offer. Some existing fuzzy matching approaches are able to detectsuch service variants, but they do not allow to explicitly specify which parts of a request are not mandatory. In this paper, we improve an existing service matching approach based onVisual Contracts leveraging our preliminary work of design pattern detection. Thereby, we support explicit specifications of service variants and realize gradual matching results that can be ranked in order to discover the service offer that matches a customer’s request best.}},
  author       = {{Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}},
  booktitle    = {{IEEE 20th International Conference on Web Services (ICWS 2013)}},
  pages        = {{613--614}},
  title        = {{{Service Matching under Consideration of Explicitly Specified Service Variants}}},
  doi          = {{10.1109/ICWS.2013.98}},
  year         = {{2013}},
}

@phdthesis{494,
  abstract     = {{The maintenance of component-based software systems requires up-to-date models of their concrete architecture, i.e. the architecture that is realised in the source code. These models help in systematically planning, analysing and executing typical reengineering activities. Often no or only outdated architectural models of such systems exist. Therefore, various reverse engineering methods have been developed which try to recover a system's components, subsystems and connectors. However, these reverse engineering methods are severely impacted by design deciencies in the system's code base, especially violations of the component encapsulation. As long as design deciencies are not considered in the reverse engineering process, they reduce the quality of the recovered component structures. Despite this impact of design deciencies, no existing architecture reconstruction approach explicitly integrates a systematic deciency detection and removal into the recovery process. Therefore, I have developed Archimetrix. Archimetrix is a tool-supported architecture reconstruction process. It enhances a clustering-based architecture recovery approach with an extensible, pattern-based deciency detection. After the detection of deciencies, Archimetrix supports the software architect in removing the de ciencies and provides the means to preview the architectural consequences of such a removal. I also provide a process to identify and formalise additional deciencies. I validated the approach on three case studies which show that Archimetrix is able to identify relevant deciencies and that the removal of these deciencies leads to an increased quality of the recovered architectures, i.e. they are closer to the corresponding conceptual architectures.}},
  author       = {{von Detten, Markus}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies}}},
  year         = {{2013}},
}

@inproceedings{527,
  abstract     = {{In the future vision of software engineering, services from world-wide markets are composed automated in order to build custom-made systems.Supporting such scenarios requires an adequate service matching approach.Many existing approaches do not fulfill two key requirements of emerging concepts like On-The-Fly-Computing, namely (1) comprehensiveness, i.e., the consideration of different service aspects that cover not only functional properties, but also non-functional properties and (2) fuzzy matching, i.e., the ability to deliver gradual results in order to cope with a certain extent of uncertainty, incompleteness, and tolerance ranges.In this paper, I present a fuzzy matching process that distinguishes between different fuzziness sources and leverages fuzziness in different matching steps which consider different service aspects, e.g., behavior and quality properties. }},
  author       = {{Christin Platenius, Marie}},
  booktitle    = {{Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}},
  pages        = {{ 715--718 }},
  title        = {{{Fuzzy Service Matching in On-The-Fly Computing}}},
  doi          = {{10.1145/2491411.2492405}},
  year         = {{2013}},
}