@conference {Gianni20162644,
	title = {A model-driven and simulation-based method to analyze building evacuation plans},
	booktitle = {Proceedings - Winter Simulation Conference},
	volume = {2016-February},
	year = {2016},
	note = {cited By 1},
	pages = {2644-2655},
	publisher = {Institute of Electrical and Electronics Engineers Inc.},
	organization = {Institute of Electrical and Electronics Engineers Inc.},
	abstract = {<p>Modern buildings are often expected to satisfy minimum safety requirements to define upper bounds for safety metrics, such as evacuation time. The building design must therefore consider prediction of these metrics for a set of representative evacuation scenarios. These scenarios can be rather complex, and often can be investigated only using building evacuation simulators. However, these simulators might require considerable development effort, and their use might therefore become less convenient, for time and cost issues. In this respect, this paper introduces a model-driven method to automatically develop building evacuation simulators from informal specifications of building evacuation scenarios, i.e., building plans and behavioral descriptions of evacuees. Specifically, the paper shows how a floor plan develops in the structural characteristics of an Extended Queueing Network (EQN) model and how the behavioral description can be used to parameterize the EQN model. The paper also presents an example application along with preliminary validation issues. {\textcopyright} 2015 IEEE.</p>},
	keywords = {Architectural design, Behavioral descriptions, Building components, Building design, Building evacuation, Buildings, Complex networks, Model-driven method, Modern buildings, Queueing networks, Safety requirements, Simulation-based method, Simulators, Structural characteristics},
	isbn = {9781467397438},
	issn = {08917736},
	doi = {10.1109/WSC.2015.7408372},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962833056\&partnerID=40\&md5=0f1ea728c9ece7012654f0b378a1486c},
	author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
@conference {Gianni20122705,
	title = {Model-based interface specification for systems integration in systems of systems engineering},
	booktitle = {22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012},
	volume = {4},
	year = {2012},
	note = {cited By 2},
	pages = {2705-2717},
	abstract = {The key to enable systems integration is that systems inter-communications are accurately and unambiguously specified. In line with ongoing Model-based Systems Engineering (MBSE) initiatives aiming to support systems engineering activities by means of formal and graphical models, we have introduced a logical model for the definition of Interface Communication Modelling Language (ICML), to enable a model-based approach for interface specification. ICML is based on UML and can potentially be integrated with other systems models in similar forms, e.g., SySML, and with systems of systems models in UPDM or related frameworks. We have designed ICML basing on a preliminary domain analysis on radio signal specifications, with application to space systems. In the analysis, we have specifically considered simple digital and unidirectional signals, and subsequently we have included a method to use ICML for Time-Division Multiplexed signals. We also present an excerpt of the ICML metamodel and a simple example application. {\textcopyright} 2012 by Daniele Gianni et al.},
	keywords = {Engineering activities, Interface specification, Model based approach, Model-based systems engineering (MBSE), Modelling language, Multiplexed signals, Specifications, Systems engineering, Systems integration, Systems of systems},
	isbn = {9781622769162},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84884132292\&partnerID=40\&md5=137b25c099fd2308a19460fd8ff866b8},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and De Simone, P. and Lisi, M. and Luglio, M.}
}
@conference {Gianni2012,
	title = {A model-based Signal-In-Space interface specification to support the design of Galileo receivers},
	booktitle = {6th ESA Workshop on Satellite Navigation Technologies: Multi-GNSS Navigation Technologies Galileo{\textquoteright}s Here, NAVITEC 2012 and European Workshop on GNSS Signals and Signal Processing},
	year = {2012},
	note = {cited By 1},
	abstract = {The design and development of Galileo receivers will be a key factor to determine the market approach and penetration. The massive use of the Galileo services will be impacted, as well as the estimated economical return of the Galileo linked activities. In general, GNSS receivers use similar mathematical models for the computation of the global positioning from a standard parameter set. However, receivers design and implementation solutions are often inherently dependent on the specific parameter representations defined in the Signal-In-Space (SIS) interface specifications. In this paper, we introduce Interface Communication Modeling Language (ICML) as a model-based approach for the SIS interface specification to support the engineering of Galileo receivers. We argue that a model-based specification can potentially bring several technical benefits to the design of Galileo receivers, including support for specification communication among stakeholders, reuse and adaptation of existing GPS software and chipsets, and receiver-side multi GNSS interoperability, for example. As a result, a model-based SIS interface specification can contribute to increase the use of the Galileo services by reducing the impact of the technical factors leading to the extra costs. In the paper, we present the overall layout of the ICML language and preliminary applications. In particular, we present a simplified excerpt of a Galileo-like SIS specification and functional schema of GNSS receivers and show how the ICML-based specification can support the design of Galileo receivers. An important caveat: no endorsement is made for the use of the ICML language for the official Galileo SIS interface specification. {\textcopyright} 2012 IEEE.},
	keywords = {Communication, Computer software reusability, Design, GALILEO, Global positioning system, Information theory, Interface control documents, Interface specification, Mathematical models, Model-based systems engineering, Receivers (containers), Signal processing, Signal receivers, Specifications, SysML, Technology, UML},
	isbn = {9781467320115},
	doi = {10.1109/NAVITEC.2012.6423066},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874274251\&partnerID=40\&md5=c5bbcc7395ef038a87c8dcbae3e8f360},
	author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.}
}
@conference {Bocciarelli2012,
	title = {A model-driven method for building distributed simulation systems from business process models},
	booktitle = {Proceedings - Winter Simulation Conference},
	year = {2012},
	note = {cited By 6},
	abstract = {The analysis of modern business processes implemented as orchestration of software services demands for new approaches that explicitly take into account the inherent complexity and distribution characteristics of such processes. In this respect, Distributed Simulation (DS) offers a viable tool to cope with such a demand, due to the aggregation, scalability, representativeness and load balancing properties that it allows to achieve. However, the use of DS is mostly limited by the specialized technical know-how and the extra-development that DS requires with respect to approaches based on conventional local simulation. This paper proposes a model-driven method that enables the DS-based analysis of business processes by introducing the automated transformation of business process models into analysis models that are specified as Extended Queueing Network (EQN) models and executed as distributed simulations. The paper also presents an example application to a business process for an e-commerce scenario. {\textcopyright} 2012 IEEE.},
	keywords = {Analysis models, Automated transformations, Business Process, Business process model, Computer simulation, Distributed computer systems, Distributed simulation systems, Distributed simulations, Distribution characteristics, Inherent complexity, Load balancing properties, Model-driven method, New approaches, Software services, Technical know hows, Technology transfer},
	isbn = {9781467347792},
	issn = {08917736},
	doi = {10.1109/WSC.2012.6465106},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874755866\&partnerID=40\&md5=8d358a15fcb545b3725d825b701fc795},
	author = {Bocciarelli, P. and Pieroni, A. and Gianni, D. and Andrea D{\textquoteright}Ambrogio}
}
@conference {Gianni2012,
	title = {Model-driven performance prediction of HLA-based distributed simulation systems},
	booktitle = {Proceedings - Winter Simulation Conference},
	year = {2012},
	note = {cited By 3},
	abstract = {Performance models offer a convenient tool to assess design alternatives and predict the execution time of distributed simulation (DS) systems at design time, before system implementation. Currently, performance models are to be manually developed and the related extra effort often becomes the limiting factor for their cost- and time-effective use. In this paper, we aim to reduce this extra effort with the introduction of a model-driven method for the automated building of performance models whose evaluation provides a prediction about of the execution time of a distributed simulation system. As such, the method contributes to bring software performance engineering techniques into the distributed simulation system lifecycle. In particular, we show how the SysML-based specification of the system to be simulated and the design documents of the DS system can be used to derive the topology and the parameters of a performance model specified according to the Extended Queueing Network formalism. {\textcopyright} 2012 IEEE.},
	keywords = {Automated buildings, Computer simulation, Design, Design alternatives, Design documents, Design time, Distributed computer systems, Distributed simulation systems, Distributed simulations, Execution time, Forecasting, Model-driven, Model-driven method, Performance Model, Performance prediction, Software performance engineerings, System implementation, Topology},
	isbn = {9781467347792},
	issn = {08917736},
	doi = {10.1109/WSC.2012.6465255},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874698997\&partnerID=40\&md5=a02b093d52a8995b3774ab0d2df86fb2},
	author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {D{\textquoteright}Ambrogio2011155,
	title = {A model transformation approach for the development of HLA-based distributed simulation systems},
	booktitle = {SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications},
	year = {2011},
	note = {cited By 3},
	pages = {155-160},
	abstract = {The development of HLA-based distributed simulation systems requires a significant expertise and a considerable effort for the inherent complexity of the HLA standard. This paper introduces an automated approach for the development of HLA-based simulation systems of higher quality at largely reduced time, effort and cost. The proposed approach is founded on the use of model transformation techniques and relies on standards introduced by the Model Driven Architecture (MDA). The proposed approach takes as input a UML model of the system to be simulated and yields as output both an intermediate UML model and the final code of the HLA-based distributed simulation system.},
	keywords = {Computer simulation, Distributed computer systems, Distributed simulation systems, High level architecture, HLA, MDA, Model driven development, Model transformation, Software architecture, Standardization, Unified Modeling Language},
	isbn = {9789898425782},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052596859\&partnerID=40\&md5=97f5284df768d7865992d397a976c663},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pieroni, A. and Gianni, D.}
}
@conference {D{\textquoteright}Ambrogio20104,
	title = {A MDA-based approach for the development of DEVS/SOA simulations},
	booktitle = {Simulation Series},
	volume = {42},
	number = {1 BOOK 4},
	year = {2010},
	note = {cited By 0},
	pages = {4-11},
	abstract = {The intrinsic complexity of the DEVS formalism and the manual production of DEVS-based simulations might constitute obstacles to the adoption of DEVS for both system modelers and simulation users. To overcome these obstacles, this paper introduces a model-driven approach for the development of DEVS simulations. The approach provides modelers and users with standard graphical modeling languages and with model transformation specifications for automated code production. Specifically, the approach enables the UML specification of DEVS models and automates the generation of DEVS simulations that make use of the DEVS/SOA implementation. An example application to the production of a DEVS/SOA simulation for a basic queuing system is also presented, to show the details of the proposed approach.},
	keywords = {DEVS, Discrete event simulation, Mathematical models, MDA, Model driven development, Model transformation, Software architecture, Specifications, UML},
	isbn = {9781617382048},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887115977\&partnerID=40\&md5=d939ce7d1f75fadfcbdeca9335ab3f30},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Risco-Mart{\'\i}n, J.L. and Pieroni, A.}
}
@conference {D{\textquoteright}Ambrogio2010,
	title = {A MDA-based approach for the development of DEVS/SOA simulations},
	booktitle = {Spring Simulation Multiconference 2010, SpringSim{\textquoteright}10},
	year = {2010},
	note = {cited By 6},
	abstract = {The intrinsic complexity of the DEVS formalism and the manual production of DEVS-based simulations might constitute obstacles to the adoption of DEVS for both system modelers and simulation users. To overcome these obstacles, this paper introduces a model-driven approach for the development of DEVS simulations. The approach provides modelers and users with standard graphical modeling languages and with model transformation specifications for automated code production. Specifically, the approach enables the UML specification of DEVS models and automates the generation of DEVS simulations that make use of the DEVS/SOA implementation. An example application to the production of a DEVS/SOA simulation for a basic queuing system is also presented, to show the details of the proposed approach. {\textcopyright} 2010 SCS.},
	keywords = {DEVS, Discrete event simulation, MDA, Model transformation, Model-driven development, Software architecture, Specifications, UML},
	isbn = {9781450300698},
	doi = {10.1145/1878537.1878685},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650597613\&partnerID=40\&md5=d354a5334db8120b18b505cf48e0d4cd},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Risco-Mart{\'\i}n, J.L. and Pieroni, A.}
}
@conference {Gianni201031,
	title = {A methodology to predict the performance of distributed simulations},
	booktitle = {Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS},
	year = {2010},
	note = {cited By 5},
	pages = {31-39},
	abstract = {Predicting the time-performance of a Distributed Simulation (DS) system may be of interest to evaluate system alternatives during the development cycle, before the system is implemented. In this paper, we introduce a methodology to predict the execution time of a DS system during its design phase. The methodology is based on a model-building approach that, basing on the design documents of the DS system, first produces its performance model and then evaluates it. The model includes components such as middleware to use (e.g., the HLA RTI), the set of DS execution hosts and the set of host interconnection networks. The methodology is applied to determine whether or not producing the distributed simulator of a given system may be advantageous in terms of execution time with respect to a conventional local simulator. An example use of the methodology is presented and validated by a comparison of the time-prediction with the actual execution time of the implemented DS system. {\textcopyright} 2010 IEEE.},
	keywords = {Building performance, Computer simulation, Design documents, Design phase, Development cycle, Distributed simulations, Execution time, Forecasting, Middleware, Model buildings, Performance Model, Simulation model},
	isbn = {9781424472918},
	doi = {10.1109/PADS.2010.5471669},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954092922\&partnerID=40\&md5=2d68a6f0b45ad790df832f3da1a2ad43},
	author = {Gianni, D. and Iazeolla, G. and Andrea D{\textquoteright}Ambrogio}
}
