@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}}, } @inproceedings{560, abstract = {{In the last decades, development turned from monolithic software products towards more flexible software components that can be provided on world-wide markets in form of services. Customers request such services or compositions of several services. However, in many cases, discovering the best services to address a given request is a tough challenge and requires expressive, gradual matching results, considering different aspects of a service description, e.g., inputs/ouputs, protocols, or quality properties. Furthermore,in situations in which no service exactly satifies the request, approximate matching which can deal with a certain amount of fuzziness becomes necessary. There is a wealth of service matching approaches, but it is not clear whether there is a comprehensive, fuzzy matching approach which addresses all these challenges. Although there are a few service matchingsurveys, none of them is able to answer this question. In this paper, we perform a systematic literature survey of 35 (outof 504) service matching approaches which consider fuzzy matching. Based on this survey, we propose a classication,discuss how different matching approaches can be combined into a comprehensive matching method, and identify future research challenges.}}, author = {{Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}}, booktitle = {{Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}}, pages = {{143--152}}, title = {{{A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}}}, doi = {{10.1145/2465449.2465454}}, year = {{2013}}, } @inproceedings{20974, abstract = {{The functionality realized by software in modern cars is increasing and as a result the development artifacts of automotive systems are getting more complex. The existence of traceability along these artifacts is essential, since it allows to monitor the product development from the initial requirements to the final code. However, traceability is established and maintained mostly manually, which is time-consuming and error-prone. A further crucial problem is the assurance of the validity of the trace links, that is, the linked elements are indeed related to each other. In this paper we present a semiautomatic approach to create, check, and update trace links between artifacts along an automotive development process. }}, author = {{Fockel, Markus and Holtmann, Jörg and Meyer, Jan}}, booktitle = {{2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}}, isbn = {{9781467318532}}, title = {{{Semi-automatic establishment and maintenance of valid traceability in automotive development processes}}}, doi = {{10.1109/sees.2012.6225489}}, year = {{2012}}, } @inbook{20914, abstract = {{This chapter summarizes the application and evaluation of the SPES engineering methodology in the automotive domain. After introducing the particular domain characteristics, we state some research questions that we have investigated. Some of the activities that address these research questions are presented in detail. We conclude that the SPES engineering methodology is a good basis for the development of automotive systems, but could be further refined to fit the particular needs of the domain.}}, author = {{Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}}, booktitle = {{Model-Based Engineering of Embedded Systems}}, isbn = {{9783642346132}}, title = {{{Application and Evaluation in the Automotive Domain}}}, doi = {{10.1007/978-3-642-34614-9_12}}, year = {{2012}}, } @inproceedings{630, abstract = {{Maintaining software systems requires up-to-date models of these systems to systematically plan, analyse and execute the necessary reengineering steps. Often, no or only outdated models of such systems exist. Thus, a reverse engineering step is needed that recovers the system’s components, subsystems and connectors. However, reverse engineering methods are severely impacted by design deficiencies in the system’s code base, e.g., they lead to wrong component structures. Several approaches exist today for the reverse engineering of component-based systems, however, none of them explicitly integrates a systematic design deficiency removal into the process to improve the quality of the reverse engineered architecture. Therefore, in our Archimetrix approach, we propose to regard the most relevant deficiencies with respect to the reverse engineered component-based architecture and support reengineers by presenting the architectural consequences of removing a given deficiency. We validate our approach on the Common Component Modeling Example and show that we are able to identify relevant deficiencies and that their removal leads to an improved reengineered architecture.}}, author = {{Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}}, booktitle = {{Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}}, pages = {{255--264}}, title = {{{Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}}}, doi = {{10.1109/CSMR.2012.33}}, year = {{2012}}, } @article{5183, author = {{Bodden, Eric and Lam, Patrick and Hendren, Laurie}}, issn = {{0164-0925}}, journal = {{ACM Transactions on Programming Languages and Systems}}, number = {{2}}, pages = {{1--52}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Partially Evaluating Finite-State Runtime Monitors Ahead of Time}}}, doi = {{10.1145/2220365.2220366}}, volume = {{34}}, year = {{2012}}, } @inproceedings{20958, abstract = {{Nowadays requirements are mostly specified in unrestricted natural language so that each stakeholder understands them. To ensure high quality and to avoid misunderstandings, the requirements have to be validated. Because of the ambiguity of natural language and the resulting absence of an automatic mechanism, this has to be done manually. Such manual validation techniques are timeconsuming, error-prone, and repetitive because hundreds or thousands of requirements must be checked. With an automatic validation the requirements engineering process can be faster and can produce requirements of higher quality. To realize an automatism, we propose a controlled natural language (CNL) for the documentation of requirements. On basis of the CNL, a concept for an automatic requirements validation is developed for the identification of inconsistencies and incomplete requirements. Additionally, automated correction operations for such defective requirements are presented. The approach improves the quality of the requirements and therefore the quality of the whole development process.}}, author = {{Holtmann, Jörg and Meyer, Jan and von Detten, Markus}}, booktitle = {{2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops}}, isbn = {{9781457700194}}, title = {{{Automatic Validation and Correction of Formalized, Textual Requirements}}}, doi = {{10.1109/icstw.2011.17}}, year = {{2011}}, } @inproceedings{20960, abstract = {{Heutige Steuergeraete im Automobilbereich zeichnen sich durch eine hohe Funktionsvielfalt und eine hohe Vernetzung untereinander aus. Dies fuehrt zu immer komplexeren Systemen, wobei auch immer mehr sicherheitskritische Funktionen durch Software realisiert werden. Damit die Qualitaet der Software entsprechend hoch und zufriedenstellend ist, erfordert die Entwicklung ein systematisches und prozesskonformes Vorgehen. Der fuer die Softwarearchitektur entwickelte AUTOSAR Standard ist allerdings nicht fuer die fruehen Entwicklungsphasen wie die Anforderungsanalyse und das Systemarchitekturdesign gedacht, welche von Prozessbewertungsmodellen – wie Automotive SPICE – gefordert werden. Als Loesung fuer die Analyse bietet sich die Nutzung der Systems Modeling Language (SysML) mit Anpassungen bzw. Erweiterungen an die Beduerfnisse der Automobilindustrie, an. Damit aber keine Luecke im Entwicklungsprozess entsteht, wird bei der hier vorgestellten Methode ein wohldefinierter uebergang zur AUTOSAR Architektur, und zwar zur Applikations- und zur Basissoftware, definiert. }}, author = {{Meyer, Jan and Holtmann, Jörg}}, booktitle = {{Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII}}, pages = {{21--30}}, publisher = {{fortiss GmbH}}, title = {{{Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR}}}, year = {{2011}}, } @inproceedings{20975, abstract = {{Software maintenance tasks require knowledge about the software’s design. Several tools help to identify implementations of software patterns, e.g. Design Patterns, in source code and thus help to reveal the underlying design. In case of the reverse engineering tool suite Reclipse, detection algorithms are generated from manually created, formal pattern specifications. Due to numerous variants that have to be considered, the pattern specification is error-prone. Because of this, the complex, step-wise generation process has to be traceable backwards to identify specification mistakes. To increase the traceability, we directly interpret the detection algorithm models (story diagrams) instead of executing code generated from these models. This way, a reverse engineer no longer has to relate generated code to the story diagrams to find mistakes in pattern specifications. }}, author = {{Fockel, Markus and Travkin, Dietrich and von Detten, Markus}}, booktitle = {{Proceedings of the 8th International Fujaba Days}}, title = {{{Interpreting Story Diagrams for the Static Detection of Software Patterns}}}, year = {{2011}}, } @inproceedings{20915, abstract = {{Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung) zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen automatisch erkannt. }}, author = {{Meyer, Jan and Holtmann, Jörg and Meyer, Matthias}}, booktitle = {{8. Paderborner Workshop Entwurf mechatronischer Systeme}}, pages = {{203--215}}, publisher = {{Heinz Nixdorf Institut}}, title = {{{Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen}}}, volume = {{294}}, year = {{2011}}, } @inproceedings{20916, abstract = {{Safety critical functions for embedded systems are increasingly realized with software. Current and future standards and maturity models impose high accuracy and quality for the development process of such software-intensive, embedded systems. But nowadays, there are process and tooling gaps between different modeling aspects for the system under development (SUD). Furthermore, the SUD is usually verified and validated not until it is completely implemented, which leads to expensive corrections. In this paper we present a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages.}}, author = {{Holtmann, Jörg and Meyer, Jan and Meyer, Matthias}}, booktitle = {{Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)}}, pages = {{79--88}}, publisher = {{Bonner Koellen Verlag}}, title = {{{A Seamless Model-Based Development Process for Automotive Systems}}}, volume = {{P-184}}, year = {{2011}}, }