202 research outputs found
From SPLs to Open, Compositional Platforms
No full textIn this position paper we reflect on how software development in large organizations such as ours is slowly changing from being top down managed, as is common in SPL organizations, towards something that increasingly resembles what is happening in large open source organizations. Additionally, we highlight what this means in terms of organization and tooling
Das Interview
No full textDigitalization unleashedThis interview with Manfred Broy and Christian Prehofer describes the role of Informatics and its new challenges with the advent of digitalization, the typical phases of digitalization, from the digitalization of existing processes to new digital business models and ecosystems. Informatics, especially data analytics and software engineering, are essential for actively shaping these new, data-driven business models. Software and data are no longer just enablers, but form critical assest which shape new new business. From this perspective, we analyze the role of informatics in research, teaching and practice
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact)
No full textThis artifact supports our research in self-adaptation in large-scale
software-intensive distributed systems. The main problem
in making such systems self-adaptive is that their adaptation
needs to consider the current situation in the whole system.
However, developing a complete and accurate model of such
systems at design time is very challenging. We are instead investigating
a novel approach where the system model consists only
of the essential input and output parameters and Big Data
analytics is used to guide self-adaptation based on a continuous
stream of operational data. In this artifact, we provide a concrete model
problem that can be used as a case study for evaluating different self-adaptation
techniques pertinent to complex large-scale distributed systems.
We also provide an extensible tool-based framework for endorsing an arbitrary
system with self-adaptation based on analysis of operational
data coming from the system. The model problem (CrowdNav) and the framework (RTX) have been packaged together in this artifact, but can also work independently
Analysis of event processing design patterns and their perfomance dependency on I/O notification mechanisms
No full textAn Adaptive Control Model for Non-functional Feature Interactions
No full textS.501-507Many systems, especially distributed embedded systems, have very strong emphasis on non-functional properties, which are often cross-cutting and difficult to capture in a modular way. Here, we consider non-functional feature interactions, which occur if two features show unexpected behavior regarding non-functional properties. The goal is to handle non-functional properties and interactions in a modular and flexible way on a separate control layer. On this ontrol layer, we can adapt control components to different feature interactions. We use statecharts to describe control models and use statechart refinement to make interactions explicit. We present our approach by two examples with several non-functional feature interactions and argue that the control layer can address these. The main advantages are modular control of non-functional properties and explicit modeling of non-functional feature interactions on a separate control layer
Modularizing Flink programs to enable stream analytics in IoT Mashup tools = Modularización de programas Flink para el análisis de datos en tiempo real en herramientas de Mashup para IOT
No full textAmong all the challenges that the Internet of Things (IoT) has posed, the analysis of large amounts of information in real time is probably one of the most considerable ones.
To this purpose, novel Big Data approaches foster Stream Analytics as a solution to the strict latency and throughput requirements that IoT platforms impose. Thus, Stream Analytics should constitute an essential component in IoT applications.
However, developing IoT applications is no easy task. To simplify the process of addressing heterogeneous devices at once, mashup tools are widely extended. They provide
a lightweight, user-friendly way to prototyping, but currently they lack integration with platforms for Stream Analytics.
The main goal of this Thesis is to integrate Apache Flink, an open source platform for distributed Stream Analytics, into aFlux, an IoT mashup tool developed at the Chair
of Software and Systems Engineering of the Technical University of Munich. To this end, a conceptual approach to modularize Flink programs in a generic, flexible and
expandable way has been designed, implemented and evaluated. With this approach, end users may not only program Flink graphically, but also get support on how to do it right during the creation of these programs
Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks
No full textMotivated by the current trends in wireless tech- nologies, we present challenging scenarios consisting of mov- ing and uncoordinated wireless objects as well as algorithms that are likely to perform well in such environments. Our primary interest is to design network protocols to efficiently build and maintain distributed communication systems based on opportunistic principles. Such systems should continue to operate well even if communication is sporadic, no end-to-end routes are available, and sources and consumers of informa- tion are not known in advance. Also the environment poses many challenges, that are typical for wireless mobile devices, such as wireless channel impairments, the impossibility of having up-to-date and accurate views of the network topology at every device, and limited energy resources. In the second part of the paper, we discuss and propose solutions for data dissemination in such an environment by exploiting network coding techniques. Furthermore, we report first results which reveal that network coding largely outperforms standard solutions which are based on the classical store and forward paradigm
Selbst-Adaptivität in vernetzten eingebetteten Systemen unter Berücksichtigung nicht-funktionaler Anforderungen
No full textViele technische Systeme, wie z.B. Automobile, Flugzeuge oder Industrieanlagen bestehen heute aus einer wachsenden Anzahl miteinander verbundener Computersysteme, sog. vernetzter eingebetteter Systeme. Diese übernehmen Aufgaben wie die Überwachung und Steuerung von Geräten, sowie die Verarbeitung von Daten und Signalen. Dabei führt die Zunahme an softwarebasierten Funktionsmerkmalen in diesen Systemen und die wachsende Vernetzung der Funktionsmerkmale untereinander zu einer kontinuierlichen Komplexitätssteigerung. Um die Komplexität vernetzter eingebetteter Systeme auch in Zukunft beherrschen zu können und die Flexibilität, die Erweiterbarkeit sowie die Robustheit dieser Systeme zu erhöhen, können vernetzte eingebettete Systeme um Selbst-Adaptivität erweitert werden. In dieser Arbeit wird Adaptivität durch die Anpassung der Allokation der Softwarekomponenten des vernetzten eingebetteten Systems zur Laufzeit als Reaktion auf Änderungen in der Umgebung des Systems oder innerhalb des Systems selbst realisiert. Diese Arbeit präsentiert Lösungen für konkrete Fragestellungen bei der Realisierung von Laufzeitadaption in vernetzten eingebetteten Systemen unter Berücksichtigung der nicht-funktionalen Anforderungen in diesen Systemen. Dies umfasst ein Verfahren zur effizienten Bestimmung einer neuen Allokation des vernetzten eingebetteten Systems unter Berücksichtigung der im Entwurf definierten nicht-funktionalen Anforderungen an das System. Um die neu geplante Allokation durch die Migration von Softwarekomponenten umzusetzen, wird im Rahmen dieser Arbeit ein neues Verfahren zur zuverlässigen Durchführung der Laufzeitadaption in einem vernetzten eingebetteten System vorgestellt, wobei die eigentliche Funktionalität des Systems durch den Adaptionsprozess selbst nicht beeinträchtigt wird. Des Weiteren wird in dieser Arbeit eine mehrstufige, hierarchische Kontrollarchitektur zur schnellen Realisierung der Laufzeitadaption in einem vernetzten eingebetteten System durch Anpassung der Allokation der Softwarekomponenten präsentiert. Als konkretes Anwendungsbeispiel für komplexe vernetzte eingebettete Systeme werden im Rahmen dieser Arbeit automobile E/E-Systeme betrachtet
Higher-Order Functional-Logic Programming: A Systematic Development
No full textWe develop an effective model for higher-order functional-logic programming by refining higher-order narrowing calculi. The refinements reduce the high degree of non-determinism in narrowing calculi, utilizing properties of functional(-logic) programs. These include convergent and left-linear rewrite rules. All refinements can be combined to a narrowing strategy which generalizes call-by-need as in functional programming. Furthermore, we consider conditional rewrite rules which are often convenient for programming applications. 1. Introduction We present a systematic development of a calculus which integrates higher-order functional and logic programming, based on narrowing. Narrowing is a general method for solving equations modulo a set of rewrite rules. Functional-logic languages with a sound and complete operational semantics are mainly based on narrowing. For a survey on the topic we refer to [9]. In our higher-order equational logic we use a rewrite relation due to Nipkow [18],..
Feature-Oriented Programming: A Fresh Look at Objects
No full text. We propose a new model for flexible composition of objects from a set of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Overwriting other methods is viewed as resolving feature interactions and is specified separately for two features at a time. This programming model allows to compose features (almost) freely in a way which generalizes inheritance and aggregation. For a set of n features, an exponential number of different feature combinations is possible, assuming a quadratic number of interaction resolutions. We present the feature model as an extension of Java and give two translations to Java, one via inheritance and the other via aggregation. We further discuss parameterized features, which work nicely with our feature model and can be translated into Pizza, an extension of Java. 1 Introduction A major contribution of object-oriented programming is reuse by inheritance or subclassing. Its success and its extens..
- …
