2016
Other
Restricted
Agile processes and formal methods in railway systems
Spagnolo Go
A business subject who decides to enter an established technological market is required to accurately analyse the products of the different competitors. In the case of cheap mass products (e.g., mobiles, laptops), the new company can actually purchase the products and evaluate their features in order to compare them. In the case of expensive, large-scale, and often customized, products (e.g., security systems, intelligent transport systems), the company has to rely on the existing public documentation about the products, since the cost required to purchase the actual products would be prohibitive. In this work, we consider the case of Communications-Based Train Control (CBTC) systems. In this context this dissertation present the development a safety critical system, with limited knowledge of the domain, in a context with multiple competitors. The safety critical system shall be developed according to standards (process and product standards). At the same time, there is a limited know- ledge of the domain. Hence, agile methods fit the need of having an in-depth view of the problem, in limited time, and with limited knowledge.
Spagnolo Go
A business subject who decides to enter an established technological market is required to accurately analyse the products of the different competitors. In the case of cheap mass products (e.g., mobiles, laptops), the new company can actually purchase the products and evaluate their features in order to compare them. In the case of expensive, large-scale, and often customized, products (e.g., security systems, intelligent transport systems), the company has to rely on the existing public documentation about the products, since the cost required to purchase the actual products would be prohibitive. In this work, we consider the case of Communications-Based Train Control (CBTC) systems. In this context this dissertation present the development a safety critical system, with limited knowledge of the domain, in a context with multiple competitors. The safety critical system shall be developed according to standards (process and product standards). At the same time, there is a limited know- ledge of the domain. Hence, agile methods fit the need of having an in-depth view of the problem, in limited time, and with limited knowledge.
2021
Other
Open Access
Esportazione memoria permanente di riepilogo registratore telematico
Spagnolo Go, Surano D
Esportazione Memoria di riepilogo RT: codifiche ed uso proposta di nuovo tracciato che estende il precedente per estrarre tutte le informazioni immagazzinate nella memoria di riepilogo del registratore telematico.DOI: 10.32079/isti-tr-2021/014
Metrics:
Spagnolo Go, Surano D
Esportazione Memoria di riepilogo RT: codifiche ed uso proposta di nuovo tracciato che estende il precedente per estrarre tutte le informazioni immagazzinate nella memoria di riepilogo del registratore telematico.DOI: 10.32079/isti-tr-2021/014
Metrics:
See at:
CNR IRIS 
| ISTI Repository | CNR IRIS 
2021
Other
Open Access
Esportazione memoria permanente di dettaglio registratore telematico
Spagnolo G O, Surano D
Esportazione Memoria Permanente di Dettaglio Registratore Telematico, codifiche ed uso proposta estensione tracciato esportazione memoria di dettaglio per consentire la esportazione di tutte le informazioni salvate nella memoria di dettaglio del RT.DOI: 10.32079/isti-tr-2021/013
Metrics:
Spagnolo G O, Surano D
Esportazione Memoria Permanente di Dettaglio Registratore Telematico, codifiche ed uso proposta estensione tracciato esportazione memoria di dettaglio per consentire la esportazione di tutte le informazioni salvate nella memoria di dettaglio del RT.DOI: 10.32079/isti-tr-2021/013
Metrics:
See at:
CNR IRIS | ISTI Repository | CNR IRIS
2022
Journal article
Open Access
Smart railway infrastructures: efficiency, reliability and safety
Bechini A., Masetti G., Spagnolo G. O., Vallati C.
SmaRIERS (Smart Railway Infrastructures: Efficiency, Reliability and Safety) is a technology transfer project financed by the Tuscany Region. The project partners include ECM s.p.a. (Progress Rail of the multinational Caterpillar Inc. group), a Pistoia-based company and leader in the railway sector that develops solutions and technologies for the safety and control of railway infrastructure, and the Formal Methods and Tools (FMT) and Software Engineering and Dependable Computing (SEDC) research labs of ISTI-CNR. The project is conducted in strong collaboration with the Department of Information Engineering of the University of Pisa.Source: ERCIM NEWS
Project(s): Smart Railway Infrastructures: Efficiency, Reliability and Safety
Bechini A., Masetti G., Spagnolo G. O., Vallati C.
SmaRIERS (Smart Railway Infrastructures: Efficiency, Reliability and Safety) is a technology transfer project financed by the Tuscany Region. The project partners include ECM s.p.a. (Progress Rail of the multinational Caterpillar Inc. group), a Pistoia-based company and leader in the railway sector that develops solutions and technologies for the safety and control of railway infrastructure, and the Formal Methods and Tools (FMT) and Software Engineering and Dependable Computing (SEDC) research labs of ISTI-CNR. The project is conducted in strong collaboration with the Department of Information Engineering of the University of Pisa.Source: ERCIM NEWS
Project(s): Smart Railway Infrastructures: Efficiency, Reliability and Safety
See at:
ercim-news.ercim.eu | CNR IRIS | CNR IRIS | CNR IRIS
2024
Journal article
Open Access
‘Freeze the measles’: how to improve backward tracing with a new digital tool
Daole A., Giorgi S., Bonaldo L., Cruschelli G., Spagnolo G., Gallo A., Rizzo C.
Abstract Background A measles outbreak occurred in Tuscany, between January and April 2024. There were 37 cases (Incidence: 40,5 per million) with 32 cases (24 confirmed) in the Health District of Pisa. Even if bidirectional tracing showed a better effectiveness in pandemics, there aren’t ready-to-use standardized tools for backward tracing. Methods Pisa Public Health Unit created a digital tool based on a spreadsheet and called “Freeze the measles” which records measles cases and the locations where they passed through (hotspots). These were uploaded on a cloud shared with all the tracers. Hotspots have an expiry date of 21 days. Hotspots and home address case were plotted on a digital map. In a new investigation, tracers could find out if the case visited some hotspots before getting sick and check the distance between home address and hotspots, reducing recall bias. Every case was interviewed about 21 days before rash onset (backward) and plus or minus 4 days of rash onset (forward). The tool matched data to identify contacts and exposure. Results Since the index case wasn’t found, the first 5 unrelated cases were considered index cases for this outbreak. Second and third wave involved 17 cases. The tool allows to find an epidemiological link for 16 of them, while 1 case remained unrelated. A super-spreader was identified with 12 secondary cases occurred at hospital emergency room (7), at a near home minimarket (4) and in a large furniture store (1). In second and third waves, tool was able to link 94% of cases. 2 additional cases were imported. When the last hotspot became frozen without new cases occurring, the outbreak was considered ended. The outbreak lasted 33 days. Conclusions The “Freeze the measles” tool allows to identify transmission chains through an interactive map built on cases and their mobility.Source: EUROPEAN JOURNAL OF PUBLIC HEALTH, vol. 34 (issue Supplement_3)
Daole A., Giorgi S., Bonaldo L., Cruschelli G., Spagnolo G., Gallo A., Rizzo C.
Abstract Background A measles outbreak occurred in Tuscany, between January and April 2024. There were 37 cases (Incidence: 40,5 per million) with 32 cases (24 confirmed) in the Health District of Pisa. Even if bidirectional tracing showed a better effectiveness in pandemics, there aren’t ready-to-use standardized tools for backward tracing. Methods Pisa Public Health Unit created a digital tool based on a spreadsheet and called “Freeze the measles” which records measles cases and the locations where they passed through (hotspots). These were uploaded on a cloud shared with all the tracers. Hotspots have an expiry date of 21 days. Hotspots and home address case were plotted on a digital map. In a new investigation, tracers could find out if the case visited some hotspots before getting sick and check the distance between home address and hotspots, reducing recall bias. Every case was interviewed about 21 days before rash onset (backward) and plus or minus 4 days of rash onset (forward). The tool matched data to identify contacts and exposure. Results Since the index case wasn’t found, the first 5 unrelated cases were considered index cases for this outbreak. Second and third wave involved 17 cases. The tool allows to find an epidemiological link for 16 of them, while 1 case remained unrelated. A super-spreader was identified with 12 secondary cases occurred at hospital emergency room (7), at a near home minimarket (4) and in a large furniture store (1). In second and third waves, tool was able to link 94% of cases. 2 additional cases were imported. When the last hotspot became frozen without new cases occurring, the outbreak was considered ended. The outbreak lasted 33 days. Conclusions The “Freeze the measles” tool allows to identify transmission chains through an interactive map built on cases and their mobility.Source: EUROPEAN JOURNAL OF PUBLIC HEALTH, vol. 34 (issue Supplement_3)
See at:
academic.oup.com | CNR IRIS | CNR IRIS
2013
Other
Restricted
2013
Conference article
Restricted
Mining commonalities and variabilities from natural language documents
Ferrari A, Spagnolo Go, Dell'Orletta F
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 features 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 the competitors is a time consuming and error-prone task. In this paper, we suggest to employ a natural language processing approach based on textit{contrastive analysis} to identify commonalities and variabilities from the brochures of a group of vendors. We present a first step towards a practical application of the approach, in the the context of the market of Communications-Based Train Control (CBTC) systems.
Ferrari A, Spagnolo Go, Dell'Orletta F
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 features 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 the competitors is a time consuming and error-prone task. In this paper, we suggest to employ a natural language processing approach based on textit{contrastive analysis} to identify commonalities and variabilities from the brochures of a group of vendors. We present a first step towards a practical application of the approach, in the the context of the market of Communications-Based Train Control (CBTC) systems.
See at:
dl.acm.org | CNR IRIS | CNR IRIS
2014
Journal article
Restricted
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
Ferrari A, Spagnolo Go, Menabeni S, Martelli G
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 functionalities. International standards have emerged, but they remain at a quite abstract level, mostly setting terminology. This paper presents the results of an experience in defining a global model of CBTC, by mixing semi-formal modelling and product line engineering. The effort has been based on an in-depth market analysis, not limiting to particular aspects but considering as far as possible the whole picture. The paper also describes a methodology to derive novel CBTC products from the global model, and to define system requirements for the individual CBTC components. To this end, the proposed methodology employs scenario-based requirements elicitation aided with rapid prototyping. To enhance the quality of the requirements, these are written in a constrained natural language (CNL), and evaluated with natural language processing (NLP) techniques. The final goal is to go toward a formal representation of the requirements for CBTC systems. The overall approach is discussed, and the current experience with the implementation of the method is presented. In particular, we show how the presented methodology has been used in practice to derive a novel CBTC architecture.Source: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (PRINT), pp. 1-21
Ferrari A, Spagnolo Go, Menabeni S, Martelli G
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 functionalities. International standards have emerged, but they remain at a quite abstract level, mostly setting terminology. This paper presents the results of an experience in defining a global model of CBTC, by mixing semi-formal modelling and product line engineering. The effort has been based on an in-depth market analysis, not limiting to particular aspects but considering as far as possible the whole picture. The paper also describes a methodology to derive novel CBTC products from the global model, and to define system requirements for the individual CBTC components. To this end, the proposed methodology employs scenario-based requirements elicitation aided with rapid prototyping. To enhance the quality of the requirements, these are written in a constrained natural language (CNL), and evaluated with natural language processing (NLP) techniques. The final goal is to go toward a formal representation of the requirements for CBTC systems. The overall approach is discussed, and the current experience with the implementation of the method is presented. In particular, we show how the presented methodology has been used in practice to derive a novel CBTC architecture.Source: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (PRINT), pp. 1-21
See at:
CNR IRIS | CNR IRIS | link.springer.com
2015
Other
Open Access
Quality assessment strategy: applying business process understandability guidelines for learning
Corradini F, Ferrrari A, Fornari F, Gnesi S, Polini A, Re B, Spagnolo Go
Modelling using graphical notations permits to improve communications among stakeholders. The usage and composition of the notation elements can greatly impact on the understandability of the dened models. This is an important factor to consider in complex organizations where activities are performed by the collaboration of many stakeholders. Understandability becomes even more important when models are also used to structure learning activities. In this technical we report our experience on the usage of BPMN for documenting and learning business process activities.Project(s): LEARN PAD
Corradini F, Ferrrari A, Fornari F, Gnesi S, Polini A, Re B, Spagnolo Go
Modelling using graphical notations permits to improve communications among stakeholders. The usage and composition of the notation elements can greatly impact on the understandability of the dened models. This is an important factor to consider in complex organizations where activities are performed by the collaboration of many stakeholders. Understandability becomes even more important when models are also used to structure learning activities. In this technical we report our experience on the usage of BPMN for documenting and learning business process activities.Project(s): LEARN PAD
See at:
CNR IRIS | ISTI Repository | CNR IRIS
2014
Software
Metadata Only Access
Completeness assistant for requirements
Ferrari A, Spagnolo G O
Completeness Assistant for Requirements (CAR) is a natural language processing tool, to improve the completeness of the requirements, which supports the definition of the requirements: the tool helps the requirements engineer in discovering relevant concepts and interactions.
Ferrari A, Spagnolo G O
Completeness Assistant for Requirements (CAR) is a natural language processing tool, to improve the completeness of the requirements, which supports the definition of the requirements: the tool helps the requirements engineer in discovering relevant concepts and interactions.
See at:
github.com | CNR IRIS
2016
Software
Metadata Only Access
Verification component understandability BPMN
Spagnolo G O, Ferrari A
In Learn PAd, we developed a quality assessment strategy that allows to guarantee that the used BP models result being understandable by the civil servants. The quality assessment strategy includes modeling understandability guidelines which are supported by a Java tool called verification component understandability BPMN.Project(s): LEARN PAD
Spagnolo G O, Ferrari A
In Learn PAd, we developed a quality assessment strategy that allows to guarantee that the used BP models result being understandable by the civil servants. The quality assessment strategy includes modeling understandability guidelines which are supported by a Java tool called verification component understandability BPMN.Project(s): LEARN PAD
See at:
github.com | CNR IRIS
2016
Software
Metadata Only Access
User interface for content analysis component
Spagnolo G O, Ferrari A
This is the Content Analysis component of the LearnPAd platform. It implements automated procedures to verify that the textual content that describes the tasks of a Business Process (e.g., documents created in the Collaborative Workspace) provides information that is consistent with respect to the Business Process model itself, and to automatically identify ambiguous sentences and vague terms in natural language requirements, and estimates quantitative indexes concerning the linguistic quality of the contents.Project(s): LEARN PAD
Spagnolo G O, Ferrari A
This is the Content Analysis component of the LearnPAd platform. It implements automated procedures to verify that the textual content that describes the tasks of a Business Process (e.g., documents created in the Collaborative Workspace) provides information that is consistent with respect to the Business Process model itself, and to automatically identify ambiguous sentences and vague terms in natural language requirements, and estimates quantitative indexes concerning the linguistic quality of the contents.Project(s): LEARN PAD
See at:
github.com | CNR IRIS
2016
Software
Metadata Only Access
User Interface for guidelines verification component
Spagnolo G O, Ferrari A
User Interface for guidelines verification component.Project(s): LEARN PAD
Spagnolo G O, Ferrari A
User Interface for guidelines verification component.Project(s): LEARN PAD
See at:
github.com | CNR IRIS
2016
Software
Metadata Only Access
Content analysis component
Spagnolo G O, Ferrari A
The Content Analysis Component includes all the functionalities for analysing NL content of procedure descriptions coming from the LearnPAd platform. It implements automated procedures to verify that the textual content that describes the tasks of a Business Process (e.g., documents created in the Collaborative Workspace) provides information that is consistent with respect to the Business Process model itself, and to automatically identify ambiguous sentences and vague terms in natural language requirements, and estimates quantitative indexes concerning the linguistic quality of the contents.Project(s): LEARN PAD
Spagnolo G O, Ferrari A
The Content Analysis Component includes all the functionalities for analysing NL content of procedure descriptions coming from the LearnPAd platform. It implements automated procedures to verify that the textual content that describes the tasks of a Business Process (e.g., documents created in the Collaborative Workspace) provides information that is consistent with respect to the Business Process model itself, and to automatically identify ambiguous sentences and vague terms in natural language requirements, and estimates quantitative indexes concerning the linguistic quality of the contents.Project(s): LEARN PAD
See at:
github.com | CNR IRIS
2019
Contribution to book
Open Access
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
Ferrari A, Spagnolo G O, Fiscella A, Parente G
In real-world organisations, business processes (BPs) are often described by means of natural language (NL) documents. Indeed, although semi-formal graphical notations exist to model BPs, most of the legacy process knowledge--when not tacit--is still conveyed through textual procedures or operational manuals, in which the BPs are specified. This is particularly true for public administrations (PAs), in which a large variety of BPs exist (e.g., definition of tenders, front-desk support) that have to be understood and put into practice by civil servants. [Question/problem] Incorrect understanding of the BP descriptions in PAs may cause delays in the delivery of services to citizens, or, in some cases, incorrect execution of the BPs. [Principal idea/results] In this paper, we present the development of an NLP-based tool named QuOD (Quality Analyser for Official Documents), oriented to detect linguistic defects in BP descriptions and to provide recommendations for improvements. [Contribution] QuOD is the first tool that addresses the problem of identifying NL defects in BP descriptions of PAs. The tool is available online at http://narwhal.it/quod/index.html.
Ferrari A, Spagnolo G O, Fiscella A, Parente G
In real-world organisations, business processes (BPs) are often described by means of natural language (NL) documents. Indeed, although semi-formal graphical notations exist to model BPs, most of the legacy process knowledge--when not tacit--is still conveyed through textual procedures or operational manuals, in which the BPs are specified. This is particularly true for public administrations (PAs), in which a large variety of BPs exist (e.g., definition of tenders, front-desk support) that have to be understood and put into practice by civil servants. [Question/problem] Incorrect understanding of the BP descriptions in PAs may cause delays in the delivery of services to citizens, or, in some cases, incorrect execution of the BPs. [Principal idea/results] In this paper, we present the development of an NLP-based tool named QuOD (Quality Analyser for Official Documents), oriented to detect linguistic defects in BP descriptions and to provide recommendations for improvements. [Contribution] QuOD is the first tool that addresses the problem of identifying NL defects in BP descriptions of PAs. The tool is available online at http://narwhal.it/quod/index.html.
See at:
CNR IRIS | link.springer.com | ISTI Repository | CNR IRIS | CNR IRIS
2022
Conference article
Restricted
Technical debt management in automotive software industry
Lami G, Spagnolo Go
The suppliers of software-intensive electronic automotive components are facing technical challenges due to the innovation rush and the growing time pressure from customers. As the quality of on-board automotive electronic systems is strongly dependent on the quality of their development practices, car manufacturers and suppliers proactively focus on improving technical and organizational processes. Automotive SPICE (ASPICE) is today the reference standard for assessing and improving automotive electronics processes and projects in this setting. As car manufacturers use ASPICE to qualify their suppliers of software-intensive systems, such a standard becomes a market demand. This paper identifies and discusses the benefits and impact of the integration and harmonization of Technical Debt Management (TDM) in an ASPICE- compliant software development project. Besides this paper provides a conceptual framework and a reference process description for the integration of ASPICE and TDM practices in a sample Software Engineering process.
Lami G, Spagnolo Go
The suppliers of software-intensive electronic automotive components are facing technical challenges due to the innovation rush and the growing time pressure from customers. As the quality of on-board automotive electronic systems is strongly dependent on the quality of their development practices, car manufacturers and suppliers proactively focus on improving technical and organizational processes. Automotive SPICE (ASPICE) is today the reference standard for assessing and improving automotive electronics processes and projects in this setting. As car manufacturers use ASPICE to qualify their suppliers of software-intensive systems, such a standard becomes a market demand. This paper identifies and discusses the benefits and impact of the integration and harmonization of Technical Debt Management (TDM) in an ASPICE- compliant software development project. Besides this paper provides a conceptual framework and a reference process description for the integration of ASPICE and TDM practices in a sample Software Engineering process.
See at:
CNR IRIS | ieeexplore.ieee.org | CNR IRIS
2023
Contribution to book
Open Access
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface
Spagnolo Go, Ferrari A, Penzenstadler B
This document is the preface of the Joint Proceedings of Workshops, Doctoral Symposium, Posters & Tools Track, and Journal Early Feedback Track of the 29th International Working Conference on Requirement Engineering: Foundation for Software Quality (REFSQ 2023), 17th--20th April 2023, held in Barcelona, Catalunya, Spain.Source: CEUR WORKSHOP PROCEEDINGS, vol. 3378
Spagnolo Go, Ferrari A, Penzenstadler B
This document is the preface of the Joint Proceedings of Workshops, Doctoral Symposium, Posters & Tools Track, and Journal Early Feedback Track of the 29th International Working Conference on Requirement Engineering: Foundation for Software Quality (REFSQ 2023), 17th--20th April 2023, held in Barcelona, Catalunya, Spain.Source: CEUR WORKSHOP PROCEEDINGS, vol. 3378
See at:
ceur-ws.org | CNR IRIS | ISTI Repository | CNR IRIS
2012
Conference article
Restricted
Product Line Engineering Applied to CBTC Systems Development
Ferrari A, Spagnolo Go, Martelli G, Menabeni S
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 functionalities. International standards have emerged, but they remain at a quite abstract level, mostly setting terminology. This paper reports intermediate results in an effort aimed at defining a global model of CBTC, by mixing semi-formal modelling and product line engineering. The effort has been based on an in-depth market analysis, not limiting to particular aspects but considering as far as possible the whole picture. The adopted methodology is discussed and a preliminary model is presented.
Ferrari A, Spagnolo Go, Martelli G, Menabeni S
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 functionalities. International standards have emerged, but they remain at a quite abstract level, mostly setting terminology. This paper reports intermediate results in an effort aimed at defining a global model of CBTC, by mixing semi-formal modelling and product line engineering. The effort has been based on an in-depth market analysis, not limiting to particular aspects but considering as far as possible the whole picture. The adopted methodology is discussed and a preliminary model is presented.
See at:
CNR IRIS | CNR IRIS | link.springer.com
2024
Conference article
Restricted
Identifying maintenance needs with machine learning: a case study in railways
Ferdous R., Spagnolo G. O., Borselli A., Rota L., Ferrari A.
Cyber-physical systems, particularly those with extended service lives such as railways, often necessitate significant investment in maintenance activities encompassing repairs, upgrades, or inspections. These decisions are generally based on fixed schedules, or informed by the judgment of experienced maintenance staff. To improve this process, predictive maintenance (PdM) has emerged as a viable solution to anticipate maintenance needs and preempt system failures. With data-driven PdM, maintenance needs are identified through machine learning (ML) solutions that monitor the system logs and recommend interventions before a failure occurs. This paper presents preliminary findings from a case study concerning the development of a ML system for PdM in railways. We present the current maintenance process, the existing logging platform, and our strategy for leveraging log data to support PdM. Our preliminary results are promising. However, they show that, although the log dataset spans three years and three railway vehicles, in some cases the log data alone are insufficient for accurately inferring maintenance requirements. To address the problem, we discuss the necessity of employing synthetic data generation methods and rule-based, knowledge-driven strategies.Project(s): MOST – Sustainable Mobility National Research Center and received funding from the European Union Next-GenerationEU (PIANO NAZIONALE DI RIPRESA E RESILIENZA (PNRR) – MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.4
Ferdous R., Spagnolo G. O., Borselli A., Rota L., Ferrari A.
Cyber-physical systems, particularly those with extended service lives such as railways, often necessitate significant investment in maintenance activities encompassing repairs, upgrades, or inspections. These decisions are generally based on fixed schedules, or informed by the judgment of experienced maintenance staff. To improve this process, predictive maintenance (PdM) has emerged as a viable solution to anticipate maintenance needs and preempt system failures. With data-driven PdM, maintenance needs are identified through machine learning (ML) solutions that monitor the system logs and recommend interventions before a failure occurs. This paper presents preliminary findings from a case study concerning the development of a ML system for PdM in railways. We present the current maintenance process, the existing logging platform, and our strategy for leveraging log data to support PdM. Our preliminary results are promising. However, they show that, although the log dataset spans three years and three railway vehicles, in some cases the log data alone are insufficient for accurately inferring maintenance requirements. To address the problem, we discuss the necessity of employing synthetic data generation methods and rule-based, knowledge-driven strategies.Project(s): MOST – Sustainable Mobility National Research Center and received funding from the European Union Next-GenerationEU (PIANO NAZIONALE DI RIPRESA E RESILIENZA (PNRR) – MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.4
See at:
CNR IRIS | ieeexplore.ieee.org | CNR IRIS
2022
Conference article
Open Access
A lightweight software product quality evaluation method
Lami G., Spagnolo G. O.
In this paper, we describe an evaluation method, called QuESPro (Quality Evaluation of Software Product), aimed at performing third party evaluation of the suitability for the intended use of software products, by targeting a trade-off between the mere informal expert judgment and the application of complex and expensive evaluation methods. The QuESPro is based on the framework provided by the ISO/IEC 25000 series standard and provides a step-wise process to determine a quantitative evaluation of the relevant quality characteristics of software products. With the aim of assessing the feasibility of the QuESPro method in terms of feasibility, identifying its strengths, and identifying improvement opportunities we applied it to an industrial case study. The results of such a case study are reported in this paper as well.
Lami G., Spagnolo G. O.
In this paper, we describe an evaluation method, called QuESPro (Quality Evaluation of Software Product), aimed at performing third party evaluation of the suitability for the intended use of software products, by targeting a trade-off between the mere informal expert judgment and the application of complex and expensive evaluation methods. The QuESPro is based on the framework provided by the ISO/IEC 25000 series standard and provides a step-wise process to determine a quantitative evaluation of the relevant quality characteristics of software products. With the aim of assessing the feasibility of the QuESPro method in terms of feasibility, identifying its strengths, and identifying improvement opportunities we applied it to an industrial case study. The results of such a case study are reported in this paper as well.
See at:
CNR IRIS | www.scitepress.org | CNR IRIS