Giorgio Oronzo Spagnolo

Learn More
A company who wishes to enter an established marked with a new, competitive product is required to analyse the product solutions of the competitors. Identifying and comparing the <i>features</i> provided by the other vendors might greatly help during the market analysis. However, mining common and variant features of from the publicly available documents of(More)
The degree of automation in rail transport systems is constantly increasing. The gradual replacement of the control role of the human agent requires these systems to guarantee an enhanced level of safety and reliability. On the other hand, increased automation implies increased complexity. Dealing with such complexity requires to analyse the different(More)
Communications-based train control (CBTC) systems are the new frontier of automated train control and operation. Currently developed CBTC platforms are actually very complex systems including several functionalities, and every installed system, developed by a different company, varies in extent, scope, number, and even names of the implemented(More)
This paper presents an approach for pragmatic ambiguity detection in natural language requirements. Pragmatic ambiguities depend on the context of a requirement, which includes the background knowledge of the reader: different backgrounds can lead to different interpretations. The presented approach employs a graph-based modelling of the background(More)
In this paper we present the deadlock avoidance approach used in the design of the scheduling kernel of an Automatic Train Supervision (ATS) system. The ATS that we have designed prevents the occurrence of deadlocks by performing a set of runtime checks just before allowing a train to move further. For each train, the set of checks to be performed at each(More)
A business subject who wishes to enter an established technological market is required to accurately analyse the features of the products of the different competitors. Such features are normally accessible through natural language (NL) brochures, or NL Web pages, which describe the products to potential customers. Building a feature model that(More)