TY - CONF AU - Arzt, Steven AU - Rasthofer, Siegfried AU - Fritz, Christian AU - Bodden, Eric AU - Bartel, Alexandre AU - Klein, Jacques AU - Le Traon, Yves AU - Octeau, Damien AU - McDaniel, Patrick ID - 5189 SN - 9781450327848 T2 - Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 TI - FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps ER - TY - CONF AU - Arzt, Steven AU - Rasthofer, Siegfried AU - Lovat, Enrico AU - Bodden, Eric ID - 5190 T2 - International Conference on Availability, Reliability and Security (ARES 2014) TI - DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android ER - TY - GEN AU - Hüwe, Marcus ID - 20978 TI - Das Verteilungsproblem für mechatronische Systeme ER - TY - CONF AB - 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. AU - Farshizadeh, Emad AU - Briese, Hermann AU - Steinmann, David AU - Stockmann, Lars AU - Beringer, Steffen AU - Holler, Dominik AU - Klobedanz, Kay AU - Heinzemann, Christian AU - Peter, Klaus AU - Leuer, Michael ID - 20980 T2 - 8. Dortmunder Autotag TI - Simulationsgestützter Entwurf für Elektrofahrzeuge ER - TY - GEN AB - 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. AU - Koch, Thorsten ID - 20985 TI - Combining Scenario-based and Architecture-based Timing Requirements ER - TY - CONF AB - 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. AU - Geismann, Johannes ID - 20831 T2 - Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten TI - Quelltextgenerierung für LEGO Mindstorms-Roboter VL - 12 ER - TY - CONF AU - Frieben, Jens AU - Heutger, Henning AU - Meyer, Matthias AU - Becker, Steffen ID - 20913 T2 - 9. Paderborner Workshop Entwurf mechatronischer Systeme TI - Modulare Leistungsprognose von Kompaktsteuerungen ER - TY - CONF AB - 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. AU - Platenius, Marie Christin AU - von Detten, Markus AU - Gerth, Christian AU - Schäfer, Wilhelm AU - Engels, Gregor ID - 484 T2 - IEEE 20th International Conference on Web Services (ICWS 2013) TI - Service Matching under Consideration of Explicitly Specified Service Variants ER - TY - THES AB - 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. AU - von Detten, Markus ID - 494 TI - Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies ER - TY - CONF AB - 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. AU - Christin Platenius, Marie ID - 527 T2 - 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) TI - Fuzzy Service Matching in On-The-Fly Computing ER - TY - CONF AB - 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. AU - Platenius, Marie AU - von Detten, Markus AU - Becker, Steffen AU - Schäfer, Wilhelm AU - Engels, Gregor ID - 560 T2 - Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering TI - A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing ER - TY - CONF AB - 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. AU - Fockel, Markus AU - Holtmann, Jörg AU - Meyer, Jan ID - 20974 SN - 9781467318532 T2 - 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES) TI - Semi-automatic establishment and maintenance of valid traceability in automotive development processes ER - TY - CHAP AB - 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. AU - Fockel, Markus AU - Heidl, Peter AU - Höfflinger, Jens AU - Hönninger, Harald AU - Holtmann, Jörg AU - Horn, Wilfried AU - Meyer, Jan AU - Meyer, Matthias AU - Schäuffele, Jörg ID - 20914 SN - 9783642346132 T2 - Model-Based Engineering of Embedded Systems TI - Application and Evaluation in the Automotive Domain ER - TY - CONF AB - 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. AU - Platenius, Marie Christin AU - von Detten, Markus AU - Becker, Steffen ID - 630 T2 - Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) TI - Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies ER - TY - JOUR AU - Bodden, Eric AU - Lam, Patrick AU - Hendren, Laurie ID - 5183 IS - 2 JF - ACM Transactions on Programming Languages and Systems SN - 0164-0925 TI - Partially Evaluating Finite-State Runtime Monitors Ahead of Time VL - 34 ER - TY - CONF AB - 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. AU - Holtmann, Jörg AU - Meyer, Jan AU - von Detten, Markus ID - 20958 SN - 9781457700194 T2 - 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops TI - Automatic Validation and Correction of Formalized, Textual Requirements ER - TY - CONF AB - 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. AU - Meyer, Jan AU - Holtmann, Jörg ID - 20960 T2 - Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII TI - Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR ER - TY - CONF AB - 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. AU - Fockel, Markus AU - Travkin, Dietrich AU - von Detten, Markus ID - 20975 T2 - Proceedings of the 8th International Fujaba Days TI - Interpreting Story Diagrams for the Static Detection of Software Patterns ER - TY - CONF AB - 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. AU - Meyer, Jan AU - Holtmann, Jörg AU - Meyer, Matthias ID - 20915 T2 - 8. Paderborner Workshop Entwurf mechatronischer Systeme TI - Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen VL - 294 ER - TY - CONF AB - 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. AU - Holtmann, Jörg AU - Meyer, Jan AU - Meyer, Matthias ID - 20916 T2 - Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium) TI - A Seamless Model-Based Development Process for Automotive Systems VL - P-184 ER -