Stefano Forti

Dr. Stefano Forti

Department of Computer Science, University of Pisa, 56126 Pisa, Italy

Research Focus & Metrics

Academic Career Length

10Years (2017-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
4 May 2017 in IEEE Internet of Things Journal
Verified
Journal Article
Closed access
ABAntonio Brogi
Antonio Brogi
Stefano FortiStefano Forti
Stefano Forti
Fog computing aims at extending the Cloud by bringing computational power, storage, and communication capabilities to the edge of the network, in support of the IoT. Segmentation, distribution, and adaptive deployment of functionalities over the continuum from Things to Cloud are challenging tasks, due to the intrinsic heterogeneity, hierarchical structure, and very large scale infrastructure they will have to exploit. In this paper, we propose a simple, yet general, model to support the QoS-aware deployment of multicomponent IoT applications to Fog infrastructures. The model describes operational systemic qualities of the available infrastructure (latency and bandwidth), interactions among software components and Things, and business policies. Algorithms to determine eligible deployments for an application to a Fog infrastructure are presented. A Java tool, FogTorch, based on the proposed model has been prototyped.

27 November 2019 in Software: Practice and Experience
Verified
Journal Article
Closed access
PDF file
ABAntonio Brogi
Antonio Brogi
Stefano FortiStefano Forti
Stefano Forti
Computer DeparmentComputer Deparment
Computer Deparment
Isaac LeraIsaac Lera
Isaac Lera

1 May 2017
Verified
Conference Paper
Closed access
ABAntonio Brogi
Antonio Brogi
Stefano FortiStefano Forti
Stefano Forti
AIAhmad Ibrahim
Ahmad Ibrahim
Deploying composite applications to Fog nodes in a QoS-and context-aware manner is challenging due to the heterogeneity and scale of Fog infrastructures. Application components must be provided with the software and hardware capabilities they need. Communication links that support interactions between components must meet certain QoS (latency and bandwidth). On the other hand, different Fog and Cloud nodes provide different software and hardware capabilities, and actual communication links support different QoS over time. In this paper we present a prototype (FogTorchII) capable of determining deployments of composite applications to Fog infrastructures, which fulfil software, hardware and QoS requirements. FogTorchII exploits Monte Carlo simulations to take into account possible variations of the QoS of communication links. It classifies eligible deployments both in terms of QoS-assurance and of Fog resource consumption. We illustrate the utility of FogTorchII over a motivating example where we compare different possible deployments for a smart agriculture application.

1 January 2020 in Future Generation Computer Systems
Verified
Journal Article
Closed access
Stefano FortiStefano Forti
Stefano Forti
GFGian-Luigi Ferrari
Gian-Luigi Ferrari
ABAntonio Brogi
Antonio Brogi

1 January 2021 in Future Generation Computer Systems
Verified
Journal Article
Closed access
Stefano FortiStefano Forti
Stefano Forti
MGMarco Gaglianese
Marco Gaglianese
ABAntonio Brogi
Antonio Brogi

11 February 2022 in Journal of Logic and Computation
Verified
Journal Article
Closed access
Stefano FortiStefano Forti
Stefano Forti
GBGiuseppe Bisicchia
Giuseppe Bisicchia
ABAntonio Brogi
Antonio Brogi
Developing and releasing multiservice applications rely upon a pipeline of automation tools known as Continuous Integration/Continuous Deployment. Among those tools, continuous reasoning is exploited by large companies to perform incremental static analyses on their code commits as soon as they are integrated into a shared codebase. In this article, we extend continuous reasoning towards the continuous QoS- and context-aware management of multiservice applications in Cloud-IoT scenarios. We propose a novel continuous reasoning methodology that supports runtime decision on service placement by reacting both to changes in the infrastructure and in the application requirements, and capable of suggesting migrations only for services affected by such changes. The methodology is prototyped in Prolog and assessed through simulations over a realistic use case and over a lifelike motivating scenario at increasing infrastructure sizes. Experimental results show that our approach brings considerable speed-up in comparison with an exhaustive search employing non-incremental reasoning.