mdh.sePublikasjoner
Endre søk
Begrens søket
1 - 49 of 49
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Ali-Eldin, Ahmed
    et al.
    Umeå University.
    Ilyushkin, Alexey
    Delft University of Technology, Delft, Netherlands.
    Ghit, Bogdan
    Delft University of Technology, Delft, Netherlands.
    Herbst, Nikolas Roman
    University of Würzburg, Würzburg, Germany.
    Papadopoulos, Alessandro
    Lund University, Lund, Sweden.
    Iosoup, Alexandru
    Delft University of Technology, Delft, Netherlands.
    Which Cloud Auto-Scaler Should I Use for my Application?: Benchmarking Auto-Scaling Algorithms2016Inngår i: Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering ICPE, Delft, Netherlands: ACM , 2016, s. 131-132Konferansepaper (Fagfellevurdert)
  • 2.
    Angelopoulos, Konstantinos
    et al.
    University of Brighton.
    Papadopoulos, Alessandro
    Lund University.
    Souza, Vitor E. Silva
    Mylopoulos, John
    University of Toronto.
    Model Predictive Control for Software Systems with CobRA2016Inngår i: SEAMS '16 Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Austin, Texas, United States: ACM , 2016, s. 35-46Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Self-adaptive software systems monitor their operation and adapt when their requirements fail due to unexpected phenomena in their environment. This paper examines the case where the environment changes dynamically over time and the chosen adaptation has to take into account such changes. In control theory, this type of adaptation is known as Model Predictive Control and comes with a well-developed theory and myriads of successful applications. The paper focuses on modelling the dynamic relationship between requirements and possible adaptations. It then proposes a controller that exploits this relationship to optimize the satisfaction of requirements relative to a cost-function. This is accomplished through a model-based framework for designing self-adaptive software systems that can guarantee a certain level of requirements satisfaction over time, by dynamically composing adaptation strategies when necessary. The proposed framework is illustrated and evaluated through a simulation of the Meeting-Scheduling System exemplar.

  • 3.
    Causevic, Aida
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Sirjani, Marjan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards a Framework for Safe and Secure Adaptive Collaborative Systems2019Inngår i: The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2019, 2019Konferansepaper (Fagfellevurdert)
  • 4.
    Faragardi, Hamid Reza
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Dehnavi, Saed
    University of Tehran, Iran.
    Kargahi, Mehdi
    University of Tehran, Iran.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    A Time-Predictable Fog-Integrated Cloud Framework: One Step Forward in the Deployment of a Smart Factory2018Inngår i: CSI International Symposium on Real-Time and Embedded Systems and Technologies REST'18, 2018, s. 54-62Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper highlights cloud computing as one of the principal building blocks of a smart factory, providing a huge data storage space and a highly scalable computational capacity. The cloud computing system used in a smart factory should be time-predictable to be able to satisfy hard real-time requirements of various applications existing in manufacturing systems. Interleaving an intermediate computing layer-called fog-between the factory and the cloud data center is a promising solution to deal with latency requirements of hard real-time applications. In this paper, a time-predictable cloud framework is proposed which is able to satisfy end-to-end latency requirements in a smart factory. To propose such an industrial cloud framework, we not only use existing real-time technologies such as Industrial Ethernet and the Real-time XEN hypervisor, but we also discuss unaddressed challenges. Among the unaddressed challenges, the partitioning of a given workload between the fog and the cloud is targeted. Addressing the partitioning problem not only provides a resource provisioning mechanism, but it also gives us a prominent design decision specifying how much computing resource is required to develop the fog platform, and how large should the minimum communication bandwidth be between the fog and the cloud data center.

  • 5.
    Filieri, Antonio
    et al.
    Imperial College London, UK.
    Maggio, Martina
    Lund University, Sweden.
    Angelopoulos, Konstantinos
    University of Brighton, UK.
    D'Ippolito, Nicolas
    Gerostatopoulos, Ilias
    Hempel, Andreas
    Jamshidi, Pooyan
    Kalyvianaki, Evangelia
    Klein, Cristian
    Umeå University, Sweden.
    Krikava, Filip
    Misailovic, Sasa
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ray, Suprio
    Sharifloo, Amir M.
    Shevtsov, Stepan
    Ujma, Mateusz
    Vogel, Thomas
    Control Strategies for Self-Adaptive Software Systems2017Inngår i: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 11, nr 4, artikkel-id 24Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The pervasiveness and growing complexity of software systems is challenging software engineering to de- sign systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously chang- ing execution environments. Control theoretical adaptation mechanisms received a growing interest from the software engineering community in the last years for their mathematical grounding allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes. This paper discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and non-functional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the paper highlights a set of open challenges, both for the software engineering and the control theory research communities.

  • 6.
    Frasheri, Mirgita
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Curuklu, Baran
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ekström, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Adaptive Autonomy in a Search and Rescue Scenario2018Inngår i: International Conference on Self-Adaptive and Self-Organizing Systems, SASO, Volume 2018-September, 15 January 2019, 2018, s. 150-155Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Adaptive autonomy plays a major role in the design of multi-robots and multi-agent systems, where the need of collaboration for achieving a common goal is of primary importance. In particular, adaptation becomes necessary to deal with dynamic environments, and scarce available resources. In this paper, a mathematical framework for modelling the agents' willingness to interact and collaborate, and a dynamic adaptation strategy for controlling the agents' behavior, which accounts for factors such as progress toward a goal and available resources for completing a task among others, are proposed. The performance of the proposed strategy is evaluated through a fire rescue scenario, where a team of simulated mobile robots need to extinguish all the detected fires and save the individuals at risk, while having limited resources. The simulations are implemented as a ROS-based multi agent system, and results show that the proposed adaptation strategy provides a more stable performance than a static collaboration policy. 

  • 7.
    Gulisano, Vincenzo
    et al.
    Chalmers University of Technology, Göteborg, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nikolakopoulos, Yiannis
    Chalmers University of Technology, Göteborg, Sweden.
    Papatriantafilou, Marina
    Chalmers University of Technology, Göteborg, Sweden.
    Tsigas, Philippas
    Chalmers University of Technology, Göteborg, Sweden.
    Performance modeling of stream joins2017Inngår i: DEBS '17 Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017, s. 191-202Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Streaming analysis is widely used in a variety of environments, from cloud computing infrastructures up to the network’s edge. In these contexts, accurate modeling of streaming operators’ performance enables fine-grained prediction of applications’ behavior without the need of costly monitoring. This is of utmost importance for computationally-expensive operators like stream joins, that observe throughput and latency very sensitive to rate-varying data streams, especially when deterministic processing is required. In this paper, we present a modeling framework for estimating the throughput and the latency of stream join processing. The model is presented in an incremental step-wise manner, starting from a centralized non-deterministic stream join and expanding up to a deterministic parallel stream join. The model describes how the dynamics of throughput and latency are influenced by the number of physical input streams, as well as by the amount of parallelism in the actual processing and the requirement for determinism. We present an experimental validation of the model with respect to the actual implementation. The proposed model can provide insights that are catalytic for understanding the behavior of stream joins against different system deployments, with special emphasis on the influences of determinism and parallelization.

  • 8.
    Gulisano, Vincenzo
    et al.
    Chalmers University of Technology, Göteborg, Sweden.
    Papatriantafilou, Marina
    Chalmers University of Technology, Göteborg, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik. IS (Embedded Systems).
    Elasticity2019Inngår i: Encyclopedia of Big Data Technologies / [ed] Sherif Sakr, Albert Zomaya, Sweden: Cham: Springer International Publishing , 2019Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 9.
    Ilyushkin, Alexey
    et al.
    Delft Univ Technol, Delft, Netherlands.
    Ali-Eldin, Ahmed
    Umeå Univ, Umeå, Sweden.
    Herbst, Nikolas
    Univ Wurzburg, Wurzburg, Germany.
    Bauer, Andre
    Univ Wurzburg, Wurzburg, Germany.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Epema, Dick
    Delft Univ Technol, Delft, Netherlands.
    Iosup, Alexandru
    Delft Univ Technol, Delft, Netherlands.
    An Experimental Performance Evaluation of Autoscalers for Complex Workflows2018Inngår i: ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, ISSN 2376-3639, Vol. 3, nr 2, artikkel-id UNSP 8Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Elasticity is one of the main features of cloud computing allowing customers to scale their resources based on the workload. Many autoscalers have been proposed in the past decade to decide on behalf of cloud customers when and how to provision resources to a cloud application based on the workload utilizing cloud elasticity features. However, in prior work, when a new policy is proposed, it is seldom compared to the state-of-the-art, and is often compared only to static provisioning using a predefined quality of service target. This reduces the ability of cloud customers and of cloud operators to choose and deploy an autoscaling policy, as there is seldom enough analysis on the performance of the autoscalers in different operating conditions and with different applications. In our work, we conduct an experimental performance evaluation of autoscaling policies, using as application model workflows, a popular formalism for automating resource management for applications with well-defined yet complex structures. We present a detailed comparative study of general state-of-the-art autoscaling policies, along with two new workflow-specific policies. To understand the performance differences between the seven policies, we conduct various experiments and compare their performance in both pairwise and group comparisons. We report both individual and aggregated metrics. As many workflows have deadline requirements on the tasks, we study the effect of autoscaling on workflow deadlines. Additionally, we look into the effect of autoscaling on the accounted and hourly based charged costs, and we evaluate performance variability caused by the autoscaler selection for each group of workflow sizes. Our results highlight the trade-offs between the suggested policies, how they can impact meeting the deadlines, and how they perform in different operating conditions, thus enabling a better understanding of the current state-of-the-art.

  • 10.
    Ilyushkin, Alexey
    et al.
    Delft University of Technology, Netherlands.
    Ali-Eldin, Ahmed
    Umeå University, Sweden.
    Herbst, Nikolas Roman
    University of Würzburg, Germany.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ghit, Bogdan
    Delft University of Technology, Netherlands.
    Epema, Dick
    Delft University of Technology, Netherlands.
    Iosoup, Alexandru
    Delft University of Technology, Netherlands.
    An Experimental Performance Evaluation of Autoscaling Algorithms for Complex Workflows2016Inngår i: ACM Symposium on Cloud Computing 2016 SoCC 16, 2016Konferansepaper (Fagfellevurdert)
  • 11.
    Ilyushkin, Alexey
    et al.
    Delft University of Technology, Netherlands.
    Ali-Eldin, Ahmed
    Umeå University, Sweden.
    Herbst, Nikolas Roman
    University of Würzburg, Germany.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ghit, Bogdan
    Delft University of Technology, Netherlands.
    Epema, Dick
    Delft University of Technology, Netherlands.
    Iosoup, Alexandru
    Delft University of Technology, Netherlands.
    An Experimental Performance Evaluation of Autoscaling Algorithms for Complex Workflows2017Inngår i: ICPE '17 Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017, s. 75-86Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Simplifying the task of resource management and scheduling for customers, while still delivering complex Quality-of-Service (QoS), is key to cloud computing. Many autoscaling policies have been proposed in the past decade to decide on behalf of cloud customers when and how to provision resources to a cloud application utilizing cloud elasticity features. However, in prior work, when a new policy is proposed, it is seldom compared to the state-of-the-art, and is often compared only to static provisioning using a predefined QoS target. This reduces the ability of cloud customers and of cloud operators to choose and deploy an autoscaling policy. In our work, we conduct an experimentalperformance evaluation of autoscaling policies, using as application model workflows, a commonly used formalism for automating resource management for applications with well-defined yet complex structure. We present a detailed comparative study of general state-of-the-art autoscaling policies, along with two new workflow-specific policies. To understand the performance differences between the 7 policies, we conduct various forms of pairwise and group comparisons. We report both individual and aggregated metrics. Our results highlight the trade-offs between the suggested policies, and thus enable a better understanding of the current state-of-the-art.

  • 12.
    Ioli, D.
    et al.
    Politecnico di Milano, Italy.
    Falsone, A.
    Politecnico di Milano, Italy.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Prandini, M.
    Politecnico di Milano, Italy.
    A compositional modeling framework for the optimal energy management of a district network2019Inngår i: Journal of Process Control, ISSN 0959-1524, E-ISSN 1873-2771, Vol. 74, s. 160-176Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper proposes a compositional modeling framework for the optimal energy management of a district network. The focus is on cooling of buildings, which can possibly share resources to the purpose of reducing maintenance costs and using devices at their maximal efficiency. Components of the network are described in terms of energy fluxes and combined via energy balance equations. Disturbances are accounted for as well, through their contribution in terms of energy. Different district configurations can be built, and the dimension and complexity of the resulting model will depend both on the number and type of components and on the adopted disturbance description. Control inputs are available to efficiently operate and coordinate the district components, thus enabling energy management strategies to minimize the electrical energy costs or track some consumption profile agreed with the main grid operator.

  • 13.
    Konstantinos, Angelopoulos
    et al.
    School of Computing, Engineering and Mathematics, University of Brighton, United Kingdom.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Vitor E., Souza
    Federal University of Espírito Santo, Brazil.
    John, Mylopoulos
    School of Electrical Engineering and Computer Science, University of Ottawa, Canada.
    Engineering Self-Adaptive Software Systems: From Requirements to Model Predictive Control2018Inngår i: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 13, nr 1, artikkel-id 1Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Self-adaptive software systems monitor their operation and adapt when their requirements fail due to unexpected phenomena in their environment. This article examines the case where the environment changes dynamically over time and the chosen adaptation has to take into account such changes. In control theory, this type of adaptation is known as Model Predictive Control and comes with a well-developed theory and myriad successful applications. The article focuses on modeling the dynamic relationship between requirements and possible adaptations. It then proposes a controller that exploits this relationship to optimize the satisfaction of requirements relative to a cost function. This is accomplished through a model-based framework for designing self-adaptive software systems that can guarantee a certain level of requirements satisfaction over time by dynamically composing adaptation strategies when necessary. The proposed framework is illustrated and evaluated through two simulated systems, namely, the Meeting-Scheduling exemplar and an E-Shop.

  • 14.
    Lager, Anders
    et al.
    ABB AB, Västerås, Sweden.
    Spampinato, Giacomo
    ABB AB, Västerås, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards Reactive Robot Applications in Dynamic Environments2019Inngår i: The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 2019, s. 1603-1606Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Traditionally, industrial robots have been deployed in fairly static environments, to perform highly dedicated tasks. These robots perform with very high precision and throughput. However, nowadays there is an increasing demand for utilizing robots in more dynamic environments, also performing more flexible and less specialized operations — high mix/low volume. Both traditional industrial robots and force-limited robots are used in collaborative, dynamic environments. Such robot applications introduce new challenges when it comes to efficiency and robustness. In this paper, we propose an architecture for reactive multi-robot applications in the context of dynamic environments, and we analyze the main research challenges that must be tackled for its realization. A logistics use case, with robots picking customer orders from the shelves of a warehouse, is used as a running example to support the description of the key challenges.

  • 15.
    Lakew, Ewnetu Bayuh
    et al.
    Umeå University, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Maggio, Martina
    Lund University, Sweden.
    Klein, Cristian
    Umeå University, Sweden.
    Elmroth, Erik
    Umeå University, Sweden.
    KPI-agnostic Control for Fine-Grained Vertical Elasticity2017Inngår i: 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing CCGrid 17, 2017, s. 589-598Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Applications hosted in the cloud have become indispensable in several contexts, with their performance often being key to business operation and their running costs needing to be minimized. To minimize running costs, most modern virtualization technologies such as Linux Containers, Xen, and KVM offer powerful resource control primitives for individual provisioning -- that enable adding or removing of fraction of cores and/or megabytes of memory with granularities of seconds. Despite the technology being ready, there is a lack of proper techniques for fine-grained resource allocation, because there is an inherent challenge in determining the correct composition of resources an application needs, with varying workload, to ensure deterministic performance. This paper presents a control-based approach for the management of multiple resources, accounting for the resource consumption, together with the application performance, enabling fine-grained vertical elasticity. The control strategy ensures that the application meets the target performance indicators, consuming as less resources as possible. We carried out an extensive set of experiments using different applications -- interactive with response-time requirements, as well as non-interactive with throughput desires -- by varying the workload mixes of each application over time. The results demonstrate that our solution precisely provides guaranteed performance while at the same time avoiding both resource over- and under-provisioning.

  • 16.
    Leva, Alberto
    et al.
    Politecnico di Milano, Italy.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Modelling and Control of Big Data Frameworks2017Inngår i: IFAC-PapersOnLine, Vol. 50, 2017, Vol. 50, s. 6110-6115, artikkel-id 1Konferansepaper (Fagfellevurdert)
    Abstract [en]

    We present a model library conceived to design and assess critical components of big data frameworks, with a control-centric approach. The library adopts the object-oriented paradigm, using the Modelica language. Continuous-time and algorithmic models can be mixed, allowing to represent control code with high fidelity, and to reduce the simulation effort to the minimum required. We discuss the used modelling principles, describe the library, and show some design examples.

  • 17.
    Leva, Alberto
    et al.
    Politecnico di Milano, Italy.
    Seva, Silvano
    Politecnico di M.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Progress Rate Control for Computer Applications2018Inngår i: 17th annual European Control Conference ECC18, Limassol, Cyprus, 2018, s. 3173-3178Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Self-adaptive software applications often include some form of progress rate control. Various frameworks were proposed to measure progress and provision resources to govern it, hence - in control terms - for sensors and actuators. The same is not true for control laws, however. In this paper we address this part of the overall problem, proposing a standard control structure that can be easily configured and tuned to match a variety of progress control needs. We completely analyse the simplest case, namely a single application under fixed rate control, and spend a few words on extensions to multiple application and event-based realisation. Simulation examples are reported to support the proposal.

  • 18.
    Leva, Alberto
    et al.
    Politecnico di Milano.
    Terraneo, Federico
    Politecnico di Milano.
    Rinaldi, Luigi
    Politecnico di Milano.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Department of Automatic Control, Lund University, Lund, Sweden.
    Maggio, Martina
    Department of Automatic Control, Lund University, Lund, Sweden.
    High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control2016Inngår i: IEEE Transactions on Control Systems Technology, ISSN 1063-6536, E-ISSN 1558-0865, Vol. 24, nr 4, s. 1279-1293Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Abstract: Time synchronization is crucial for wireless sensor networks (WSNs), where operations often rely on time ordering of events. WSNs are deployed in different scenarios, and therefore their timing requirements are often related to the peculiar characteristics of the specific environment they have to act in. Synchronization is anyway always an issue: transactional applications need monotonicity of the nodes' clocks to avoid time reversal, ultralow power applications call for minimal overhead to allow for low-duty-cycle operation, applications facing extreme environments have to maintain the needed precision in the presence of unforeseen thermal drift, and so on. Specially, control applications on battery-powered devices, where timing is an issue and low-power operation is highly desired, benefit from synchronization. However, to date, the problem of synchronization has been differently faced depending on the application domain. This paper proposes a general solution to the problem of synchronization in WSNs, which seamlessly integrates with the radio stack. In addition, it guarantees monotonic and continuous node clocks with low overhead for the infrastructure. The solution is based on a decentralized control scheme that is stable and robust to thermal stress, without the need for temperature measurements. The control scheme is simulated and implemented on real WSN nodes. The efficiency of the scheme is evaluated with simulations and experiments, providing insights on the maximum synchronization error between nodes, on the communication overhead, and on the limited nodes' power consumption. The solution is also compared with state-of-the-art alternatives.

  • 19.
    Maggio, M.
    et al.
    Lund Univ, Lund, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Filieri, A.
    Imperial Coll London, London, England.
    Hoffmann, H.
    Univ Chicago, Chicago, USA.
    Automated Control of Multiple Software Goals using Multiple Actuators2017Inngår i: ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, s. 373-384Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modern software should satisfy multiple goals simultaneously: it should provide predictable performance, be robust to failures, handle peak loads and deal seamlessly with unexpected conditions and changes in the execution environment. For this to happen, software designs should account for the possibility of runtime changes and provide formal guarantees of the software's behavior. Controltheory is one of the possible design drivers for runtime adaptation, but adopting control theoretic principles often requires additional, specialized knowledge. To overcome this limitation, automatedmethodologies have been proposed to extract the necessary information from experimental data and design a control system for runtime adaptation. These proposals, however, only process one goal at a time, creating a chain of controllers. In this paper, we propose and evaluate the first automated strategy that takes into account multiple goals without separating them into multiple control strategies. Avoiding the separation allows us to tackle a larger class of problems and provide stronger guarantees. We test our methodology's generality with three case studies that demonstrate its broad applicability in meeting performance, reliability, quality, security, and energy goals despite environmental or requirements changes.

  • 20.
    Maggio, Martina
    et al.
    Lund University, Sweden.
    Abdelzaher, Tarek
    University of Illinois at Urbana Champaign, USA.
    Esterle, Lukas
    Vienna University of Technology, Austria.
    Giese, Holger
    Hasso-Plattner-Institut fr Softwaresystemtechnik GmbH, Germany.
    Kephart, Jeffrey O.
    Thomas J. Watson Research Center, Hawthorne, NY, USA.
    Mengshoel, Ole
    Carnegie Mellon University, USA.
    Papadopoulos, Alessandro
    Lund University, Sweden.
    Robertsson, Anders
    Lund University, Sweden.
    Wolter, Katinka
    Freie Universität Berlin, Germany.
    Self-adaptation for Individual Self-aware Computing Systems2017Inngår i: Self-Aware Computing Systems / [ed] S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, Springer International Publishing , 2017, s. 375-399Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    This chapter discusses the role of self-awareness for adaptation at the individual level, when one single entity receives inputs both from itself or some of its components and from the external environment and uses the input to adjust to the current conditions. The chapter reviews the most widely used techniques for self-adaptation and identifies the role of self-awareness for each of the techniques and the metrics used to evaluate these techniques. Finally, we pave the way toward the following chapter, which discusses multiple entity adaptation, by introducing the interaction of different self-adaptation techniques at the level of the single individual.

  • 21.
    Maggio, Martina
    et al.
    Lund University, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Filieri, Antonio
    Imperial College London, UK.
    Hoffmann, Henry
    University of Chicago, USA.
    Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple2017Inngår i: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS 17, Buenos Aires, Argentina, 2017, s. 123-128, artikkel-id 7968140Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper presents an adaptive video encoder that can be used to compare the behavior of different adaptation strategies using multiple actuators to steer the encoder towards a global goal, composed of multiple conflicting objectives. A video camera produces frames that the encoder manipulates with the objective of matching some space requirement to fit a given communication channel. A second objective is to maintain a given similarity index between the manipulated frames and the original ones. To achieve the goal, the software can change three parameters: the quality of the encoding, the noise reduction filter radius and the sharpening filter radius. In most cases the objectives -- small encoded size and high quality -- conflict, since a larger frame would have a higher similarity index to its original counterpart. This makes the problem difficult from the control perspective and makes the case study appealing to compare different adaptation strategies.

  • 22.
    Miloradović, Branko
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Curuklu, Baran
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ekström, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Extended colored traveling salesperson for modeling multi-agent mission planning problems2019Inngår i: ICORES 2019 - Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress , 2019, s. 237-244Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In recent years, multi-agent systems have been widely used in different missions, ranging from underwater to airborne. A mission typically involves a large number of agents and tasks, making it very hard for the human operator to create a good plan. A search for an optimal plan may take too long, and it is hard to make a time estimate of when the planner will finish. A Genetic algorithm based planner is proposed in order to overcome this issue. The contribution of this paper is threefold. First, an Integer Linear Programming (ILP) formulation of a novel Extensive Colored Traveling Salesperson Problem (ECTSP) is given. Second, a new objective function suitable for multi-agent mission planning problems is proposed. Finally, a reparation algorithm to allow usage of common variation operators for ECTSP has been developed. 

  • 23.
    Miloradović, Branko
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Frasheri, Mirgita
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Curuklu, Baran
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ekström, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model2019Inngår i: PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019, s. 478-486Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Multi-robot task allocation (MRTA) problems have been studied extensively in the past decades. As a result, several classifications have been proposed in the literature targeting different aspects of MRTA, with often a few commonalities between them. The goal of this paper is twofold. First, a comprehensive overview of early work on existing MRTA taxonomies is provided, focusing on their differences and similarities. Second, the MRTA problem is modelled using an Entity-Relationship (ER) conceptual formalism to provide a structured representation of the most relevant aspects, including the ones proposed within previous taxonomies. Such representation has the advantage of (i) representing MRTA problems in a systematic way, (ii) providing a formalism that can be easily transformed into a software infrastructure, and (iii) setting the baseline for the definition of knowledge bases, that can be used for automated reasoning in MRTA problems.

  • 24.
    Moreno, Gabriel
    et al.
    Carnegie Mellon University, USA.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Angelopoulos, Konstantinos
    University of Brighton, UK.
    Camara Moreno, Javier
    Carnegie Mellon University, USA.
    Schmerl, Bradley
    Carnegie Mellon University, USA.
    Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA2017Inngår i: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS 17, 2017, s. 42-53, artikkel-id 7968131Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modern software-intensive systems must often guarantee certain quality requirements under changing run-time conditions and high levels of uncertainty. Self-adaptation has proven to be an effective way to engineer systems that can address such challenges, but many of these approaches are purely reactive and adapt only after a failure has taken place. To overcome some of the limitations of reactive approaches (e.g., lagging behind environment changes and favoring short-term improvements), recent proactive self-adaptation mechanisms apply ideas from control theory, such as model predictive control (MPC), to improve adaptation. When selecting which MPC approach to apply, the improvement that can be obtained with each approach is scenario-dependent, and so guidance is needed to better understand how to choose an approach for a given situation. In this paper, we compare CobRA and PLA, two approaches that are inspired by MPC. CobRA is a requirements-based approach that applies control theory, whereas PLA is architecture-based and applies stochastic analysis. We compare the two approaches applied to RUBiS, a benchmark system for web and cloud application performance, discussing the required expertise needed to use both approaches and comparing their run-time performance with respect to different metrics.

  • 25.
    Mubeen, Saad
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Abbaspour Asadollah, Sara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ashjaei, Seyed Mohammad Hossein
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Pei-Breivold, Hongyu
    ABB Corporate Research, Sweden.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study2017Inngår i: IEEE Access, E-ISSN 2169-3536, nr 99Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Cloud computing and Internet of Things (IoT) are computing technologies that provide services to consumers and businesses, allowing organizations to become more agile and flexible. Therefore, ensuring Quality of Service (QoS) through Service Level Agreements (SLAs) for such cloud-based services is crucial for both the service providers and service consumers. As SLAs are critical for cloud deployments and wider adoption of cloud services, the management of SLAs in cloud and IoT has thus become an important and essential aspect. This paper investigates the existing research on the management of SLAs in IoT applications that are based on cloud services. For this purpose, a Systematic Mapping study (a well-defined method) is conducted to identify the published research results that are relevant to SLAs. The paper identifies 328 primary studies and categorizes them into seven main technical classifications: SLA management, SLA definition, SLA modeling, SLA negotiation, SLA monitoring, SLA violation and trustworthiness, and SLA evolution. The paper also summarizes the research types, research contributions, and demographic information in these studies. The evaluation of the results show that most of the approaches for managing SLAs are applied in academic or controlled experiments with limited industrial settings rather than in real industrial environments. Many studies focus on proposal models and methods to manage SLAs, and there is a lack of focus on the evolution perspective and a lack of adequate tool support to facilitate practitioners in their SLA management activities. Moreover, the scarce number of studies focusing on concrete metrics for qualitative or quantitative assessment of QoS in SLAs urges the need for in-depth research on metrics definition and measurements for SLAs.

  • 26.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Abbaspour Asadollah, Sara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ashjaei, Seyed Mohammad Hossein
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Arcticus Systems AB, Järfälla, Sweden.
    Mubeen, Saad
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Arcticus Systems AB, Järfälla, Sweden.
    Pei Breivold, Hongyu
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. ABB Corporate Research, Sweden.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    SLAs for Industrial IoT: Mind the Gap2017Inngår i: The 4th International Symposium on Inter-cloud and IoT (ICI 2017) ICI'17, 2017, s. 75-78Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Cloud computing and Internet of Things (IoT) are computing technologies that provide services to consumers and businesses, allowing organizations to become more agile and flexible. The potential business values that cloud consumers can achieve depend a lot on the quality of service in the provided cloud services. Therefore, ensuring the quality of service through service-level agreements (SLA) for such cloud-based services is crucial for both the service providers and service consumers. As SLA is critical for cloud deployments and wider adoption of cloud services, the management of SLA in cloud and IoT has thus become an important and essential issue. In this paper we provide an understanding of the current status and maturity level of SLA management in industrial IoT and academic efforts in this field. We also conduct a preliminary survey of current research on SLA management in order to identify open challenges and gaps that need to be addressed in future research directions. In particular, we investigate how to provide useful SLA management support adapted to the maturity level and current industrial practices, and shorten the gap between academia and industry.

  • 27.
    Papadopoulos, Alessandro
    et al.
    Lund University.
    Ali-Eldin, Ahmed
    Umeå University.
    Årzén, Karl-Erik
    Lund University.
    Tordsson, Johan
    Umeå University.
    Elmroth, Erik
    Umeå University.
    PEAS: A Performance Evaluation Framework for Auto-Scaling Strategies in Cloud Applications2016Inngår i: ACM Trans. Model. Perform. Eval. Comput. Syst. TOMPECS, ISSN 2376-3639, Vol. 1, nr 4, s. 1-31Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Numerous auto-scaling strategies have been proposed in the past few years for improving various Quality of Service (QoS) indicators of cloud applications, for example, response time and throughput, by adapting the amount of resources assigned to the application to meet the workload demand. However, the evaluation of a proposed auto-scaler is usually achieved through experiments under specific conditions and seldom includes extensive testing to account for uncertainties in the workloads and unexpected behaviors of the system. These tests by no means can provide guarantees about the behavior of the system in general conditions. In this article, we present a Performance Evaluation framework for Auto-Scaling (PEAS) strategies in the presence of uncertainties. The evaluation is formulated as a chance constrained optimization problem, which is solved using scenario theory. The adoption of such a technique allows one to give probabilistic guarantees of the obtainable performance. Six different auto-scaling strategies have been selected from the literature for extensive test evaluation and compared using the proposed framework. We build a discrete event simulator and parameterize it based on real experiments. Using the simulator, each auto-scaler’s performance is evaluated using 796 distinct real workload traces from projects hosted on the Wikimedia foundations’ servers, and their performance is compared using PEAS. The evaluation is carried out using different performance metrics, highlighting the flexibility of the framework, while providing probabilistic bounds on the evaluation and the performance of the algorithms. Our results highlight the problem of generalizing the conclusions of the original published studies and show that based on the evaluation criteria, a controller can be shown to be better than other controllers.

  • 28.
    Papadopoulos, Alessandro
    et al.
    Department of Automatic Control, Lund University, Lund, Sweden.
    Bascetta, Luca
    Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy.
    Ferretti, Gianni
    Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy.
    Generation of Human Walking Paths2016Inngår i: Autonomous Robots, ISSN 0929-5593, E-ISSN 1573-7527, Vol. 40, nr 1, s. 59-75Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This work investigates the way humans plan their paths in a goal-directed motion, assuming that a person acts as an optimal controller that plans the path minimizing a certain (unknown) cost function. Taking this viewpoint, the problem can be formulated as an inverse optimal control one, i.e., starting from control and state trajectories one wants to figure out the cost function used by a person while planning the path. The so-obtained model can be used to support the design of safe human–robot interaction systems, as well as to plan human-like paths for humanoid robots. To test the envisaged ideas, a set of walking paths of different volunteers were recorded using a motion capture facility. The collected data were used to compare two solutions to the inverse optimal control problem coming from the literature to a novel one. The obtained results, ranked using the discrete Fréchet distance, show the effectiveness of the proposed approach.

  • 29.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Bini, E.
    University of Turin, Turin, Italy.
    Baruah, S.
    Washington University, St. Louis, MO, United States.
    Burns, A.
    University of York, York, United Kingdom.
    AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems2018Inngår i: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , 2018Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hardreal- time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.

  • 30.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Klein, Cristian
    Umeå University.
    Maggio, Martina
    Lund University.
    Dürango, Jonas
    Lund University.
    Dellkrantz, Manfred
    Lund University.
    Hernandez-Rodriguez, Francisco
    Umeå University.
    Elmroth, Erik
    Umeå University.
    Årzén, Karl-Erik
    Lund University.
    Control-Based Load-Balancing Techniques: Analysis and Performance Evaluation via a Randomized Optimization Approach2016Inngår i: Control Engineering Practice, ISSN 0967-0661, E-ISSN 1873-6939, Vol. 52, s. 24-34Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Cloud applications are often subject to unexpected events like flashcrowds and hardware failures. Users that expect a predictable behavior may abandon an unresponsive application when these events occur. Researchers and engineers addressed this problem on two separate fronts: first, they introduced replicas – copies of the application with the same functionality – for redundancy and scalability; second, they added a self-adaptive feature called brownout inside cloud applications to bound response times by modulating user experience. The presence of multiple replicas requires a dedicated component to direct incoming traffic: a load-balancer. Existing load-balancing strategies based on response times interfere with the response time controller developed for brownout-compliant applications. In fact, the brownout approach bounds response times using a control action. Hence, the response time, that was used to aid load-balancing decision, is not a good indicator of how well a replica is performing. To fix this issue, this paper reviews some proposal for brownout-aware load-balancing and provides a comprehensive experimental evaluation that compares them. To provide formal guarantees on the load-balancing performance, we use a randomized optimization approach and apply the scenario theory. We perform an extensive set of experiments on a real machine, extending the popular lighttpd web server and load-balancer, and obtaining a production-ready implementation. Experimental results show an improvement of the user experience over Shortest Queue First (SQF)—believed to be near-optimal in the non-adaptive case. The improved user experience is obtained preserving the response time predictability.

  • 31.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Krzywda, Jakub
    Umea Univ, Dept Comp Sci, Umea, Sweden..
    Elmroth, Erik
    Umea Univ, Dept Comp Sci, Umea, Sweden..
    Maggio, Martina
    Lund Univ, Dept Automat Control, Lund, Sweden..
    Power-Aware Cloud Brownout:: response time and power consumption control2017Inngår i: 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017, s. 2686-2691Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Cloud computing infrastructures are powering most of the web hosting services that we use at all times. A recent failure in the Amazon cloud infrastructure made many of the website that we use on a hourly basis unavailable(1). This illustrates the importance of cloud applications being able to absorb peaks in workload, and at the same time to tune their power requirements to the power and energy capacity offered by the data center infrastructure. In this paper we combine an established technique for response time control - brownout - with power capping. We use cascaded control to take into account both the need for predictability in the response times (the inner loop), and the power cap (the outer loop). We execute tests on real machines to determine power usage and response times models and extend an existing simulator. We then evaluate the cascaded controller approach with a variety of workloads and both open-and closed-loop client models.

  • 32.
    Papadopoulos, Alessandro
    et al.
    Department of Automatic ControlLund UniversityLundSweden.
    Leva, Alberto
    Dipartimento di Elettronica, Informazione e BioingegneriaPolitecnico di MilanoMilanItaly.
    A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems2015Inngår i: Multibody System Dynamics MUBO, ISSN 1384-5640, Vol. 34, nr 2, s. 163-190Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The presence of different time scales in a dynamic model significantly hampers the efficiency of its simulation. In multibody systems the fact is particularly relevant, as the mentioned time scales may be very different, due, for example, to the coexistence of mechanical components controled by electronic drive units, and may also appear in conjunction with significant nonlinearities. This paper proposes a systematic technique, based on the principles of dynamic decoupling, to partition a model based on the time scales that are relevant for the particular simulation studies to be performed and as transparently as possible for the user. In accordance with said purpose, peculiar to the technique is its neat separation into two parts: a structural analysis of the model, which is general with respect to any possible simulation scenario, and a subsequent decoupled integration, which can conversely be (easily) tailored to the study at hand. Also, since the technique does not aim at reducing but rather at partitioning the model, the state space and the physical interpretation of the dynamic variables are inherently preserved. Moreover, the proposed analysis allows us to define some novel indices relative to the separability of the system, thereby extending the idea of “stiffness” in a way that is particularly keen to its use for the improvement of simulation efficiency, be the envisaged integration scheme monolithic, parallel, or even based on cosimulation. Finally, thanks to the way the analysis phase is conceived, the technique is naturally applicable to both linear and nonlinear models. The paper contains a methodological presentation of the proposed technique, which is related to alternatives available in the literature so as to evidence the peculiarities just sketched, and some application examples illustrating the achieved advantages and motivating the major design choice from an operational viewpoint.

  • 33.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Maggio, Martina
    Lund University, Sweden.
    Challenges in High Performance Big Data Frameworks2018Inngår i: 4th International Workshop on Autonomic High Performance Computing AHPC 2018, 2018, s. 153-156Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Nowadays, we live in a society with billions of devices that are interconnected and interact together to improve the quality of our lives. The management and processing of information and knowledge have by now become our main resources, and the fundamental factors of economic and social development, and it is achieved through Big Data Frameworks (BDFs). The amount of such data is becoming larger every day, and this calls for scalable and reliable BDFs, that can process such data also with real-time requirements. For example, the data collected by an autonomous car should be processed, combined, and interpreted as fast as possible in order to guarantee a safe interaction with the surrounding environment, and of the passengers. 

    This paper analyses the main limitations of current BDFs while providing some key challenges for increasing their flexibility. In particular, we focus on performance aspects, envisioning adaptation as a viable way to automate and improve performance in Big Data Applications.

  • 34.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Maggio, Martina
    Lund University, Sweden.
    Leva, Alberto
    Politecnico di Milano, Italy.
    Bini, Enrico
    Scuola Superiore Sant'Anna, Italy.
    Hard Real-Time Guarantees in Feedback-based Resource Reservations2017Inngår i: 38th IEEE Real-Time Systems Symposium (journal never presented on conference) RTSS 17, 2017Konferansepaper (Fagfellevurdert)
  • 35.
    Papadopoulos, Alessandro
    et al.
    Lund University, Lund, Sweden.
    Maggio, Martina
    Lund University, Lund, Sweden.
    Leva, Alberto
    Politecnico di Milano, Milano, Italy.
    Bini, Enrico
    Scuola Superiore Sant’Anna, Pisa, Italy.
    Hard Real-Time Guarantees in Feedback-based Resource Reservations2015Inngår i: Real-Time Systems RTSJ, ISSN 0922-6443, Vol. 51, nr 3, s. 221-246Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Resource reservation is a technique that allows isolating applications from interfering among each other. In the most classic setting, this method requires the periodic allocation of a given budget of resource over time. However, in reality, the actual budget allocation may deviate from its ideal value. Examples of causes of this deviation are: the presence of a system tick, the usage of shared resources, the self-blocking on I/O operations, etc. Since control techniques are an effective mean to deal with uncertainties and disturbances, unknown at design time but bounded, in this paper we propose to use feedback to achieve the target budget allocation, which may have deviated due to on-line events. The proposed scheme, called Self-Adaptive Server (SAS), is described and analyzed. We prove that the controller gain, which maximizes the resource delivered to the application, is (3-sqrt(5))/2. We also implemented the scheduler on a lightweight operating system for a microcontroller. Thanks to the extremely simple implementation, SAS servers are well suited for low-overhead resource isolation mechanisms with proved real-time guarantees.

  • 36.
    Papadopoulos, Alessandro
    et al.
    Lund University, Sweden.
    Maggio, Martina
    Lund University, Sweden.
    Terraneo, Federico
    Politecnico di Milano, Italy.
    Leva, Alberto
    Politecnico di Milano, Italy.
    A Dynamic Modelling Framework for Control-based Computing System Design2015Inngår i: Mathematical and Computer Modelling of Dynamical Systems, ISSN 1387-3954, E-ISSN 1744-5051, Vol. 21, nr 3, s. 251-271Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This manuscript proposes a novel viewpoint on computing systems’ modelling. The classical approach is to consider fully functional systems and model them, aiming at closing some external loops to optimize their behaviour. On the contrary, we only model strictly physical phenomena, and realize the rest of the system as a set of controllers. Such an approach permits rigorous assessment of the obtained behaviour in mathematical terms, which is hardly possible with the heuristic design techniques, that were mainly adopted to date. The proposed approach is shown at work with three relevant case studies, so that a significant generality can be inferred from it.

  • 37.
    Papadopoulos, Alessandro
    et al.
    Politecnico di Milano, Italy.
    Prandini, Maria
    Politecnico di Milano, Italy.
    Model reduction of switched affine systems2016Inngår i: Automatica, ISSN 0005-1098, E-ISSN 1873-2836, Vol. 70, s. 57-65Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper addresses model reduction and extends balanced truncation to the class of switched affine systems with endogenous switching. The switched affine system is rewritten as a switched linear one with state resets that account for the affine terms. Balanced truncation can then be applied to each mode dynamics, independently. As a result, different reduced state vectors are associated with the different modes, and reset maps are here appropriately redefined so as to account and compensate for this mismatch, possibly preserving the continuity of the output. The overall behavior of the reduced switched system is determined by both the selected reduction per mode and the adopted reset maps. In this paper, we consider a stochastic setting and propose a randomized method for the selection of the reduced order. The performance of the proposed approach is illustrated through a multi-room temperature control example.

  • 38.
    Papadopoulos, Alessandro
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Politecn Milan, Milan, Italy.
    Terraneo, Federico
    Politecn Milan, Milan, Italy.
    Leva, Alberto
    Politecn Milan, Milan, Italy.
    Prandini, Maria
    Politecn Milan, Milan, Italy.
    Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis2018Inngår i: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 63, nr 11, s. 3775-3786Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    We study feedback control for a discrete-time integrator with unitary delay in the presence of quantization both in the control action and in the measurement of the controlled variable. In some applications the quantization effects can be neglected, but when high precision is needed, they have to be explicitly accounted for in control design. In this paper, we propose a switched control solution for minimizing the effect of quantization of both the control and controlled variables for the considered system, that is quite common in the computing systems domain, for example, in thread scheduling, clock synchronization, and resource allocation. We show that the switched solution outperforms the one without switching, designed by neglecting quantization, and analyze necessary and sufficient conditions for the controlled system to exhibit periodic solutions in the presence of an additive constant disturbance affecting the control input. Simulation results provide evidence of the effectiveness of the approach.

  • 39.
    Salman, Chaudhary Awais
    et al.
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Framtidens energi. ABB AB, Västers, Sweden.
    Struhar, Vaclav
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Fogification of industrial robotic systems: Research challenges2019Inngår i: IoT-Fog 2019 - Proceedings of the 2019 Workshop on Fog Computing and the IoT, Association for Computing Machinery, Inc , 2019, s. 41-45Konferansepaper (Fagfellevurdert)
    Abstract [en]

    To meet the demands of future automation systems, the architecture of traditional control systems such as the industrial robotic systems needs to evolve and new architectural paradigms need to be investigated. While cloud-based platforms provide services such as computational resources on demand, they do not address the requirements of real-time performance expected by control applications. Fog computing is a promising new architectural paradigm that complements the cloud-based platform by addressing its limitations. In this paper, we analyse the existing robot system architecture and propose a fog-based solution for industrial robotic systems that addresses the needs of future automation systems. We also propose the use of Time-Sensitive Networking (TSN) services for real-time communication and OPC-UA for information modelling within this architecture. Additionally, we discuss the main research challenges associated with the proposed architecture.

  • 40.
    Salman, S.M
    et al.
    Mälardalens högskola. ABB AB, Västers, Sweden.
    Struhar, Vaclav
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Fogification of industrial robotic systems: Research challenges2019Inngår i: IoT-Fog 2019 - Proceedings of the 2019 Workshop on Fog Computing and the IoT, Association for Computing Machinery, Inc , 2019, s. 41-45Konferansepaper (Fagfellevurdert)
    Abstract [en]

    To meet the demands of future automation systems, the architecture of traditional control systems such as the industrial robotic systems needs to evolve and new architectural paradigms need to be investigated. While cloud-based platforms provide services such as computational resources on demand, they do not address the requirements of real-time performance expected by control applications. Fog computing is a promising new architectural paradigm that complements the cloud-based platform by addressing its limitations. In this paper, we analyse the existing robot system architecture and propose a fog-based solution for industrial robotic systems that addresses the needs of future automation systems. We also propose the use of Time-Sensitive Networking (TSN) services for real-time communication and OPC-UA for information modelling within this architecture. Additionally, we discuss the main research challenges associated with the proposed architecture. 

  • 41.
    Souza, A.
    et al.
    Department of Computing Science, Umea University, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Tomas, L.
    Department of Computing Science, Umea University, Sweden.
    Gilbert, D.
    Red Hat Inc., United States.
    Tordsson, J.
    Department of Computing Science, Umea University, Sweden.
    Hybrid adaptive checkpointing for virtual machine fault tolerance2018Inngår i: Proceedings - 2018 IEEE International Conference on Cloud Engineering, IC2E 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, s. 12-22Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Active Virtual Machine (VM) replication is an application independent and cost-efficient mechanism for high availability and fault tolerance, with several recently proposed implementations based on checkpointing. However, these methods may suffer from large impacts on application latency, excessive resource usage overheads, and/or unpredictable behavior for varying workloads. To address these problems, we propose a hybrid approach through a Proportional-Integral (PI) controller to dynamically switch between periodic and on-demand check-pointing. Our mechanism automatically selects the method that minimizes application downtime by adapting itself to changes in workload characteristics. The implementation is based on modifications to QEMU, LibVirt, and OpenStack, to seamlessly provide fault tolerant VM provisioning and to enable the controller to dynamically select the best checkpointing mode. Our evaluation is based on experiments with a video streaming application, an e-commerce benchmark, and a software development tool. The experiments demonstrate that our adaptive hybrid approach improves both application availability and resource usage compared to static selection of a checkpointing method, with application performance gains and neglectable overheads.

  • 42.
    Struhar, Vaclav
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ashjaei, Seyed Mohammad Hossein
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Craciunas, Silviu
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    DART: Dynamic Bandwidth Distribution Framework for Virtualized Software Defined Networks2019Inngår i: IEEE 45th Annual Conference of the Industrial Electronics Society IECON'19, 2019Konferansepaper (Fagfellevurdert)
  • 43.
    Struhar, Vaclav
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Work-in-Progress: Fog Computing for Adaptive Human-Robot Collaboration2018Inngår i: International Conference on Embedded Software 2018 EMSOFT2018, 2018, artikkel-id 8537213Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Fog computing is an emerging technology that enables the design of novel time sensitive industrial applications. This new computing paradigm also opens several new research challenges in different scientific domains, ranging from computer architectures to networks, from robotics to real-time systems. In this paper, we present a use case in the human-robot collaboration domain, and we identify some of the most relevant research challenges.

  • 44.
    Struhar, Vaclav
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Work-in-Progress: Fog Computing for Adaptive Human-Robot Collaboration2018Inngår i: 2018 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), IEEE , 2018Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Fog computing is an emerging technology that enables the design of novel time sensitive industrial applications. This new computing paradigm also opens several new research challenges in different scientific domains, ranging from computer architectures to networks, from robotics to real-time systems. In this paper, we present a use case in the human-robot collaboration domain, and we identify some of the most relevant research challenges.

  • 45.
    Terraneo, F.
    et al.
    Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Leva, A.
    Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy.
    Prandini, M.
    Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy.
    FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks2017Inngår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 80, s. 77-84Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Distributed real-time systems often rely on clock synchronization. However, the achievement of precise synchronization in Wireless Sensor Networks (WSNs) is hampered by competing design challenges, which finally causes many WSN hardware platforms to rely on low frequency clock crystal for local timebase provision. Although this solution is inexpensive and with a remarkably low energy consumption, it limits the resolution at which time can be measured. The FLOPSYNC synchronization scheme was then introduced to compensate for possible quartz crystal imperfections. The main limitation of FLOPSYNC is that it does not account for the effects of quantization. In this paper we propose a switched control variant of the base FLOPSYNC scheme to address quantization explicitly in the compensator design, providing clock synchronization in cost-sensitive WSN node platforms with a minimal additional overhead. Experimental evidence is given that the approach reaches a synchronization error of at most 1 clock tick in a real WSN.

  • 46.
    Terraneo, Federico
    et al.
    Politecnico di Milano, Italy.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Leva, Alberto
    Politecnico di Milano, Italy.
    Prandini, Maria
    Politecnico di Milano, Italy.
    FLOPSYNC-QACS: Quantization- Aware Clock Synchronization for Wireless Sensor Networks2016Inngår i: IEEE 4th International Workshop on Real-Time Computing and Distributed systems in Emerging Applications REACTION'16, 2016Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The development of distributed real-time systems often relies on clock synchronization. However, achieving pre- cise synchronization in the field of Wireless Sensor Networks (WSNs) is hampered by competing design challenges, such as energy consumption and cost constraints, e.g., in Internet of Things applications. For these reasons many WSN hardware platforms rely on a low frequency clock crystal to provide the local timebase. Although this solution is inexpensive and allows for a remarkably low energy consumption, it limits the resolution at which time can be measured. The FLOPSYNC synchronization scheme provides low-energy synchronization that takes into account the quartz crystal imperfections. The main limitation of the approach are the effects of quantization. In this paper we propose a clock synchronization scheme that explicitly takes into account quantization effects caused by low frequency clock crystal, thus addressing the clock syn- chronization issue in cost-sensitive WSN node platforms. The solution adopts switched control for minimizing the effect of quantization, with minimal overhead. We provide experimental evidence that the approach manages to reach a synchronization error of at most 1 clock tick in a real WSN.

  • 47.
    Thörn, Jonathan
    et al.
    Mälardalens högskola.
    Vidimlic, Najda
    Mälardalens högskola.
    Friebe, Anna
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Probabilistic Timing Analysis of a Periodic Task on a Microcontroller2019Inngår i: The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 2019, s. 1419-1422Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present our ongoing work towards a realistic probabilistic timing analysis of embedded software systems subject to timing requirements. In order to provide such an analysis that captures necessary and important behavioural features of the software system under analysis, including the underlying platform, we have implemented a real-time system running on a Rasberry Pi microcontroller on which we have performed a series of experiments and measurements. The results so far suggest a new model for analysis that captures more detailed behaviour and consequently provides a more accurate and correct probabilistic analysis.

  • 48.
    Tärneberg, William
    et al.
    Lund University, Sweden.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Mehta, Amardeep
    Umeå University, Sweden.
    Tordsson, Johan
    Umeå University, Sweden.
    Kihl, Maria
    Lund University, Sweden.
    Distributed Approach to the Holistic Resource Management of a Mobile Cloud Network2017Inngår i: Proceedings - 2017 IEEE 1st International Conference on Fog and Edge Computing, ICFEC 2017, 2017, s. 51-60, artikkel-id 8014359Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The Mobile Cloud Network is an emerging cost and capacity heterogeneous distributed cloud topological paradigm that aims to remedy the application performance constraints imposed by centralised cloud infrastructures. A centralised cloud infrastructure and the adjoining Telecom network will struggle to accommodate the exploding amount of traffic generated by forthcoming highly interactive applications. Cost effectively managing a Mobile Cloud Network computing infrastructure while meeting individual application’s performance goals is nontrivial and is at the core of our contribution. Due to the scale of a Mobile Cloud Network, a centralised approach is infeasible. Therefore, in this paper a distributed algorithm that addresses these challenges is presented. The presented approach works towards meeting individual application’s performance objectives, constricting system-wide operational cost, and mitigating resource usage skewness. The presented distributed algorithm does so by iteratively and independently acting on the objectives of each component with a common heuristic objective function. Systematic evaluations reveal that the presented algorithm quickly converges and performs near optimal in terms of system-wide operational cost and application performance, and significantly outperforms similar na¨ıve and random methods.

  • 49.
    Wang, W.
    et al.
    Computer Science Department, University of Pittsburgh, Pittsburgh, PA, United States.
    Mosse, D.
    Computer Science Department, University of Pittsburgh, Pittsburgh, PA, United States.
    Papadopoulos, Alessandro
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Packet priority assignment for wireless control systems of multiple physical systems2019Inngår i: Proceedings - 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Institute of Electrical and Electronics Engineers Inc. , 2019, s. 143-150Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Wireless control systems (WCSs) have gained much attention lately, due to their easy deployment and flexibility compared to wired control systems. However, this comes at the cost of possibly increased network delay and packet losses, that can significantly impact the control system performance, and possibly its stability. Such problems become even more relevant if the network is shared among different control systems, and thus becomes a scarce resource, like in Industrial Internet of Things applications. In this paper, we describe how to assign packet priorities dynamically when there are many physical systems sharing a given network, aiming at minimizing the performance degradation of the WCS. Towards that, we present a network model including both delay and packet losses, both of which are very important for the control system performance. Our solution is evaluated over two different use cases to show the generality of the approach: the WCS for a set of inverted pendula, and the WCS for small modular reactors in a nuclear power plant. The results show that the proposed approach allows for a more stable performance even in presence of highly nonlinear systems, sensitive to time-varying delays, as well as in presence of high network interference.

1 - 49 of 49
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf