Dottorato in Ingegneria Informatica E Dei Sistemi , 27o ciclo (2012-2014)
Dottorato concluso nel 2015
Tesi:
Metodi di comunicazione deterministica e flessibile per sistemi embedded in tempo reeale.
Tutori:
Riccardo SistoPubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting (2015)
Modular design of an open-source, networked embedded system. In: COMPUTER STANDARDS & INTERFACES, vol. 37, pp. 41-52. ISSN 0920-5489
Contributo su Rivista - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2015)
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 11, pp. 83-93. ISSN 1551-3203
Contributo su Rivista - Hu, Tingting (2015)
Deterministic and flexible communication for real-time embedded systems. relatore: R. Sisto, I. Cibrario Bertolotti, 27. XXVII Ciclo
Doctoral Thesis - Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan (2014)
Model checking. In: Digital Avionics Handbook, 3rd edition / S.N., S.L., CRC press - Taylor and Francis Group. ISBN: 9781439868614
Contributo in Volume - A., Ballarino; A., Brusaferri; M., Cereia; I. C., Bertolotti; Durante, Luca; Hu, ... (2014)
System-Level Performance of an Automation Solution Based on Industry Standards. In: 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2014, pp. 1-6
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2014)
Design, verification, and performance of a MODBUS-CAN adaptation layer. In: 10th IEEE International Workshop on Factory Communication Systems (WFCS), May, 2014, pp. 1-10
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2014)
Un codec a basso jitter per reti CAN. In: AUTOMAZIONE E STRUMENTAZIONE, vol. 62, pp. 76-79. ISSN 0005-1284
Contributo su Rivista - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2014)
Effect of jitter-reducing encoders on CAN error detection mechanisms. In: 10th IEEE International Workshop on Factory Communication Systems (WFCS), May, 2014, pp. 1-10
Contributo in Atti di Convegno (Proceeding) - CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano (2013)
A Model for the Analysis of Security Policies in Industrial Networks. In: 1st International Symposium for ICS and SCADA Cyber Security Research, 2013, pp. 66-77
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; I., Bertolotti; Hu, Tingting; Valenzano, Adriano (2013)
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. In: COMPUTER STANDARDS & INTERFACES, vol. 35, pp. 536-548. ISSN 0920-5489
Contributo su Rivista - Cena, Gianluca; I. C., Bertolotti; Hu, Tingting; Valenzano, Adriano (2013)
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 9, pp. 2155-2164. ISSN 1551-3203
Contributo su Rivista - Cena, Gianluca; Bertolotti, I.; Hu, Tingting; Valenzano, Adriano (2013)
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller. In: 18th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2013, pp. 1-9
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2012)
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. In: IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting (2012)
Formal Verification of a Distributed Master Election Protocol. In: IEEE International Workshop on Factory Communication Systems (WFCS 2012), pp. 245-254
Contributo in Atti di Convegno (Proceeding) - Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano (2012)
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication. In: IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8
Contributo in Atti di Convegno (Proceeding) - CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano (2012)
A Unified Class Model for Checking Security Policies in ICT Infrastructures. In: International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications, pp. 1-6
Contributo in Atti di Convegno (Proceeding)