101 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2020 Report Open Access OPEN

Specifica DOCUMENTI COMMERCIALI Secondo il provvedimento dell'Agenzia delle Entrate del 248558/2020 del 30 Giugno 2020
Spagnolo G. O., Serchiani G., Lami G.
Questo Rapporto Tecnico intende fornire una chiara e completa descrizione delle nuove operazioni del Registratore Telematico a seguito dell'emanazione da parte dell'Agenzia delle Entrate del provvedimento 248558/2020 del 30 Giugno 2020.Source: ISTI Technical Reports 2020/011, 2020, 2020
DOI: 10.32079/ISTI-TR-2020/011
DOI: 10.32079/isti-tr-2020/011

See at: DOI Resolver Open Access | ISTI Repository Open Access | CNR ExploRA Open Access


2019 Part of book or chapter of book Restricted

Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards
Biscoglio I., Ciancabilla A., Fusani M., Lami G., Trentanni G.
Methods and tools for detecting and measuring ambiguity in texts have been proposed for years, yet their efficacy is still under study for improvement, encouraged by results in various application fields (requirements, legal documents, interviews, ...). The paper presents a fresh-started process aimed at validating such methods and tools by applying some of them to a semi-structured data corpus. This corpus represents results of manual reviews, done by international experts, along with their source texts. The purpose is to check how much results of automated analysis are consistent with the reviewers reports. The application domain is that of safety-related system/software Standards in Railway. Thus, if we increase confidence in tools, then we also increase confidence in Standard correctness, which in turn impacts in conforming products.Source: From Software Engineering to Formal Methods and Tools, and Back, edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, pp. 239–249. Cham, Heidelberg, New York, Dordrecht, London: Springer, 2019
DOI: 10.1007/978-3-030-30985-5_15

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted


2019 Part of book or chapter of book Restricted

QuARS: a pioneer tool for NL requirement analysis
Lami G., Fusani M., Trentanni G.
This paper summarizes the achievements of Stefania Gnesi's research activity in the area of the natural language requirements analysis and quality evaluation. The development of the QuARS tool has been the pivotal step of this research stream led by Stefania Gnesi at ISTI-CNR. A functional description of the QuARS tool is provided as well as a short report of its evolutions over a decade. The wide use of QuARS in several research and industrial contexts demonstrates the validity and the originality of Stefania's contribution in such an area of software engineering.Source: From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M.H.; Fantechi A.; Semini L., pp. 211–219. Cham, Heidelberg, New York, Dordrecht, London: Springer, 2019
DOI: 10.1007/978-3-030-30985-5_13

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | link.springer.com Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted


2019 Conference object Restricted

Embracing software process improvement in automotive through PISA Model
Falcini F., Lami G.
Vehicles innovation is principally driven by electronics components and software that play today a predominant role for the vehicle's functions. Because the quality of on-board automotive electronic systems is strongly dependent on the quality of their development practices, car-makers and suppliers proactively focused on improvement of technical and organizational processes. In this setting, several reference standards for the assessment and improvement of automotive electronics processes and projects have been conceived and used in the last decade. Although the effects of the application of them in automotive industry have been generally positive, getting compliance in the short period may represent, in some contexts, a target hardly achievable, or even a chimera. In this context, a novel scheme addressing both project evaluation and process improvement and targeting a hand-on approach for the practitioners has been recently developed starting from the analysis of practitioners needs and success factors in the software process improvement. This scheme is named Process Improvement Scheme for Automotive (PISA Model). The structure and contents of the PISA Model is described in this paper.Source: PROFES 2019 - International Conference on Product-Focused Software Process Improvement, pp. 73–88, Barcelona, Spain, 27-29 November 2019
DOI: 10.1007/978-3-030-35333-9_5

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted


2018 Report Open Access OPEN

Certificazione di misuratori fiscali: dalla digitalizzazione della normativa alla costruzione di schede di riferimento
Biscoglio I., Lami G.
L'articolo presenta il contesto di certificazione del software fiscale dei registratori di cassa, la digitalizzazione della normativa attualmente vigente in Italia in materia e la costruzione di schede di riferimento quale strumento di lavoro da utilizzare durante il processo di certificazione.Source: ISTI Technical reports, 2018

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2018 Article Restricted

A tour of secure software engineering solutions for connected vehicles
Bertolino A., Calabrò A., Di Giandomenico F., Lami G., Lonetti F., Marchetti E., Martinelli F., Matteucci I., Mori P.
The growing number of vehicles daily moving on roads increases the need of protecting the safety and security of passengers, pedestrians, and vehicles themselves. This need is intensified when considering the pervasive introduction of Information and Communication Technologies (ICT) systems into modern vehicles, because this makes such vehicles potentially vulnerable from the point of view of security. The convergence of safety and security requirements is one of the main outstanding research challenges in software-intensive systems. This work reviews existing methodologies and solutions addressing security issues in the automotive domain with a focus on the integration between safety and security aspects. In particular, we identify the main security issues with vehicular communication technologies and existing gaps between state-of-the-art methodologies and their implementation in the real world. Starting from a literature survey and referring to widely accepted standards of the domain, such as AUTOSAR and ISO 26262, we discuss research challenges and set baselines for a holistic secure-by-design approach targeting safety and security aspects all along the different phases of the development process of automotive software.Source: Software quality journal 26 (2018): 1223–1256. doi:10.1007/s11219-017-9393-3
DOI: 10.1007/s11219-017-9393-3

See at: Software Quality Journal Restricted | Software Quality Journal Restricted | Software Quality Journal Restricted | link.springer.com Restricted | Software Quality Journal Restricted | Software Quality Journal Restricted | Software Quality Journal Restricted | CNR ExploRA Restricted


2018 Conference object Restricted

A novel model for development project assessment in automotive
Falcini F., Lami G.
In the last two decades, automotive witnessed a continuous and unstoppable trend to innovation. Vehicles innovation is principally driven by electronics components and software that play today a predominant role for the vehicle's functions. Because the quality of on-board automotive electronic systems is strongly dependent on the quality of their development practices, car-makers and suppliers proactively focused on improvement of technical and organizational processes. In this setting, Automotive SPICE became a reference standard for the assessment and improvement of automotive electronics processes and projects. The effects of the application of Automotive SPICE in automotive industry have been substantially positive in terms of process awareness, possibility of benchmarking, development discipline, and incitement to improvement. Nevertheless, getting compliant in the short period to Automotive SPICE requirements may represent, in some contexts, a target hardly achievable, or even a chimera. In this paper we present a novel automotive-specific scheme for process evaluation and improvement. This scheme has been conceived taking into account the authors experience in automotive as Automotive SPICE principal assessors and it aims at setting up basic objectives in terms of process performance in terms of discipline, technical soundness and completeness in project deployment. The scheme is going to be validated by performing trials with real projects.Source: SPICE 2018 - International Conference on Software Process Improvement and Capability Determination, pp. 73–85, Thessaloniki, Greece, 9-10 October 2018
DOI: 10.1007/978-3-030-00623-5_6

See at: Unknown Repository Restricted | Unknown Repository Restricted | link.springer.com Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | Unknown Repository Restricted


2017 Report Closed Access

Registratori telematici: modello di processo per l'approvazione degli apparecchi misuratori fiscali
Spagnolo G. O., Serchiani G., Lami G.
Present the business process model of the certification of Registratori Telematici to italian fiscal market.Source: ISTI Technical reports, 2017

See at: CNR ExploRA Restricted


2017 Article Open Access OPEN

An integrated software development lifecycle for intelligent automotive software: the W model
Falcini F., Lami G.
Deep learning is becoming crucial to the development of automotive software for applications such as autonomous driving. The authors have devised a framework that supports a robust, disciplined development lifecycle for such software, and a comprehensive integration with traditional automotive software engineering.Source: ERCIM news 109 (2017): 31–32.

See at: ercim-news.ercim.eu Open Access | ISTI Repository Open Access | CNR ExploRA Open Access


2017 Article Restricted

Deep Learning in Automotive Software
Falcini F., Lami G., Mitidieri A. C.
Deep-learning-based systems are becoming pervasive in automotive software. So, in the automotive software engineering community, the awareness of the need to integrate deep-learning-based development with traditional development approaches is growing, at the technical, methodological, and cultural levels. In particular, data-intensive deep neural network (DNN) training, using ad hoc training data, is pivotal in the development of software for vehicle functions that rely on deep learning. Researchers have devised a development lifecycle for deep-learning-based development and are participating in an initiative, based on Automotive SPICE (Software Process Improvement and Capability Determination), that's promoting the effective adoption of DNN in automotive software. This article is part of a theme issue on Automotive Software.Source: IEEE software 34 (2017): 56–63. doi:10.1109/MS.2017.79
DOI: 10.1109/MS.2017.79
DOI: 10.1109/ms.2017.79

See at: IEEE Software Restricted | IEEE Software Restricted | IEEE Software Restricted | IEEE Software Restricted | IEEE Software Restricted | ieeexplore.ieee.org Restricted | CNR ExploRA Restricted | IEEE Software Restricted | IEEE Software Restricted


2017 Conference object Restricted

Challenges in certification of autonomous driving systems
Falcini F., Lami G.
Autonomous Driving is the next frontier of the automotive industry. Advanced driver assistance systems (ADAS) are going to be pervasively used in modern automobiles. New ADAS are principally based on Artificial Intelligence (AI) technology, and in particular on deep learning. While the automotive community is aware of the important changes such a technology demands in terms of technical skills, development paradigms, and cultural approach, there is still a important lack to be filled in the availability of technical standards and, consequently, in terms of certification capability. The existing standards, in fact, are more or less explicitly referring to a traditional way of developing software and systems, so they not suitable at all to be applied to ADAS. In this paper the open issues in certification of AI technologies in automotive are addressed by providing an overview of the existing standards and the related applicability issues.Source: IEEE International Symposium on Software Reliability Engineering Workshops, pp. 286–293, Toulouse, France, 23-26/10/2017
DOI: 10.1109/ISSREW.2017.45
DOI: 10.1109/issrew.2017.45

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | www.computer.org Restricted | Unknown Repository Restricted


2017 Conference object Restricted

Deep learning in automotive: Challenges and opportunities
Falcini F., Lami G.
The interest of the automotive industry in deep-learning-based technology is growing and related applications are going to be pervasively used in the modern automobiles. Automotive is a domain where different standards addressing the software development process apply, as Automotive SPICE and, for functional safety relevant products, ISO 26262. So, in the automotive software engineering community, the awareness of the need to integrate deep-learning-based development with development approaches derived from these standards is growing, at the technical, methodological, and cultural levels. This paper starts from a lifecycle for deep-learning-based development defined by the authors, called W-model, and addresses the issue of the applicability of Automotive SPICE to deep-learning-based developments. A conceptual mapping between Automotive SPICE and the deep learning lifecycles phases is provided in this paper with the aim of highlighting the open issues related to the applicability of automotive software development standards to deep learning.Source: Software Process Improvement and Capability Determination. 17th International Conference, pp. 279–288, Palma de Mallorca, Spain, 4-5/10/2017
DOI: 10.1007/978-3-319-67383-7_21

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | Unknown Repository Restricted


2017 Part of book or chapter of book Restricted

Certification of cash registers software
Biscoglio I., Lami G., Trentanni G.
This paper presents the Italian scenario of cash register software certification. The basic concepts of certification are introduced together with involved actors, requirements and possible objects to be certified. Subsequently, the specific kind of fiscal device running fiscal software, that is the cash register, is outlined, and its certification process is described. The current technological adjustments of the cash register software according to the Italian legislation modifications are introduced and discussed.Source: Model-Driven Engineering and Software Development, edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, pp. 154–167, 2017
DOI: 10.1007/978-3-319-66302-9_8

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | link.springer.com Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | Unknown Repository Restricted


2016 Conference object Closed Access

Fiscal software certification: An Italian experience of certification against the fiscal legislation
Biscoglio I., Lami G., Trentanni G.
This paper describes an experience of software certification in the specific fiscal software domain. The Italian Fiscal Software Certification scenario and the cash register, as specific kind of fiscal device running fiscal software, are outlined. Besides, some requirements, extracted from the current legislation, are shown. As the Italian legislation does not provide it, a Business Process Model (BPM) presenting the fiscal software certification process is illustrated. The BPM was built by means of a study of the current legislation and it constitutes the original contribution to the paper. Finally, the challenges of the further technological adjustments according to the Italian legislation are discussed.Source: International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, pp. 54–61, Rome, Italy, 19 February 2016

See at: CNR ExploRA Restricted


2016 Conference object Restricted

An Empirical Study on Software Testing Practices in Automotive
Lami G., Biscoglio I., Falcini F.
This paper presents the results of an empirical study aimed at characterizing and analyzing recurrent software development weaknesses in automotive industry. In the automotive domain software development is mainly demanded to specialized software suppliers that are required by car makers to improve and measure the process quality of their projects by applying process models such as Automotive SPICE (TM). The authors, as Automotive SPICE assessors, have directly recorded and identified specific software process improvement opportunities on the basis of the evidences gathered from real software development projects during a significant number of assessments performed at several organizations world-wide. This paper, that focuses specifically on the software testing-related processes, is a step of a wider study that the authors are carrying out. Such a study aims at identifying, using data from real automotive software development projects, common software development weaknesses having negative impact according Automotive SPICE (TM), in order to derive a picture of the state of the practice of software development in automotive and to provide researchers and practitioners with a reference for improvement initiatives aimed at solving those weaknesses.Source: Software Process Improvement and Capability Determination. 16th International Conference, pp. 301–315, Dublin, Ireland, 9-10 June 2016
DOI: 10.1007/978-3-319-38980-6_22

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | Unknown Repository Restricted


2015 Conference object Restricted

Investigation on common software process weaknesses in automotive
Biscoglio I., Falcini F., Lami G.
This paper presents the results of an empirical study aimed at pointing out common weaknesses in software development in automotive industry. In automotive software development is mainly demanded to specialized software suppliers that are required by car makers to improve and measure the process quality of their projects by applying process models such as Automotive SPICETM. The authors, as Automotive SPICE assessors, have directly observed and analyzed specific software process improvement opportunities during a significant number of assessments performed at several organizations. This paper, that focuses specifically on the project management and quality assurance processes, is an initial step of a wider study that the authors are carrying out. Such a study aims at identifying, using data from automotive software development projects, common software development weaknesses having negative impact according Automotive SPICETM, in order to give a reference for improvement initiatives aimed at solving those weaknessesSource: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 110–117, Beijing, China, 22-23/10/2015
DOI: 10.1109/ESEM.2015.7321206
DOI: 10.1109/esem.2015.7321206

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | ieeexplore.ieee.org Restricted | CNR ExploRA Restricted | Unknown Repository Restricted


2015 Conference object Restricted

Certification and legislation. An Italian experience of fiscal software certification
Biscoglio I., Lami G., Marchetti E., Trentanni G.
The paper introduces the Italian Fiscal Software Certification scenario. Some concepts about certification are illustrated. The cash registers, as specific kind of Fiscal Meter, are described and their adopted certification process based on Italian legislation requirements is presented as well. Finally, the new related technological challenges are discussed.Source: ICSOFT - EA 2015 - 10th International Conference on Software Engineering and Applications, pp. 174–179, Colmar, Alsace, France, 20 - 22 July 2015

See at: CNR ExploRA Restricted | www.scitepress.org Restricted


2015 Report Restricted

Secure software engineering for connected vehicles: a research agenda
Martinelli F., Matteucci I., Mori P., Bertolino A., Calabrò A., Di Giandomenico F., Lami G., Lonetti F., Marchetti E.
The growing number of vehicles daily moving on roads makes the transportation system a critical infrastructure increasing the need for safety and security of passengers, pedestrians, and vehicle itself. On the other side, the convergence of safety and security needs is one of the main challenge of the research community. This necessity becomes more important if we consider the introduction of ICT system into vehicles. This makes vehicle potentially vulnerable from the point of view of security. This work aims to review existing methodologies, implementations and solutions addressing security issues in automotive with an eye to a well-balanced integration between safety and security aspects. In particular, one the main objective of the present paper is to identify security issues into vehicular communication technologies and possible existing gaps between methodology and their implementation in the real world. Starting from the literature and referring to the widely accepted standards as AUTOSAR and ISO 26262, we identify possible research challenges and some baselines for an holistic secure-by-design approach targeting safety and security aspects all along the dierent phases of the automotive software development process.Source: ISTI Technical reports, 2015

See at: CNR ExploRA Restricted


2015 Conference object Restricted

An empirical study on software process improvement in automotive
Falcini F., Lami G.
This paper presents the results of an empirical study on process improvement initiatives linked to management of software developments for the automotive industry. In this context the software development is mainly demanded to specialized software suppliers that are required by car makers to improve and measure the process quality of their projects by applying process models such as Automotive SPICE®. The authors, as Automotive SPICE assessors, have directly observed and analyzed specific software process improvement opportunities during a significant number of assessments performed at several organizations. This paper, that focuses specifically on the project management process, is the initial step of a wider study. Such a study aims at identifying common weaknesses in industrial projects having negative impact according Automotive SPICE. The study relies on data taken from several assessments performed world-wide and it shows the most occurring weaknesses in terms of the project management process base practices - such recurrent weaknesses that are then clustered appropriately and analyzed to provide insight in this crucial process.Source: 15th International Conference on Software Process Improvement and Capability Determination, SPICE 2015, pp. 3–12, Gothenburg, Sweden, 16-17/06/2015
DOI: 10.1007/978-3-319-19860-6_1

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | CNR ExploRA Restricted | Unknown Repository Restricted | Unknown Repository Restricted


2014 Conference object Restricted

An ISO/IEC 33000-compliant measurement framework for software process sustainability assessment
Lami G. L., Fabbrini F., Buglione L.
ICT can provide a definitive contribution in reducing CO2 emissions and, in general, in the environment preservation. Because its pervasiveness in today's life, software in particular plays an important role in achieving such a goal. Software process is the combination of those practices, directly or indirectly involved in software development, operation, and maintenance. In previous papers the authors addressed the topic of evaluating the sustainability of software products. In this paper the focus is on the evaluation of the sustainability of the software process, i.e. the measurement of the extent the process is performed by having care of the environment and by minimizing its impact on the environment. To do that, a sustainability measurement framework for software process is defined. Such a framework is composed by Sustainability Levels, Sustainability Process Attributes and being compliant with the requirements stated in the new ISO/IEC 33000 series standard for software process assessment.Source: IWSM-MENSURA 2014 - Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, Rotterdam, The Netherlands, 6 - 8 October 2014
DOI: 10.1109/IWSM.Mensura.2014.34
DOI: 10.1109/iwsm.mensura.2014.34

See at: Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | Unknown Repository Restricted | ieeexplore.ieee.org Restricted | CNR ExploRA Restricted | Unknown Repository Restricted