Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Paolo Lollini"'
Publikováno v:
Journal of the Brazilian Computer Society, Vol 27, Iss 1, Pp 1-38 (2021)
Abstract Traditional solutions for tramway interlocking systems are based on physical sensors (balizes) distributed along the infrastructure which detect passing of the trams and trigger different actions, like the communications with the ground infr
Externí odkaz:
https://doaj.org/article/159846c6379b466fb5061522f9e86b55
Autor:
Samuel Rodriguez Gonzalez, Juan Betancourt Osorio, Germán Pardo González, Daniel Cuellar, Camilo Gomez, Francesco Mariotti, Leonardo Montecchi, Paolo Lollini
Publikováno v:
Proceedings of the 11th Latin-American Symposium on Dependable Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da97a76496d8bc9a2b8704acd922fd67
https://doi.org/10.1145/3569902.3570188
https://doi.org/10.1145/3569902.3570188
Publikováno v:
2022 18th European Dependable Computing Conference (EDCC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47b05ae4f424ba10d720f1a280aa97c4
https://doi.org/10.1109/edcc57035.2022.00016
https://doi.org/10.1109/edcc57035.2022.00016
Publikováno v:
Journal on Data Semantics. 10:267-289
A Cyber-Physical System-of-Systems (CPSoS) can be defined as a System-of-Systems (SoS), where its component systems are Cyber-Physical Systems (CPSs) that have been networked together for achieving a certain higher goal. Therefore, a key viability of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31839ef83f6fcf433c7dc5d0eef8650c
https://doi.org/10.1007/s13740-021-00129-8
https://doi.org/10.1007/s13740-021-00129-8
Publikováno v:
IEEE Transactions on Reliability. 69:293-309
Dependability and performance analysis of modern systems is facing great challenges: their scale is growing, they are becoming massively distributed, interconnected, and evolving. Such complexity makes model-based assessment a difficult and time-cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1beb5450d440a5b2cb6b43d7426c2d8a
https://doi.org/10.1109/tr.2019.2898351
https://doi.org/10.1109/tr.2019.2898351
Publikováno v:
Journal of Systems and Software. 189:111310
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c31506f708839e1d8de82a2b6804f472
https://doi.org/10.1016/j.jss.2022.111310
https://doi.org/10.1016/j.jss.2022.111310
Model-based evaluation is extensively used to estimate performance and reliability of dependable systems. Traditionally, those systems were small and self-contained, and the main challenge for model-based evaluation has been the efficiency of the sol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce9d8e85ca0125d2c7de4d70bb724b0f
http://arxiv.org/abs/2006.09291
http://arxiv.org/abs/2006.09291
Publikováno v:
SoSE
2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)
2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)
One of the main challenges in integrating Cyber-Physical System-of-Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber-Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results in various
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6d5f504f3aabc5abe87006d5c2dfee8
https://doi.org/10.1109/sose50414.2020.9130527
https://doi.org/10.1109/sose50414.2020.9130527
Autor:
Carlo Giannelli, Christian Esposito, Marcello Cinque, Andrea Ceccarelli, Paolo Lollini, Luca Foschini
The industrial Internet of Things (IIoT) is currently foreseen as a foundation to implement the Industry 4.0 vision. However, device heterogeneity and the need of integration and configuration exposes the industrial infrastructure to potential threat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13c19e1c51c742ff0444242fe72032a8
http://hdl.handle.net/11386/4750945
http://hdl.handle.net/11386/4750945
Publikováno v:
Dependable Computing-EDCC 2020 Workshops-AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Communications in Computer and Information Science ISBN: 9783030584610
EDCC Workshops
Communications in Computer and Information Science
Communications in Computer and Information Science-Dependable Computing-EDCC 2020 Workshops
Communications in Computer and Information Science ISBN: 9783030584610
EDCC Workshops
Communications in Computer and Information Science
Communications in Computer and Information Science-Dependable Computing-EDCC 2020 Workshops
Mathematical models are an effective tool for studying the properties of complex systems. Constructing such models is a challenging task that often uses repeated patterns or templates. The Template Models Description Language (TMDL) has been develope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fe57e254375d7ab7bb8ce71af3333eb