<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.4.1">Jekyll</generator><link href="https://www.idt.mdu.se/~aps01/feed.xml" rel="self" type="application/atom+xml" /><link href="https://www.idt.mdu.se/~aps01/" rel="alternate" type="text/html" /><updated>2026-10-15T22:12:15+02:00</updated><id>https://www.idt.mdu.se/~aps01/feed.xml</id><title type="html">Alessandro Vittorio Papadopoulos</title><subtitle>Academic website of Alessandro V. Papadopoulos, Professor of Computer Engineering at DTU Compute.</subtitle><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><entry><title type="html">On the Edge of the Cloud: Making Smart Systems Predictable When Time Matters</title><link href="https://www.idt.mdu.se/~aps01/ISAVisitingFellow-AP/" rel="alternate" type="text/html" title="On the Edge of the Cloud: Making Smart Systems Predictable When Time Matters" /><published>2026-02-25T00:00:00+01:00</published><updated>2026-02-25T10:02:23+01:00</updated><id>https://www.idt.mdu.se/~aps01/ISAVisitingFellow-AP</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/ISAVisitingFellow-AP/"><![CDATA[<h2 id="seminar-overview-️️">Seminar overview ☁️⚙️</h2>

<p><strong>Edge-to-cloud systems</strong> connect devices and cloud computing to deliver fast and efficient services.</p>

<p>This seminar explores how these systems work, why <strong>predictability</strong> is critical when timing matters, and the main challenges and solutions in making smart systems dependable.</p>

<h2 id="event-details-️">Event details 📍🗓️</h2>

<ul>
  <li>
    <p><strong>Date:</strong> 27 May 2026</p>
  </li>
  <li>
    <p><strong>Time:</strong> 17:30–19:00</p>
  </li>
  <li>
    <p><strong>Location:</strong> AULA Q, via Beniamino Andreatta 8 (“aule Belmeloro”)</p>
  </li>
  <li>
    <p><strong>Format:</strong> In person and online</p>
  </li>
  <li>
    <p><strong>Type:</strong> Lectures</p>
  </li>
</ul>

<h2 id="speaker--">Speaker  👤</h2>

<h3 id="prof-alessandro-vittorio-papadopoulos">Prof. Alessandro Vittorio Papadopoulos</h3>

<p><strong>ISA Visiting Fellow</strong></p>

<p>Full Professor, <strong>Mälardalen University (MDU), Sweden</strong> 🇸🇪</p>

<p>Prof. Papadopoulos works in control, robotics, and real-time embedded systems. At MDU, he leads the <strong>Complex Real-Time Embedded Systems</strong> group, with research focused on reliable, adaptive, and intelligent automation and cloud–edge systems using control-theoretic approaches.</p>

<ul>
  <li>Speaker website: <a href="https://www.idt.mdu.se">Visit Prof. Papadopoulos’s website</a> 🔗</li>
</ul>

<h2 id="attendance">Attendance</h2>

<ul>
  <li>
    <p><strong>Online (Microsoft Teams):</strong> <a href="https://teams.microsoft.com">Join on Microsoft Teams</a></p>
  </li>
  <li>
    <p><strong>In person:</strong> <a href="https://site.unibo.it/isa/en/events/on-the-edge-of-the-cloud-making-smart-systems-predictable-when-time-matters">Book your seat</a></p>
  </li>
</ul>

<h2 id="source">Source</h2>

<p>Official event page: <a href="https://site.unibo.it/isa/en/events/on-the-edge-of-the-cloud-making-smart-systems-predictable-when-time-matters">ISA – Institute of Advanced Studies</a></p>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="edge-computing" /><category term="cloud" /><category term="real-time-systems" /><category term="smart-systems" /><category term="predictability" /><category term="seminar" /><category term="research" /><summary type="html"><![CDATA[Alessandro Papadopoulos, ISA Visiting Fellow]]></summary></entry><entry><title type="html">The Twin-in-the-loop approach for vehicle dynamics estimation and control</title><link href="https://www.idt.mdu.se/~aps01/simone-formentin/" rel="alternate" type="text/html" title="The Twin-in-the-loop approach for vehicle dynamics estimation and control" /><published>2023-03-21T00:00:00+01:00</published><updated>2023-05-24T22:33:41+02:00</updated><id>https://www.idt.mdu.se/~aps01/simone-formentin</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/simone-formentin/"><![CDATA[<p><strong>Presenter</strong> <a href="https://formentin.faculty.polimi.it/">Simone Formentin</a>, <a href="https://www.polimi.it/">Politecnico di Milano</a>, Italy 
<br />
<a href="https://www.idt.mdu.se/~aps01/docs/seminars/2023-03-21-formentin_seminar.pdf" target="_blank"><i style="color:#FC352B" class="fas fa-file-pdf"></i> <strong>Slides</strong></a>
<br /><br />
<strong>Abstract</strong>
In the automation of vehicle dynamics, engineering a suitable filter or controller is a long and costly process. The starting point is usually the design of the digital system of interest, based on a simple model of the vehicle, and its testing on a full-fledged multibody simulator. Then, many driving hours are required during the End-of-Line (EoL) tuning phase to calibrate the system to be used with the real vehicle. In this talk, we will discuss the methodological and practical advances offered in case the full-fledged multibody simulator can be run on-board in the electronic control unit, so as to have an accurate estimate of both vehicle states and nominal controls in real time. Within this framework, we will show that in the EoL phase we only need to design simple compensators of the mismatches between the expected and the measured outputs, whereas no fine tuning of (possibly complex) systems is required. The resulting approach not only exploits the - usually available - simulator and significantly simplifies the design process, but also outperforms the state-of-the-art techniques in terms of tracking accuracy and robustness within challenging vehicle dynamics problems. Several case studies will be discussed to illustrate the potential of the proposed approach as compared to traditional vehicle dynamics estimation and control solutions.
<br /><br /></p>

<div style="max-width:608px"><div style="position:relative;padding-bottom:66.118421052632%"><iframe id="kaltura_player" src="https://api.kaltura.nordu.net/p/331/sp/33100/embedIframeJs/uiconf_id/23450324/partner_id/331?iframeembed=true&amp;playerId=kaltura_player&amp;entry_id=0_qx7ioqfm&amp;flashvars[streamerType]=auto&amp;flashvars[localizationCode]=en&amp;flashvars[leadWithHTML5]=true&amp;flashvars[sideBarContainer.plugin]=true&amp;flashvars[sideBarContainer.position]=left&amp;flashvars[sideBarContainer.clickToClose]=true&amp;flashvars[chapters.plugin]=true&amp;flashvars[chapters.layout]=vertical&amp;flashvars[chapters.thumbnailRotator]=false&amp;flashvars[streamSelector.plugin]=true&amp;flashvars[EmbedPlayer.SpinnerTarget]=videoHolder&amp;flashvars[dualScreen.plugin]=true&amp;flashvars[hotspots.plugin]=1&amp;flashvars[Kaltura.addCrossoriginToIframe]=true&amp;&amp;wid=0_gpv2ep87" width="608" height="402" allowfullscreen="" webkitallowfullscreen="" mozallowfullscreen="" allow="autoplay *; fullscreen *; encrypted-media *" sandbox="allow-downloads allow-forms allow-same-origin allow-scripts allow-top-navigation allow-pointer-lock allow-popups allow-modals allow-orientation-lock allow-popups-to-escape-sandbox allow-presentation allow-top-navigation-by-user-activation" frameborder="0" title="&quot;The Twin-in-the-loop approach for vehicle dynamics estimation and control&quot;  by Simone Formentin (PoliMi)" style="position:absolute;top:0;left:0;width:100%;height:100%"></iframe></div></div>

<h2 id="additional-related-references">Additional related references</h2>
<ul>
  <li>Dettù et al. <a href="https://arxiv.org/abs/2209.02263">“The Twin-in-the-Loop approach for vehicle dynamics control”</a></li>
  <li>Riva et al. <a href="https://arxiv.org/abs/2204.06259">“Twin-in-the-loop state estimation for vehicle dynamics control: theory and experiments”</a></li>
</ul>

<!--[![Watch the video](https://www.idt.mdu.se/~aps01/seminars/videos/2021-11-02-matias-waller.png)](https://www.idt.mdu.se/~aps01/seminars/videos/2021-11-02-matias-waller.mp4)-->]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="seminar" /><category term="control theory" /><category term="data-driven control" /><category term="research" /><summary type="html"><![CDATA[Simone Formentin, Politecnico di Milano, Italy]]></summary></entry><entry><title type="html">ACSOS 2022 Special Event Tutorial @ Cesena, Italy</title><link href="https://www.idt.mdu.se/~aps01/ACSOS-SE/" rel="alternate" type="text/html" title="ACSOS 2022 Special Event Tutorial @ Cesena, Italy" /><published>2022-05-05T00:00:00+02:00</published><updated>2023-10-04T08:42:05+02:00</updated><id>https://www.idt.mdu.se/~aps01/ACSOS-SE</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/ACSOS-SE/"><![CDATA[<h2 id="organizer">Organizer</h2>
<ul>
  <li><a href="https://www.unibo.it/sitoweb/danilo.pianini"><strong>Danilo Pianini</strong></a>, University of Bologna, Italy</li>
</ul>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/5yXvAMv0hJE" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>

<h2 id="speakers--talks">Speakers &amp; Talks</h2>
<ul>
  <li><a href="https://www.scss.tcd.ie/Ivana.Dusparic/"><strong>Ivana Dusparic</strong></a>: “<em>Reinforcement Learning for self-adaptive city-scale infrastructures</em>”</li>
</ul>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/jvd2uxtV9m8" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>

<ul>
  <li><strong>Alessandro Papadopoulos</strong>: “<em>Designing self-adaptive software systems with control theory: an overview</em>”</li>
</ul>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/o19A2CkYPO0" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>

<ul>
  <li><a href="http://www.lukasesterle.com/"><strong>Lukas Esterle</strong></a>: “<em>Digital Twins - from Development to deployment in intelligent systems</em>”</li>
</ul>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/ZXKWuVzj9RQ" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="research" /><category term="tutorial" /><category term="self-adaptive systems" /><category term="control theory" /><summary type="html"><![CDATA[Organizer Danilo Pianini, University of Bologna, Italy]]></summary></entry><entry><title type="html">Using physics for monitoring autonomous rigid-wing sailing robots</title><link href="https://www.idt.mdu.se/~aps01/matias-waller/" rel="alternate" type="text/html" title="Using physics for monitoring autonomous rigid-wing sailing robots" /><published>2021-11-02T00:00:00+01:00</published><updated>2023-05-24T22:34:23+02:00</updated><id>https://www.idt.mdu.se/~aps01/matias-waller</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/matias-waller/"><![CDATA[<p><strong>Presenter</strong> <a href="https://www.arcada.fi/en/about-us/contact-details/dept-of-energy-and-materials-technology/matias-waller">Matias Waller</a>, <a href="https://www.arcada.fi/en">Arcada</a>, Finland 
<br />
<a href="https://www.idt.mdu.se/~aps01/docs/seminars/2021-11-02-UsingPhysicsMonitoringMDH.pdf" target="_blank"><i style="color:#FC352B" class="fas fa-file-pdf"></i> <strong>Slides</strong></a>
<br /><br />
<strong>Abstract</strong>
The basic physics behind sailing is presented. The basic model is explored numerically and used as a tool for monitoring performance of rigid-wing sailing robots. Using measurements from two different autonomous sailing robots, it is shown how the approach can be used for assessing pilot experiments and detecting unreliable sensors.
<br /><br /></p>

<div style="max-width:608px"><div style="position:relative;padding-bottom:66.118421052632%"><iframe id="kaltura_player" src="https://d38ynedpfya4s8.cloudfront.net/p/331/sp/33100/embedIframeJs/uiconf_id/23450324/partner_id/331?iframeembed=true&amp;playerId=kaltura_player&amp;entry_id=0_9mbx3ez6&amp;flashvars[streamerType]=auto&amp;flashvars[localizationCode]=sv&amp;flashvars[leadWithHTML5]=true&amp;flashvars[sideBarContainer.plugin]=true&amp;flashvars[sideBarContainer.position]=left&amp;flashvars[sideBarContainer.clickToClose]=true&amp;flashvars[chapters.plugin]=true&amp;flashvars[chapters.layout]=vertical&amp;flashvars[chapters.thumbnailRotator]=false&amp;flashvars[streamSelector.plugin]=true&amp;flashvars[EmbedPlayer.SpinnerTarget]=videoHolder&amp;flashvars[dualScreen.plugin]=true&amp;flashvars[hotspots.plugin]=1&amp;flashvars[Kaltura.addCrossoriginToIframe]=true&amp;&amp;wid=0_ak3lyb09" width="608" height="402" allowfullscreen="" webkitallowfullscreen="" mozallowfullscreen="" allow="autoplay *; fullscreen *; encrypted-media *" sandbox="allow-forms allow-same-origin allow-scripts allow-top-navigation allow-pointer-lock allow-popups allow-modals allow-orientation-lock allow-popups-to-escape-sandbox allow-presentation allow-top-navigation-by-user-activation" frameborder="0" title="Kaltura Player" style="position:absolute;top:0;left:0;width:100%;height:100%"></iframe></div></div>

<!--[![Watch the video](https://www.idt.mdu.se/~aps01/seminars/videos/2021-11-02-matias-waller.png)](https://www.idt.mdu.se/~aps01/seminars/videos/2021-11-02-matias-waller.mp4)-->]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="seminar" /><category term="control theory" /><category term="robotics" /><category term="autonomous systems" /><category term="research" /><summary type="html"><![CDATA[Matias Waller, Arcada, Finland]]></summary></entry><entry><title type="html">ESWeek 2021: Tutorial on Fog Computing for Industrial IoT</title><link href="https://www.idt.mdu.se/~aps01/ESWeek-Tutorial/" rel="alternate" type="text/html" title="ESWeek 2021: Tutorial on Fog Computing for Industrial IoT" /><published>2021-10-07T00:00:00+02:00</published><updated>2023-10-04T08:43:31+02:00</updated><id>https://www.idt.mdu.se/~aps01/ESWeek-Tutorial</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/ESWeek-Tutorial/"><![CDATA[<h2 id="organizers">Organizers</h2>
<ul>
  <li>Alessandro V. Papadopoulos, Mälardalen University, Sweden</li>
  <li>Wilfried Steiner, TTTech Computertechnik AG, Austria</li>
</ul>

<h2 id="speakers">Speakers</h2>
<ul>
  <li>Fog Computing – Industrial Use Cases and Open Issues by Wilfried Steiner (TTTech, Austria)</li>
  <li>Control over the edge cloud: Possibilities and Challenges by Karl-Erik Årzén (Lund U., Sweden)</li>
  <li>Data-driven techniques for fault tolerance in Edge Computing systems – theory by  Ivona Brandic (TU Wien, Austria)</li>
  <li>Data-driven techniques for fault tolerance in Edge Computing systems – hands on! by Atakan Aral (Uni Wien, Austria)</li>
</ul>

<p><strong>More details</strong>: <a href="https://esweek.org/tutorial-2-fog-computing-for-industrial-io/">https://esweek.org/tutorial-2-fog-computing-for-industrial-io/</a></p>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/RWYVqbJmK0c" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="research" /><category term="tutorial" /><category term="fog computing" /><category term="control theory" /><category term="edge computing" /><category term="fault tolerance" /><summary type="html"><![CDATA[Organizers Alessandro V. Papadopoulos, Mälardalen University, Sweden Wilfried Steiner, TTTech Computertechnik AG, Austria]]></summary></entry><entry><title type="html">Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (ICSE 2020)</title><link href="https://www.idt.mdu.se/~aps01/papadopoulos-ICSE/" rel="alternate" type="text/html" title="Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (ICSE 2020)" /><published>2020-07-07T00:00:00+02:00</published><updated>2023-10-04T08:44:23+02:00</updated><id>https://www.idt.mdu.se/~aps01/papadopoulos-ICSE</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/papadopoulos-ICSE/"><![CDATA[<p><strong>Presenter</strong> Alessandro Papadopoulos, MDH, Sweden
<br />
<!--[<i style="color:#FC352B" class="fas fa-file-pdf"></i> **Slides**](https://www.idt.mdu.se/~aps01/docs/seminars/XXX.pdf){:target="_blank"}-->
<br /><br />
<strong>Abstract</strong>
The rapid adoption and the diversification of cloud computing technology exacerbate the importance of a sound experimental methodology for this domain. It has been a decade since the first commercial cloud has opened for a general public (Amazon AWS, in 2007). Cloud computing systems are now in much demand, and command significant industrial and scientific interest. Although scientific progress and industry growth depend on using sound principles for measuring and reporting cloud-system performance, this process remains complex. This work investigates how to measure and report performance in the cloud, and how well the cloud research community is already doing it. There are several difficulties, including controlling the time-accuracy trade-off, deciding which data to collect and to report, and using the right summarization statistics in the report. We propose a set of eight important methodological principles that combine best-practices from nearby fields with concepts applicable only to clouds, and with new ideas about the time-accuracy trade-off. We show how these principles are applicable using a practical use-case experiment. To this end, we analyze the ability of the newly released SPEC Cloud IaaS benchmark to follow the principles, and showcase real-world experimental studies in common cloud environments that meet the principles. Last, we report on a systematic literature review including top conferences and journals in the field, from 2012 to 2017, analyzing if the practice of reporting cloud performance measurements follows the proposed eight principles. Worryingly, this systematic survey and the subsequent two-round human reviews, reveal that few of the published studies follow the eight experimental principles. We conclude that, although these important principles are simple and basic, the cloud community is yet to adopt them broadly to deliver sound measurement of cloud environments.
<br /><br />
<a href="https://2020.icse-conferences.org/details/icse-2020-Journal-First/47/Methodological-Principles-for-Reproducible-Performance-Evaluation-in-Cloud-Computing"><strong>More details</strong></a>
<br /><br /></p>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/fDiWY3aS1eM" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="paper" /><category term="conference" /><category term="cloud computing" /><category term="software engineering" /><category term="research" /><summary type="html"><![CDATA[Presenter Alessandro Papadopoulos, MDH, Sweden Abstract The rapid adoption and the diversification of cloud computing technology exacerbate the importance of a sound experimental methodology for this domain. It has been a decade since the first commercial cloud has opened for a general public (Amazon AWS, in 2007). Cloud computing systems are now in much demand, and command significant industrial and scientific interest. Although scientific progress and industry growth depend on using sound principles for measuring and reporting cloud-system performance, this process remains complex. This work investigates how to measure and report performance in the cloud, and how well the cloud research community is already doing it. There are several difficulties, including controlling the time-accuracy trade-off, deciding which data to collect and to report, and using the right summarization statistics in the report. We propose a set of eight important methodological principles that combine best-practices from nearby fields with concepts applicable only to clouds, and with new ideas about the time-accuracy trade-off. We show how these principles are applicable using a practical use-case experiment. To this end, we analyze the ability of the newly released SPEC Cloud IaaS benchmark to follow the principles, and showcase real-world experimental studies in common cloud environments that meet the principles. Last, we report on a systematic literature review including top conferences and journals in the field, from 2012 to 2017, analyzing if the practice of reporting cloud performance measurements follows the proposed eight principles. Worryingly, this systematic survey and the subsequent two-round human reviews, reveal that few of the published studies follow the eight experimental principles. We conclude that, although these important principles are simple and basic, the cloud community is yet to adopt them broadly to deliver sound measurement of cloud environments. More details]]></summary></entry><entry><title type="html">Towards Bridging the Gap between Control and Self-Adaptive System Properties</title><link href="https://www.idt.mdu.se/~aps01/camara-SEAMS/" rel="alternate" type="text/html" title="Towards Bridging the Gap between Control and Self-Adaptive System Properties" /><published>2020-06-30T00:00:00+02:00</published><updated>2023-05-24T22:35:41+02:00</updated><id>https://www.idt.mdu.se/~aps01/camara-SEAMS</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/camara-SEAMS/"><![CDATA[<p><strong>Presenter</strong> Javier Camara, University of York, UK
<br />
<!--[<i style="color:#FC352B" class="fas fa-file-pdf"></i> **Slides**](https://www.idt.mdu.se/~aps01/docs/seminars/XXX.pdf){:target="_blank"}-->
<br /><br />
<strong>Abstract</strong>
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system’s run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability, as well as dynamic properties that capture the transient evolution of variables such as settling time. On the other hand, self-adaptive systems consider mostly non-functional properties that capture concerns such as performance, reliability, and cost. In general, it is not easy to reconcile these two types of properties or identify under which conditions they constitute a good fit to provide run-time guarantees. There is a need of identifying the key properties in the areas of control and self-adaptation, as well as of characterizing and mapping them to better understand how they relate and possibly complement each other. In this paper, we take a first step to tackle this problem by: (1) identifying a set of key properties in control theory, (2) illustrating the formalization of some of these properties employing temporal logic languages commonly used to engineer self-adaptive software systems, and (3) illustrating how to map key properties that characterize self-adaptive software systems into control properties, leveraging their formalization in temporal logics. We illustrate the different steps of the mapping on an exemplar case in the cloud computing domain and conclude with identifying open challenges in the area.
<br /><br />
<a href="https://conf.researchr.org/details/seams-2020/seams-2020-papers/9/Towards-Bridging-the-Gap-between-Control-and-Self-Adaptive-System-Properties"><strong>More details</strong></a>
<br /><br /></p>

<iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/YJfujWMQp9g" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="paper" /><category term="conference" /><category term="control theory" /><category term="self-adaptive systems" /><category term="software engineering" /><category term="research" /><summary type="html"><![CDATA[Presenter Javier Camara, University of York, UK Abstract Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system’s run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability, as well as dynamic properties that capture the transient evolution of variables such as settling time. On the other hand, self-adaptive systems consider mostly non-functional properties that capture concerns such as performance, reliability, and cost. In general, it is not easy to reconcile these two types of properties or identify under which conditions they constitute a good fit to provide run-time guarantees. There is a need of identifying the key properties in the areas of control and self-adaptation, as well as of characterizing and mapping them to better understand how they relate and possibly complement each other. In this paper, we take a first step to tackle this problem by: (1) identifying a set of key properties in control theory, (2) illustrating the formalization of some of these properties employing temporal logic languages commonly used to engineer self-adaptive software systems, and (3) illustrating how to map key properties that characterize self-adaptive software systems into control properties, leveraging their formalization in temporal logics. We illustrate the different steps of the mapping on an exemplar case in the cloud computing domain and conclude with identifying open challenges in the area. More details]]></summary></entry><entry><title type="html">Concurrency defect localization in embedded systems using static code analysis: an evaluation</title><link href="https://www.idt.mdu.se/~aps01/johansson-ISSRE/" rel="alternate" type="text/html" title="Concurrency defect localization in embedded systems using static code analysis: an evaluation" /><published>2019-10-24T00:00:00+02:00</published><updated>2023-10-04T08:45:27+02:00</updated><id>https://www.idt.mdu.se/~aps01/johansson-ISSRE</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/johansson-ISSRE/"><![CDATA[<p><strong>Presenter</strong> Bjarne Johansson, ABB AB &amp; Mälardalen University, Sweden
<br />
<!--[<i style="color:#FC352B" class="fas fa-file-pdf"></i> **Slides**](https://www.idt.mdu.se/~aps01/docs/seminars/XXX.pdf){:target="_blank"}-->
<br /><br />
<strong>Abstract</strong>
Defects with low manifestation probability, such as concurrency defects, are difficult to find during testing. When such a defect manifests into an error, the low likelihood can make it time-consuming to reproduce the error and find the root cause. Static Code Analysis (SCA) tools have been used in the industry for decades, mostly for compliance checking towards guidelines such as MISRA. Today, these tools are capable of sophisticated data and execution flow analysis. Our work, presented in this paper, evaluates the feasibility of using SCA tools for concurrency defect detection and localization. Earlier research has categorized concurrency defects. We use this categorization and develop an object-oriented C++ based test suite containing defects from each category. Secondly, we use known and real defects in existing products’ source code. With these two approaches, we perform the evaluation, using tools from some of the largest commercial actors in the field. Based on our results, we provide a discussion about how to use static code analysis tools for concurrency defect detection in complex embedded real-time systems.
<br /><br /></p>

<!-- Courtesy of embedresponsively.com -->

<div class="responsive-video-container">
    <iframe src="https://www.youtube-nocookie.com/embed/INu1lIdX_Bg" frameborder="0" webkitallowfullscreen="" mozallowfullscreen="" allowfullscreen=""></iframe>
  </div>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="paper" /><category term="conference" /><category term="cloud" /><category term="research" /><summary type="html"><![CDATA[Presenter Bjarne Johansson, ABB AB &amp; Mälardalen University, Sweden Abstract Defects with low manifestation probability, such as concurrency defects, are difficult to find during testing. When such a defect manifests into an error, the low likelihood can make it time-consuming to reproduce the error and find the root cause. Static Code Analysis (SCA) tools have been used in the industry for decades, mostly for compliance checking towards guidelines such as MISRA. Today, these tools are capable of sophisticated data and execution flow analysis. Our work, presented in this paper, evaluates the feasibility of using SCA tools for concurrency defect detection and localization. Earlier research has categorized concurrency defects. We use this categorization and develop an object-oriented C++ based test suite containing defects from each category. Secondly, we use known and real defects in existing products’ source code. With these two approaches, we perform the evaluation, using tools from some of the largest commercial actors in the field. Based on our results, we provide a discussion about how to use static code analysis tools for concurrency defect detection in complex embedded real-time systems.]]></summary></entry><entry><title type="html">Automatica.it 2018 - Tavola rotonda (in Italian)</title><link href="https://www.idt.mdu.se/~aps01/automaticaIT/" rel="alternate" type="text/html" title="Automatica.it 2018 - Tavola rotonda (in Italian)" /><published>2018-09-14T00:00:00+02:00</published><updated>2026-06-09T15:52:20+02:00</updated><id>https://www.idt.mdu.se/~aps01/automaticaIT</id><content type="html" xml:base="https://www.idt.mdu.se/~aps01/automaticaIT/"><![CDATA[<h2 id="moderators">Moderators</h2>
<ul>
  <li>Laura Giarré (Università di Modena e Reggio Emilia)</li>
  <li>Pietro Tesi (Università degli Studi di Firenze)</li>
</ul>

<h2 id="speakers">Speakers</h2>

<ul>
  <li>Paolo Frasca (CNRS, France) “Opinion dynamics, Social Networks, Systems and Control”</li>
  <li>Giulia Giordano (Delft University of Technology, The Netherlands) “Systems Biology, Decentralized Control, Network Systems”</li>
  <li>Alessandro Papadopoulos (Mälardalen University, Sweden) “Cloud Computing, Feedback Computing, Real-time and embedded systems, Control Theory”</li>
  <li>Mattia Zorzi (Università degli Studi di Padova, Italy) “Machine Learning, Robust Estimation, Graphical Models, Identification Theory”</li>
</ul>

<iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/l9K3Xyj3SJI" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe>]]></content><author><name>Alessandro Vittorio Papadopoulos</name><email>alpapa@dtu.dk</email><uri>https://orbit.dtu.dk/en/persons/alessandro-papadopoulos/</uri></author><category term="conference" /><category term="control theory" /><category term="Automatica.it" /><category term="invited" /><category term="research" /><summary type="html"><![CDATA[Moderators Laura Giarré (Università di Modena e Reggio Emilia) Pietro Tesi (Università degli Studi di Firenze)]]></summary></entry></feed>