Elenco Pubblicazioni - Publications (1524)
A. Mattioli, F. Paternò: “Understanding User Needs in Smart Homes and How to Fulfil Them.” International Symposium on End User Development. Cham: Springer Nature Switzerland, June 2023.
Written by ANDREA MATTIOLI
Smart homes are becoming a widespread reality given the increasingly available number of connected objects and sensors. However, it is still unclear what people expect from automations that are made possible by this technological evolution.…
S. Vagaggini, D. Davalle, P. Nannipieri, L. Fanucci "Integration of Twin Models in UVM Verification IPs for Space Telecommunication Systems", IEEE Access
Written by SIMONE VAGAGGINI
ABSTRACT In the dynamic fields of semiconductor design and digital system development, effective verification procedures are in high demand. In particular, functional verification is essential for space systems to guarantee mission success, prevent errors in…
S. Vagaggini, N. Mazzali, L. Fanucci "Model Based UVM Verification Environment for HPE-O3K Optical Encoders", In 2023 Workshop on Simulation and EGSE for Space Programmes (SESP)
Written by SIMONE VAGAGGINI
ABSTRACT - In recent years, optical communications have gained a foothold in satellite communications because of their high bandwidth data transmission capability and the capacity to cover much greater distances than radio systems. Recently, the…
S. Vagaggini, G. Benelli, D. Davalle, E. Pagani, R. Ciardi, L. Fanucci "IngeniArs IP Cores for on-board high-speed data interfaces", In 2023 European Data Handling & Data Processing Conference (EDHPC)
Written by SIMONE VAGAGGINI
Abstract — This paper describes how different IP Cores for on-board high-speed data interfaces have been developed and verified by IngeniArs S.r.l. These are the CODECs and Routers implementing SpaceWire and SpaceFibre communication protocols, i.e.,…
Improving the Efficiency of Software-Based Fault Protection Mechanisms with HUSTLE
Written by NICOLA FERRANTE
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards…
