Alfredo Garro | University of Calabria (original) (raw)
Papers by Alfredo Garro
arXiv (Cornell University), Nov 18, 2009
Simulation Modelling Practice and Theory, Nov 1, 2010
... Organization of a container transhipment terminal. Each ship approaching a maritime terminal ... more ... Organization of a container transhipment terminal. Each ship approaching a maritime terminal enters in a harbour and waits to moor at an assigned berth position along the terminal quay which is equipped with giant cranes (quay cranes) for loading and unloading containers. ...
Lecture Notes in Computer Science, 2003
Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica, Ciclo XXVI, a.a.2013
International Workshop on Applied Modeling and Simulation, WAMS 2014, 2014
Dottorato di Ricerca in: Information and comunication engineering for pervasive intelligent envir... more Dottorato di Ricerca in: Information and comunication engineering for pervasive intelligent environments. Ciclo XXIXModeling and Simulation (M&S) is gaining a central role in several industrial domains such as automotive, e-science and aerospace, due to the increasing complexity of system requirements and thus of the related engineering problems. Specifically, M&S methods, tools, and techniques can e↵ectively support the analysis and design of modern systems by enabling the evaluation and comparison of di↵erent design choices against requirements through virtual testing; this opportunity becomes even crucial when complete and actual tests are too expensive to be performed in terms of cost, time and other resources. Moreover, as systems result from the integration of components which are often designed and manufactured by di↵erent organizations belonging to di↵erent engineering domains (including mechanical, electrical, control, and software), great benefits can derive from the possibility to perform simulations which involve components independently developed and running on di↵erent and possibly geographically distributed machines. Indeed, distributed simulation promotes an e↵ective cooperative, integrated and concurrent approach to complex systems analysis and design. Although M&S o↵ers many advantages related to the possibility of doing controlled experiments on an artificial representation of a system, its practical use requires to face with important issues such as, (i) difficulties to reuse simulation models already made; (ii) lack of rules and procedures by which to make interoperable models created with di↵erent simulation environments; and, (iii) lack of mechanisms for executing simulation models in distributed and heterogeneous environments. Indeed, there are di↵erent simulation environments both commercial and noncommercial highly specialized that allow the design and implementation of simulation models in specific domains. However, a single simulation environment is not able to manage all the necessary aspects to model a system when it is composed of several components. Typically, the modeling and simulation of such systems, whose behavior cannot be straightforwardly defined, derived and easily analyzed starting from the behavior of their components, require to identify and face with some important research issues.Università della Calabri
2022 IEEE Aerospace Conference (AERO), Mar 5, 2022
Modeling of system properties deals with formally expressing constraints and requirements that in... more Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several research challenges should be addressed to effectively handle systems properties, ranging from conceptual properties representation to tracing and verification. The paper aims at discussing these main challenges and presenting some promising solutions by focusing on those resulting from recent Systems Engineering research efforts.
Modeling of system properties deals with formally expressing constraints and requirements that in... more Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several challenges should be addressed to effectively handle systems properties with the support of an integrated tool-chain. In this context, the paper presents the concrete experimentation of a promising solution that enables the formal modeling of requirements in Modelica and their subsequent simulation-based verification. The solution is applied to evaluate different design variants of a trailing-edge high-lift system. In particular, two ways to feed the requirements model are explored: in an early phase, data series are used to evaluate the requirements themselves; then a co-simulation of the requirements model with the 3D-model of the system is used to evaluate and identify what design variants best meet the system requirements.
Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
arXiv (Cornell University), Nov 18, 2009
Simulation Modelling Practice and Theory, Nov 1, 2010
... Organization of a container transhipment terminal. Each ship approaching a maritime terminal ... more ... Organization of a container transhipment terminal. Each ship approaching a maritime terminal enters in a harbour and waits to moor at an assigned berth position along the terminal quay which is equipped with giant cranes (quay cranes) for loading and unloading containers. ...
Lecture Notes in Computer Science, 2003
Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica, Ciclo XXVI, a.a.2013
International Workshop on Applied Modeling and Simulation, WAMS 2014, 2014
Dottorato di Ricerca in: Information and comunication engineering for pervasive intelligent envir... more Dottorato di Ricerca in: Information and comunication engineering for pervasive intelligent environments. Ciclo XXIXModeling and Simulation (M&S) is gaining a central role in several industrial domains such as automotive, e-science and aerospace, due to the increasing complexity of system requirements and thus of the related engineering problems. Specifically, M&S methods, tools, and techniques can e↵ectively support the analysis and design of modern systems by enabling the evaluation and comparison of di↵erent design choices against requirements through virtual testing; this opportunity becomes even crucial when complete and actual tests are too expensive to be performed in terms of cost, time and other resources. Moreover, as systems result from the integration of components which are often designed and manufactured by di↵erent organizations belonging to di↵erent engineering domains (including mechanical, electrical, control, and software), great benefits can derive from the possibility to perform simulations which involve components independently developed and running on di↵erent and possibly geographically distributed machines. Indeed, distributed simulation promotes an e↵ective cooperative, integrated and concurrent approach to complex systems analysis and design. Although M&S o↵ers many advantages related to the possibility of doing controlled experiments on an artificial representation of a system, its practical use requires to face with important issues such as, (i) difficulties to reuse simulation models already made; (ii) lack of rules and procedures by which to make interoperable models created with di↵erent simulation environments; and, (iii) lack of mechanisms for executing simulation models in distributed and heterogeneous environments. Indeed, there are di↵erent simulation environments both commercial and noncommercial highly specialized that allow the design and implementation of simulation models in specific domains. However, a single simulation environment is not able to manage all the necessary aspects to model a system when it is composed of several components. Typically, the modeling and simulation of such systems, whose behavior cannot be straightforwardly defined, derived and easily analyzed starting from the behavior of their components, require to identify and face with some important research issues.Università della Calabri
2022 IEEE Aerospace Conference (AERO), Mar 5, 2022
Modeling of system properties deals with formally expressing constraints and requirements that in... more Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several research challenges should be addressed to effectively handle systems properties, ranging from conceptual properties representation to tracing and verification. The paper aims at discussing these main challenges and presenting some promising solutions by focusing on those resulting from recent Systems Engineering research efforts.
Modeling of system properties deals with formally expressing constraints and requirements that in... more Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several challenges should be addressed to effectively handle systems properties with the support of an integrated tool-chain. In this context, the paper presents the concrete experimentation of a promising solution that enables the formal modeling of requirements in Modelica and their subsequent simulation-based verification. The solution is applied to evaluate different design variants of a trailing-edge high-lift system. In particular, two ways to feed the requirements model are explored: in an early phase, data series are used to evaluate the requirements themselves; then a co-simulation of the requirements model with the 3D-model of the system is used to evaluate and identify what design variants best meet the system requirements.
Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)