Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Orlando, Ferrante"'
Autor:
Binchi, Jacopo, Mangeruca, Leonardo, Rucco, Matteo, Orlando, Ferrante, Minissale, Alfio, Abba', Fabio Francesco
Traditionally safety in industrial manufacturing environments has been addressed by rigid separation between robots and human operators. With the advent of new technologies and the transition of production to industry 4.0, a more flexible approach to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0b9b5591093d34ecde6821b08d2e1b8
https://doi.org/10.5281/zenodo.3901416
https://doi.org/10.5281/zenodo.3901416
Autor:
Christos Sofronis, Alberto Ferrari, Cong Liu, Leonardo Mangeruca, Orlando Ferrante, Eelco Scholte, C. Pinello
Publikováno v:
SAE International Journal of Aerospace. 9:140-150
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f791e34cda9efc0f0fbee8a56ae72e9e
https://doi.org/10.4271/2016-01-2053
https://doi.org/10.4271/2016-01-2053
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ffb05c4f205ca4e8391650088b6ee9c
https://doi.org/10.4271/2018-01-1948
https://doi.org/10.4271/2018-01-1948
Engineering complex distributed systems is challenging. Recent solutions for the development of cyber-physical systems (CPS) in industry tend to rely on architectural designs based on service orientation, where the constituent components are deployed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db81910ba60320232d56052d087ea343
http://hdl.handle.net/11572/203473
http://hdl.handle.net/11572/203473
Publikováno v:
Handbook of Parallel Constraint Reasoning ISBN: 9783319635156
Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning
Model checking has reached a maturity level that allows its techniques to be applied to the verification of industrial systems. Several algorithms and methods have been proposed to increase its effectiveness to tackle models of increasing complexity.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdc8f6cd8cba87524b7bc9ee1094bce8
https://doi.org/10.1007/978-3-319-63516-3_16
https://doi.org/10.1007/978-3-319-63516-3_16
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783319641188
IMBSA
IMBSA
System safety assessments are integral part of system development as indicated by the ARP4754A standard. These activities are usually performed manually and rely on reviews and engineering judgments with limited use of models to support the assessmen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c526468a4de33487877e7f70313e679a
https://doi.org/10.1007/978-3-319-64119-5_16
https://doi.org/10.1007/978-3-319-64119-5_16
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9783319202266
In this paper we present a model-based methodology and a tool-chain supporting pseudo-automated code generation for different Timer Units, which represent a new approach in this field. Programmable Timer Units are timing co-processors used to elabora
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c24dcece8aa92f7e9a36666f748d3fab
http://hdl.handle.net/11573/844801
http://hdl.handle.net/11573/844801
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
Publikováno v:
ETFA
The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components that ensure that the global level requirements are satisfied. We addres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1635873ccd191aacba203f9ec8b3bc98
https://doi.org/10.1109/etfa.2014.7005353
https://doi.org/10.1109/etfa.2014.7005353
Autor:
Alberto Ferrari, Christos Sofronis, Massimiliano D’Angelo, Orlando Ferrante, Leonardo Mangeruca, Roberto Passerone
Publikováno v:
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).
The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components to ensure that the global level requirements are satisfied. We address
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ab82d0f6c10c5a04a347dde9b6a9794
https://doi.org/10.1109/sies.2014.7087332
https://doi.org/10.1109/sies.2014.7087332