Paolo F. Sciammarella
YOU?
Author Swipe
View article: Seamless development in Java of distributed real-time systems using actors
Seamless development in Java of distributed real-time systems using actors Open
The work described in this paper is concerned with a model-driven development of distributed real-time systems, like cyber-physical systems. A challenge in such systems' development consists of ensuring that a final implementation is compl…
View article: Seamless development in Java of distributed real-time systems using actors
Seamless development in Java of distributed real-time systems using actors Open
The work described in this paper is concerned with a model-driven development of distributed real-time systems, like cyber-physical systems. A challenge in such systems' development consists of ensuring that a final implementation is compl…
View article: Modelling analysis and implementation of distributed probabilistic timed actors using theatre
Modelling analysis and implementation of distributed probabilistic timed actors using theatre Open
Dottorato in Information and Communication Technologies, Ciclo XXXI
View article: A layered IoT-based architecture for a distributed structural health monitoring system System
A layered IoT-based architecture for a distributed structural health monitoring system System Open
Structural health monitoring (SHM) is responsible for identifying techniques and for prototyping systems performing a state diagnosis of structures. Its aim is to prevent sudden civil infrastructure failure as a result of several invisible…
View article: Modelling and analysis of multi-agent systems using UPPAAL SMC
Modelling and analysis of multi-agent systems using UPPAAL SMC Open
This paper proposes a novel approach to modelling and analysis of complex multi-agent systems. The approach is based on actors and asynchronous message passing, and exploits the UPPAAL statistical model checker (SMC) for the experiments. U…
View article: FROM DISTRIBUTED MEASUREMENT SYSTEMS TO CYBER-PHYSICAL SYSTEMS: A DESIGN APPROACH
FROM DISTRIBUTED MEASUREMENT SYSTEMS TO CYBER-PHYSICAL SYSTEMS: A DESIGN APPROACH Open
Recently the technological advances have allowed the introduction of new standards to model and monitor control systems. The classical distributed measurement systems (DMSs) have been enriched with the use of a large number of new measurem…
View article: Model Checking Mutual Exclusion Algorithms Using Uppaal
Model Checking Mutual Exclusion Algorithms Using Uppaal Open
This paper proposes an approach to modelling and exhaustive verification of mutual exclusion algorithms which is based on Timed Automata in the context of the popular Uppaal toolbox. The approach makes it possible to study the properties o…