A5002197803- Software Reliability and Analysis Research
- Software System Performance and Reliability
- Software Engineering Research
- Distributed systems and fault tolerance
- Software Testing and Debugging Techniques
- Dark Matter and Cosmic Phenomena
- Particle Detector Development and Performance
- Advanced Software Engineering Methodologies
- Astrophysics and Cosmic Phenomena
- Radiation Detection and Scintillator Technologies
- Service-Oriented Architecture and Web Services
- Bluetooth and Wireless Communication Technologies
- Peer-to-Peer Network Technologies
- Mobile Agent-Based Network Management
- Cloud Computing and Resource Management
- Context-Aware Activity Recognition Systems
- Model-Driven Software Engineering Techniques
- Petri Nets in System Modeling
- Nuclear Physics and Applications
- Distributed and Parallel Computing Systems
- Real-Time Systems Scheduling
- Multimedia Communication and Technology
- Neutrino Physics Research
- Advanced Data Storage Technologies
- Solar and Space Plasma Dynamics
University of Naples Federico II
2015-2024
Ingegneria dei Trasporti (Italy)
2009-2024
Heidelberg University
2024
University Hospital Heidelberg
2024
University Medical Centre Mannheim
2024
Consorzio Interuniversitario Nazionale per l'Informatica
2003-2022
Laboratoire de Physique Nucléaire et de Hautes Énergies
2013-2020
SLAC National Accelerator Laboratory
2018-2019
City, University of London
2019
University of Campania "Luigi Vanvitelli"
2017
Software aging is a phenomenon plaguing many long-running complex software systems, which exhibit performance degradation or an increasing failure rate. Several strategies based on the proactive rejuvenation of state have been proposed to counteract and prevent failures. This survey article provides overview studies Aging Rejuvenation (SAR) that appeared in major journals conference proceedings, with respect statistical approaches used forecast phenomena plan rejuvenation, kind systems...
In a large Infrastructure-as-a-Service (IaaS) cloud, component failures are quite common. Such may lead to occasional system downtime and eventual violation of Service Level Agreements (SLAs) on the cloud service availability. The availability analysis underlying infrastructure is useful provider design capable providing defined SLA, as well evaluate capabilities an existing one. This paper presents scalable, stochastic model-driven approach quantify large-scale IaaS where typically dealt...
The spread of the Internet Things (IoT) involving an uncountable number applications, combined with rise Machine Learning (ML), has enabled rapid growth pervasive and intelligent systems in a variety domains, including healthcare, environment, railway transportation Industry 4.0. While this opens up favorable scenarios, it also raises new challenges. huge amount data collected processed by ML applications requires efficient scalable solutions that contrast constrained capabilities IoT...
In the railway domain, rolling stock maintenance affects service operation time and efficiency. Minimizing train unavailability is essential for reducing capital loss operational costs. To this aim, prediction of failures equipment crucial to proactively trigger proper activities. Indeed, predictive a golden example digital transformation within Industry 4.0, which several engineering processes in domain. Nowadays, it may leverage artificial intelligence machine learning algorithms forecast...
Software systems running continuously for a long time tend to show degrading performance and an increasing failure occurrence rate, due error conditions that accrue over eventually lead the system failure. This phenomenon is usually referred as Aging. Several long-running mission safety critical applications have been reported experience catastrophic aging-related failures. aging sources (i.e., bugs) may be hidden in several layers of complex software system, ranging from Operating System...
In Continuous Integration (CI), regression testing is constrained by the time between commits. This demands for careful selection and/or prioritization of test cases within suites too large to be run entirely. To this aim, some Machine Learning (ML) techniques have been proposed, as an alternative deterministic approaches. Two broad strategies ML-based are learning-to-rank and what we call ranking-to-learn (i.e., reinforcement learning). Various ML algorithms can applied in each strategy....
With software systems increasingly being employed in critical contexts, assuring high reliability levels for large, complex can incur huge verification costs. Existing standards usually assign predefined risk to components the design phase, provide some guidelines verification. It is a rough-grained assignment that does not consider costs and sufficient modeling basis let engineers quantitatively optimize resources usage. Software allocation models partially address such issues, but they...
After 16 years, a significant body of knowledge has been established in the area Software Aging and Rejuvenation (SAR). In this paper, we survey papers about SAR that appeared IEEE conferences journals, identify where research mostly focused, highlight some aspects deserving more attention, with aim to provoke constructive discussion among researches arrived it should be headed next future.
In numerous contexts, ranging from systems safety assessment to finance and medical diagnosis, a relevant causal inference task is predict unseen rare events – the so-called black swans . These are plausible, high-impact, but unexpected for whose prediction probabilistic-based falls short. For instance, analyst needs hypothesize potential co-causes that could lead an accident, so as manage most failures besides more obvious ones. Given effect, we use abduction support generation of plausible...
Semiperipheral collisions in the $^{124}\mathrm{Sn}+^{64}\mathrm{Ni}$ reaction at 35 MeV/nucleon were studied using forward part of Charged Heavy Ion Mass and Energy Resolving Array. Nearly completely determined ternary events involving projectilelike fragments (PLF), targetlike (TLF), intermediate mass (IMF) selected. A new method studying mechanism, focusing on analysis correlations between relative velocities IMF+PLF IMF+TLF subsystems, is proposed. The velocity provide information time...
In this paper, we present Monte Carlo simulation results on the source-gate (S-G) scaling effects in GaN-based HEMTs. The show that a downscaling of S-G distance can improve device performance, enhancing output current and transconductance. main reason for effect is related to peculiar dynamic electrons HEMTs, which leads nonsaturated velocity regime source access region, even high drain applied voltages. On contrary, gate-drain does not affect within analyzed geometries. Based these...
Designing and developing location-aware portable software applications is challenging, since most location-estimation methods i) require non-standard features either in the mobile terminal or network infrastructure, ii) they are specifically designed for indoor outdoor. Moreover, installing tuning systems that rely on such location may be quite a complex operation. In this paper we propose architecture makes combined use of outdoor location-sensing technologies. On top there generic API,...
Microservice Architectures (MSA) are nowadays largely adopted by companies in several domains to provide on-demand services. The reliability of microservices is fundamental avoid failures compromising the business functionalities. MSA automated testing possible thanks well-defined service interfaces specified open formats like OpenAPI/Swagger. To support functional and non-functional testing, we define a framework that: (i) generates test cases with valid invalid inputs, executes monitors...
The phenomenon of software aging is increasingly recognized as a relevant problem long-running systems. Numerous experiments have been carried out in the last decade to empirically analyze aging. Such experiments, besides highlighting relevance phenomenon, shown that tightly related applied workload. However, due differences among experimented applications and experimental conditions, results past studies are not comparable each other. This prevent from drawing general conclusions (e.g.,...
We investigate the dependence of software failure reproducibility on environment in which is executed. The existence such ascertained literature, but so far it not fully characterized. In this paper we pinpoint some environmental components that can affect a and show influence through an experimental campaign conducted My SQL Server system. set failures interest drawn from SQL's reports database experiment designed for each these failures. experiments expose disk usage level concurrency...
A prospective study was undertaken to assess the outcomes of a series patients treated using pyrocarbon implant arthroplasty after partial trapeziectomy for trapeziometacarpal joint osteoarthritis. We analysed results this procedure in 27 joints 25 patients. The mean follow-up interval 34 months (range 26–52). showed that interpositional provided excellent pain relief and high patient satisfaction. Overall function, according disabilities arm, shoulder hand (DASH) score, improved from 48...