A MDE-based optimisation process for Real-Time systems

The design and implementation of Real-Time Embedded Systems is now heavily relying on Model-Driven Engineering (MDE) as a central place to define and then analyze or implement a system. MDE toolchains are taking a key role as to gather most of functional and not functional properties in a central framework, and then exploit this information. Such toolchain is based on both 1) a modeling notation, and 2) companion tools to transform or analyse models. In this paper, we present a MDE-based process for system optimisation based on an architectural description. We first define a generic evaluation pipeline, define a library of elementary transformations and then shows how to use it through Domain-Specific Language to evaluate and then transform models. We illustrate this process on an AADL case study modeling a Generic Avionics Platform

A tale of three systems : case studies on the application of architectural tactics for cyber-foraging

Cyber-foraging is a technique to enable mobile devices to extend their computing power and storage by offloading computation or data to more powerful servers located in the cloud or in single-hop proximity. In previous work, we developed a set of reusable architectural tactics for cyber-foraging systems. We define architectural tactics as design decisions that influence the achievement of a system quality. In this article we present the results of three case studies to validate the application of the tactics to promote their intended functional and non-functional requirements. The first two case studies focus on the identification of architectural tactics in existing cyber-foraging systems. The third case study focuses on the development of a new cyber-foraging system using the architectural tactics. The results of the case studies are an initial demonstration of the validity of the tactics, and the potential for taking a tactics-driven approach to fulfill functional and non-functional requirements for cyber-foraging systems. (C) 2019 Elsevier B.V. All rights reserved

Gemischt-autonome Flotten in der urbanen Logistik

We consider a city logistics application in which a service provider seeks a repeatable plan to transport commodities from distribution centers to satellites. The service provider uses a mixed autonomous fleet that is composed of autonomous vehicles and manually operated vehicles. The autonomous vehicles are only able to travel independently on feasible streets of the heterogeneous infrastructure but elsewhere need to be pulled by manually operated vehicles in platoons. We introduce the service network design problem with mixed autonomous fleets to determine a tactical plan that minimizes the total costs over a medium-term time horizon. The tactical plan determines the size and mix of the fleet, schedules transportation services, and decides on the routing or outsourcing of commodities. We model this problem as an integer program on a time-expanded network and study the impact of different problem characteristics on the solutions. To precisely depict the synchronization requirements of the problem, the time-expanded networks need to consider narrow time intervals. Thus, we develop an exact solution approach based on the dynamic discretization discovery scheme that refines partially time-expanded networks containing only a fraction of the nodes and arcs of the fully time-expanded network. Further methodological contributions of this work include the introduction of valid inequalities, two enhancements that exploit linear relaxations, and a heuristic search space restriction. Computational experiments show that all evaluated variants of the solution approach outperform a commercial solver. For transferring a tactical plan to an operational solution that minimizes the transshipment effort on a given day, we present a post-processing technique that specifically assigns commodities to vehicles and vehicles to platoons. Finally, we solve a case study on a real-world based network resembling the city of Braunschweig, Germany. Analyzing the tactical and operational solutions, we assess the value of using a mixed autonomous fleet and derive practical implications.Wir betrachten eine Anwendung der urbanen Logistik, bei der ein Dienstleister einen wiederholbaren Plan für den Gütertransport von Distributionszentren zu Satelliten anstrebt. Dafür setzt der Dienstleister eine gemischt-autonome Flotte ein, die sich aus autonomen Fahrzeugen und manuell gesteuerten Fahrzeugen zusammensetzt. Die autonomen Fahrzeuge können nur auf bestimmten Straßen der heterogenen Infrastruktur selbstständig fahren, außerhalb dieser müssen sie von manuell gesteuerten Fahrzeugen mittels Platooning gezogen werden. Wir führen das „service network design problem with mixed autonomous fleets“ ein, um einen taktischen Plan zu ermitteln, der die Gesamtkosten über einen mittelfristigen Zeithorizont minimiert. Der taktische Plan bestimmt die Größe und Zusammensetzung der Flotte, legt die Transportdienste fest und entscheidet über das Routing oder das Outsourcing von Gütern. Wir modellieren dieses Problem als ganzzahliges Programm auf einem zeiterweiterten Netzwerk und untersuchen die Auswirkungen verschiedener Problemeigenschaften auf die Lösungen. Um die Synchronisationsanforderungen des Problems präzise darzustellen, müssen die zeiterweiterten Netzwerke kleine Zeitintervalle berücksichtigen. Daher entwickeln wir einen exakten Lösungsansatz, der auf dem Schema des „dynamic discretization discovery“ basiert und partiell zeiterweiterte Netzwerke entwickelt, die nur einen Teil der Knoten und Kanten des vollständig zeiterweiterten Netzwerks enthalten. Weitere methodische Beiträge dieser Dissertation umfassen die Einführung von Valid Inequalities, zweier Erweiterungen, die lineare Relaxationen verwenden, und einer heuristischen Suchraumbegrenzung. Experimente zeigen, dass alle evaluierten Varianten des Lösungsansatzes einen kommerziellen Solver übertreffen. Um einen taktischen Plan in eine operative Lösung zu überführen, die die Umladevorgänge an einem bestimmten Tag minimiert, stellen wir eine Post-Processing-Methode vor, mit der Güter zu Fahrzeugen und Fahrzeuge zu Platoons eindeutig zugeordnet werden. Schließlich lösen wir eine Fallstudie auf einem realitätsnahen Netzwerk, das der Stadt Braunschweig nachempfunden ist. Anhand der taktischen und operativen Lösungen bewerten wir den Nutzen einer gemischt-autonomen Flotte und leiten Implikationen für die Praxis ab

Simulating services-based systems hosted in networks with dynamic topology

The emerging use of mobile ad hoc networks combined with current trends in the use of service-based systems pose new challenges to accurate simulation of these systems. Current network simulators lack the ability to replicate the complex message exchange behaviour of services, while service simulators do not accurately capture of mobile network properties. In this paper we provide an overview of a framework for simulating both a service behavioural model and a mobile network. The framework is implemented as an extension of the NS-3 network simulator

Approaches to integrated strategic/tactical forest planning

Traditionally forest planning is divided into a hierarchy of planning phases. Strategic planning is conducted to make decisions about sustainable harvest levels while taking into account legislation and policy issues. Within the frame of the strategic plan, the purpose of tactical planning is to schedule harvest operations to specific areas in the immediate few years and on a finer time scale than in the strategic plan. The operative phase focuses on scheduling harvest crews on a monthly or weekly basis, truck scheduling and choosing bucking instructions. Decisions at each level are to a varying degree supported by computerized tools. A problem that may arise when planning is divided into levels and that is noted in the literature focusing on decision support tools is that solutions at one level may be inconsistent with the results of another level. When moving from the strategic plan to the tactical plan, three sources of inconsistencies are often present; spatial discrepancies, temporal discrepancies and discrepancies due to different levels of constraint. The models used in the papers presented in this thesis approaches two of these discrepancies. To address the spatial discrepancies, the same spatial resolution has been used at both levels, i.e., stands. Temporal discrepancies are addressed by modelling the tactical and strategic issues simultaneously. Integrated approaches can yield large models. One way of circumventing this is to aggregate time and/or space. The first paper addresses the consequences of temporal aggregation in the strategic part of a mixed integer programming integrated strategic/tactical model. For reference, linear programming based strategic models are also used. The results of the first paper provide information on what temporal resolutions could be used and indicate that outputs from strategic and integrated plans are not particularly affected by the number of equal length strategic periods when more than five periods, i.e. about 20 year period length, are used. The approach used in the first paper could produce models that are very large, and the second paper provides a two-stage procedure that can reduce the number of variables and preserve the allocation of stands to the first 10 years provided by a linear programming based strategic plan, while concentrating tactical harvest activities using a penalty concept in a mixed integer programming formulation. Results show that it is possible to use the approach to concentrate harvest activities at the tactical level in a full scale forest management scenario. In the case study, the effects of concentration on strategic outputs were small, and the number of harvest tracts declined towards a minimum level. Furthermore, the discrepancies between the two planning levels were small