Searcharxiv⌕ Search

arXiv subjects

Alessio Ferrari

Publications and source records attributed to Alessio Ferrari.

40 records · Page 3Linked to original sources

Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study

Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of linguistic analysis tasks performed at various RE phases. Such tasks include detecting language issues, identifying key domain concepts and establishing traceability links between requirements. This article surveys the landscape of NLP4RE research to understand the state of the art and identify open problems. The systematic mapping study approach is used to conduct this survey, which identified 404 relevant primary studies and reviewed them according to five research questions, cutting across five aspects of NLP4RE research, concerning the state of the literature, the state of empirical research, the research focus, the state of the practice, and the NLP technologies used. Results: 1) NLP4RE is an active and thriving research area in RE that has amassed a large number of publications and attracted widespread attention from diverse communities; 2) most NLP4RE studies are solution proposals having only been evaluated using a laboratory experiment or an example application; 3) most studies have focused on the analysis phase, with detection as their central linguistic analysis task and requirements specification as their commonly processed document type; 4) 130 new tools have been proposed to support a range of linguistic analysis tasks, but there is little evidence of adoption in the long term, although some industrial applications have been published; 5) 140 NLP techniques, 66 NLP tools and 25 NLP resources are extracted from the selected studies.

cs.SE↗

Observing the Effect of Polarization Mode Dispersion on Nonlinear Interference Generation in Wide-Band Optical Links

With the extension of the spectral exploitation of optical fibers beyond the C-band, accurate modeling and simulation of nonlinear interference (NLI) generation is of the utmost performance. Models and numerical simulation tools rely on the widely used Manakov equation (ME): however, this approach when considering also the effect of polarization mode dispersion (PMD) is formally valid only over a narrow optical bandwidth. In order to analyze the range of validity of the ME and its applicability to future wide-band systems, we present numerical simulations, showing the interplay between NLI generation and PMD over long dispersion-uncompensated optical links, using coherent polarization division multiplexing (PDM) quadrature amplitude modulation (QAM) formats. Using a Monte-Carlo analysis of different PMD realizations based on the coupled nonlinear Schrödinger equations, we show that PMD has a negligible effect on NLI generation, independently from the total system bandwidth. Based on this, we give strong numerical evidence that the ME can be safely used to estimate NLI generation well beyond its bandwidth of validity that is limited to the PMD coherence bandwidth.

eess.SP↗

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

Communications-based Train Control (CBTC) systems are metro signalling platforms, which coordinate and protect the movements of trains within the tracks of a station, and between different stations. In CBTC platforms, a prominent role is played by the Automatic Train Supervision (ATS) system, which automatically dispatches and routes trains within the metro network. Among the various functions, an ATS needs to avoid deadlock situations, i.e., cases in which a group of trains block each other. In the context of a technology transfer study, we designed an algorithm for deadlock avoidance in train scheduling. In this paper, we present a case study in which the algorithm has been applied. The case study has been encoded using ten different formal verification environments, namely UMC, SPIN, NuSMV/nuXmv, mCRL2, CPN Tools, FDR4, CADP, TLA+, UPPAAL and ProB. Based on our experience, we observe commonalities and differences among the modelling languages considered, and we highlight the impact of the specific characteristics of each language on the presented models.

cs.SE↗

Introducing the Generalized GN-model for Nonlinear Interference Generation including space/frequency variations of loss/gain

We develop and present a generalization of the GN-model - the generalized Gaussian noise (GGN) model - to enabling a fair application of GN-model to predict generation of nonlinear interference when loss parameters relevantly vary with frequency and/or distributed amplification applies selectively to portions of the exploited spectrum and/or stimulated-Raman-scattering-induced crosstalk is relevant.

physics.optics↗