Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Luigi Velardi"'
Autor:
Valeria Vittorini, Roberto Nardone, Gaetano Pisani, Adriano Peron, Aniello Amato, Luigi Velardi, Nicola Mazzocca, Gregorio Barberio, Beniamino Di Martino, Renato De Guglielmo, Ugo Gentile, Massimo Benerecetti, Stefano Marrone
Product and application life-cycle management (PLM/ALM) are the processes that govern a product and a software system, respectively, encompassing the creation, deployment and operation of a system from the beginning to the end of its life. As both PL
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94d6084e0df06ab814cda18262b65a18
http://hdl.handle.net/11591/424716
http://hdl.handle.net/11591/424716
Autor:
Nicola Mazzocca, R. De Guglielmo, Ugo Gentile, Luigi Velardi, Roberto Nardone, Adriano Peron, Valeria Vittorini, Massimo Benerecetti, Stefano Marrone
Verification and Validation of railway controllers is the most critical and time-consuming phase in a system development life-cycle. It is regulated by international standards, which explicitly recommend the usage of state machines to model the speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84e0e33351723d33fb74b7eaddb520a9
http://hdl.handle.net/11367/99032
http://hdl.handle.net/11367/99032
Autor:
Luigi Velardi, Adriano Peron, Roberto Nardone, Valeria Vittorini, Renato De Guglielmo, Massimo Benerecetti, Nicola Mazzocca, Ugo Gentile, Stefano Marrone
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319175805
FTSCS
FTSCS
activities regulated by international standards which explicitly recommend the usage of Finite State Machines (FSMs) to model the specification of the system under test. Despite the great number of work addressing the usage of FSMs and their extensio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec481960d8b08fd86b898bad78f83483
http://hdl.handle.net/11367/99054
http://hdl.handle.net/11367/99054
Autor:
Alberto Ferrari, Luigi Velardi, Antonio Orazzo, Gianpaolo Massaroli, Orlando Ferrante, Marco Carloni
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319242484
SAFECOMP Workshops
SAFECOMP Workshops
Motivated by the emergent research on mixed techniques of analysis and testing, we focus our attention on producing analysis results that can efficiently reduce the effort in testing a modern metro system. In particular, we promote contract-based des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac30db633b96d81181475fc8cd93dfa3
https://doi.org/10.1007/978-3-319-24249-1_16
https://doi.org/10.1007/978-3-319-24249-1_16
Autor:
Stefano Marrone, Renato De Guglielmo, Valeria Vittorini, Beniamino Di Martino, Gregorio Barberio, Nicola Mazzocca, Ugo Gentile, Aniello Amato, Luigi Velardi, Adriano Peron, Roberto Nardone
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319105567
SAFECOMP Workshops
SAFECOMP Workshops
Verification of functional requirements of critical control systems requires a hard testing activity regulated by international standards. As testing often forms more than fifty percent of the total development cost, to support the verification proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::159a7d44cb5b14554c23b7311c203871
http://hdl.handle.net/11367/99071
http://hdl.handle.net/11367/99071
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies ISBN: 9783642340314
ISoLA (2)
ISoLA (2)
Complex systems are experiencing increasing needs to obtain a higher level of safety and to reduce time to market. This is in particular true for automotive, aerospace and railway domains, pushing the research community to define novel development an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3090f3395a9cd1db50b03340070e68b
http://hdl.handle.net/11367/99067
http://hdl.handle.net/11367/99067
Autor:
Pietro Marmo, Luigi Velardi, Ida Petrone, Alessio Venticinque, Giuseppe Bonifacio, Antonio Orazzo
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642242694
SAFECOMP
SAFECOMP
In order to sustain competitiveness in transport domain, especially in automotive, aerospace and rail, it is extremely important to control and optimize the entire development process of complex safety-critical embedded systems. In this context, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3e8e73a5e57d61887b9122195b7df2b
https://doi.org/10.1007/978-3-642-24270-0_27
https://doi.org/10.1007/978-3-642-24270-0_27