@conference {215, title = {Safety-critical simulation engineering}, booktitle = {2020 Summer Simulation Multi-Conference, SummerSim 2020}, year = {2020}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85099312307\&partnerID=40\&md5=3bbbdc7e28a75c02b16ccf94f92b7c28}, author = {Durak, U. and D{\textquoteright}Ambrogio, A. and Bocciarelli, P.} } @conference {196, title = {A service-in-the-loop approach for business process simulation based on microservices}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85061225342\&partnerID=40\&md5=248b0d97368d17bf04c9d37b12081c70}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {136, title = {SCSC chairs message}, booktitle = {Simulation Series}, year = {2016}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84994627944\&partnerID=40\&md5=8c8bb36835c76d37b6ef6d63dab6c5fb}, author = {Martin, J.L.R. and Nicolescu G. and D{\textquoteright}Ambrogio A. and De Rango F. and Risco Martin J.L.} } @conference {135, title = {Setting systems and simulation life cycle processes side by side}, booktitle = {ISSE 2016 - 2016 International Symposium on Systems Engineering - Proceedings Papers}, year = {2016}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, isbn = {9781509007936}, doi = {10.1109/SysEng.2016.7753139}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85006511713\&doi=10.1109\%2fSysEng.2016.7753139\&partnerID=40\&md5=335143cf488826feed7581744dc522bf}, author = {Andrea D{\textquoteright}Ambrogio and Umut Durak} } @conference {Filippi2015311, title = {A service Systems Engineering framework with application to performance based logistics}, booktitle = {1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings}, year = {2015}, note = {cited By 0}, pages = {311-317}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Although Systems Engineering (SE) is becoming progressively the leading discipline in the development of engineered systems, most of the functions performed by a system are {\textquoteright}delivered{\textquoteright} as services. This leads to what is referred to as Service Systems Engineering (SSE), which has its basis in the SE and, for specific types of services, represents the driving discipline to design successful systems capable of delivering effective services. In the defence market, the acquisition of defence and weapon systems is facing, in the last decades, a continuous budget contraction for both the acquisition and the support of the delivered systems. The main scope of support services, as an instance of SSE, is to define, deliver and asses the proper blend of services to ensure optimal system performance at an affordable life cycle cost. This paper introduces a model for the definition, implementation and continuous assessment of operational availability, in order to ensure that the required performance is met in a cost-effective way throughout the system lifecycle. The amount, distribution and continuous readiness of the logistic resources required to meet the target availability is the primary scope of what is referred to as performance based logistics, which this paper addresses by introducing a SSE framework to tailor, design, deliver and monitor logistic resources. {\textcopyright} 2015 IEEE.

}, keywords = {Budget control, Continuous assessment, Cost effectiveness, Engineered systems, Engineering frameworks, Life cycle, Logistics, Operational availability, Optimal system performance, Performance-based logistics, Support services, System lifecycle, Systems engineering}, isbn = {9781479919208}, doi = {10.1109/SysEng.2015.7302775}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84954536711\&partnerID=40\&md5=d8ad59bdf17177796fadbbaa2dd0f1e5}, author = {Filippi, M. and Andrea D{\textquoteright}Ambrogio and Lisi, M.} } @conference {Bocciarelli20153012, title = {Simulation-based performance and reliability analysis of business processes}, booktitle = {Proceedings - Winter Simulation Conference}, volume = {2015-January}, year = {2015}, note = {cited By 2}, pages = {3012-3023}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

The use of process modeling combined with the use of simulation-based analysis provides a valuable way to analyze business processes (BPs) and to evaluate design alternatives before committing resources and effort. The simulation-based analysis of BPs usually addresses performance in terms of efficiency, i.e., focusing on time-related properties (e.g., throughput or execution time). Differently, this paper proposes an automated method for the analysis of BPs in terms of both efficiency-related performance and reliability. In addition, the method allows business analysts to carry out a joint performance and reliability analysis by introducing a so-called performability attribute. The proposed method is illustrated by use of a running example dealing with a conventional e-commerce scenario. {\textcopyright} 2014 IEEE.

}, keywords = {Automated methods, Business analysts, Business Process, Design alternatives, Joint performance, Performance and reliabilities, Process Modeling, Reliability, Reliability analysis, Simulation-based analysis}, isbn = {9781479974863}, issn = {08917736}, doi = {10.1109/WSC.2014.7020140}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84940521933\&partnerID=40\&md5=04c0407c66dbcda5756df2c96a686040}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E.}, editor = {Tolk A., Diallo S.Y., Ryzhov I.O., Yilmaz L.} } @conference {Bocciarelli20131371, title = {A SaaS-based automated framework to build and execute distributed simulations from SysML models}, booktitle = {Proceedings of the 2013 Winter Simulation Conference - Simulation: Making Decisions in a Complex World, WSC 2013}, year = {2013}, note = {cited By 6}, pages = {1371-1382}, abstract = {The development of complex systems requires the use of quantitative analysis techniques to allow a designtime evaluation of the system behavior. In this context, distributed simulation (DS) techniques can be effectively introduced to assess whether or not the system satisfies the user requirements. Unfortunately, the development of a DS requires the availability of an IT infrastructure that could not comply with time-to-market requirements and budget constraints. In this respect, this work introduces HLAcloud, a model-driven and cloud-based framework to support both the implementation of a DS system from a SysML specification of the system under study and its execution over a public cloud infrastructure. The proposed approach, which exploits the HLA (High Level Architecture) DS standard, is founded on the use of model transformation techniques to generate both the Java/HLA source code of the DS system and the scripts required to deploy and execute the HLA federation onto the PlanetLab cloud-based infrastructure. {\textcopyright} 2013 IEEE.}, isbn = {9781479939503}, doi = {10.1109/WSC.2013.6721523}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84894110082\&partnerID=40\&md5=763d726aa2f46446bf8742e5300658d1}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Gianni, D.} } @article {Gianni2011819, title = {A software architecture to ease the development of distributed simulation systems}, journal = {SIMULATION}, volume = {87}, number = {9}, year = {2011}, note = {cited By 13}, pages = {819-836}, abstract = {The simulation of modern systems may require an amount of computational resources that might not be available on a single host. Distributed simulation (DS) provides an effective way to scale up for the increased computational requirements. However, using existing DS environments remains the main obstacle to the wide adoption of DS systems, because of their inherent complexity. This complexity can be quantitatively shown by the extra effort that the development of DS systems requires compared to the development of conventional local simulation (LS) systems. In this paper we introduce SimArch, a layered architecture that eases the development of DS systems by enabling simulation developers to effortlessly obtain a DS system or derive a DS system from the equivalent LS one. A reference model is used throughout the paper to illustrate the use of SimArch in the development of DS systems and to prove how the DS development effort is lowered down with respect to the use of a conventional DS environment. {\textcopyright} 2011, SAGE Publications. All rights reserved.}, keywords = {Computer simulation, Computer simulation languages, Computer software, development effort, Distributed computer systems, distributed simulation, Distributed simulation environments, High level architecture, Layered architecture, Simulation language, Software architecture}, issn = {00375497}, doi = {10.1177/0037549711400777}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052372123\&partnerID=40\&md5=8073e46ed4ea01775fd920be558f394c}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @article {D{\textquoteright}Ambrogio2009625, title = {Simulation model building of traffic intersections}, journal = {Simulation Modelling Practice and Theory}, volume = {17}, number = {4}, year = {2009}, note = {cited By 9}, pages = {625-640}, abstract = {Designers of traffic systems might take advantage of the simulation-before-construction approach that allows them to study the behavior of a new or existing system by use of simulation models. Nevertheless, the use of simulation models is often hindered by the fact that the model building activity is a critical, time consuming and error prone activity if performed by use of experience and intuition only. Moreover, traffic designers do not usually have the necessary skills to effectively carry out system simulation. This paper overcomes such problems by introducing a model building method, thus enabling traffic designers to seamlessly introduce simulation-before-construction into their best practices. The method is applied to the building of simulation models of traffic intersections, with an example application to a real-world intersection. {\textcopyright} 2008 Elsevier B.V. All rights reserved.}, keywords = {Automated model building, Best practices, Error-prone, Existing systems, Intersections, Model buildings, Model-building methods, Real-world, Simulation model production, Specifications, System simulations, Traffic control, Traffic intersection specification, Traffic simulation, Traffic systems}, issn = {1569190X}, doi = {10.1016/j.simpat.2008.11.001}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62149138054\&partnerID=40\&md5=e6b0fba289eb046089cab4e9984ab819}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pasini, L. and Pieroni, A.} } @conference {D{\textquoteright}Ambrogio2007210, title = {Software technologies for the interoperability and reusability of distributed simulators}, booktitle = {SISO European Simulation Interoperability Workshop 2007, EURO SIW 2007}, year = {2007}, note = {cited By 2}, pages = {210-219}, abstract = {Giving interoperability and reusability capabilities to distributed simulators is fundamental to the widespread use of distributed simulation. The HLA standard has introduced considerable improvements with respect to previous standards, though it suffers from shortcomings such as (1) lack of interoperability among different IEEE-compliant implementations, (2) no support to the adaptation and integration of individual federates and (3) poor reusability, which is limited to entire federates only. In this paper, we present two independent technologies that overcome such shortcomings. The first technology consists of a CORBA-HLA architecture that overcomes limitation (1), the second technology is a new development framework called SimJ that overcomes limitations (2) and (3). The CORBA-HLA architecture decouples federates from the specific HLA implementation so that federates can be effortlessly run on top of any HLA implementation that exposes services through an IEEE-complaint IDL interface. The SimJ framework eases the development of individual federates by providing a uniform and standard interface for local and distributed simulators, and makes it possible the reuse of components smaller than entire federates in both local and distributed simulators.}, keywords = {Adaptability, Common object request broker architecture (CORBA), Computer architecture, Computer software reusability, Distributed simulations, Framework, HLA, Interoperability, Middleware, Reusability, Simulators, Software technology, Standard interface, Technology}, isbn = {9781615671700}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84865354509\&partnerID=40\&md5=3cad39842c91176c439ae7bf7e6b17a1}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G.} } @conference {D{\textquoteright}Ambrogio2006149, title = {SimJ: A framework to develop distributed simulators}, booktitle = {Summer Computer Simulation Conference 2006, SCSC{\textquoteright}06, Part of the 2006 Summer Simulation Multiconference, SummerSim{\textquoteright}06}, year = {2006}, note = {cited By 10}, pages = {149-156}, abstract = {A distributed simulation (DS) is based on the use of several simulators distributed over a network infrastructure. Existing DS standards (e.g., HLA) only specify distribution services without giving support for developing individual simulators in a way to be compliant to the given standard. Traditionally, the development of individual simulators was facilitated by use of simulation languages (e.g., Csim, Arena, Extend, Modline, etc.) which however do not provide support to obtain interaction according to a given DS standard. The extension of such languages to include DS support is very problematic, especially in case of proprietary languages. For these reasons, the development of DS-compliant individual simulators is mostly done by use of standard programming languages (e.g., C, Java, etc.) with the additional effort of developing simulation mechanisms, model components and interfaces to the DS standard. This paper introduces SimJ, a Java library that minimizes such efforts, so that simulators can be developed as to be run on a single local host and can then be partitioned to be run over a set of networked hosts according to a given DS standard. The simulators SimJ addresses are discreteevent simulators (DES) and are easily portable to different DS standards. The paper illustrates the design guidelines of SimJ and presents an example use based on the HLA DS standard.}, keywords = {C (programming language), Computer simulation languages, Discrete event simulation, Discrete-event simulators, Distributed simulations, Distribution services, HLA, Java, Java library, Model components, Network infrastructure, Simulation mechanisms, Simulators, Standard programming language, Standardization}, isbn = {9781622763528}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-50149099672\&partnerID=40\&md5=d2720c3ec54b8e318b0231b9ab847d3a}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G.} } @article {D{\textquoteright}Ambrogio2006121, title = {Soon: A tool for software performance validation}, journal = {International Journal of Modelling and Simulation}, volume = {26}, number = {2}, year = {2006}, note = {cited By 4}, pages = {121-128}, abstract = {The automatic derivation of software performance models from CASE documents is a necessary step towards lifecycle validation of the performance of software products (or prediction of the product ability to satisfy the user performance requirements). This paper illustrates SOON (SOftware performance validatiON), a tool that implements a method for the automatic derivation of a software performance model from UML-based documents. The tool also includes a model evaluation facility. SOON allows software designers to overcome the difficulties often encountered when they lack specific knowledge of performance theory, allowing one to predict at design time the performance of various product alternatives. SOON is designed and implemented by use of standards for document exchange (XMI) and for application interoperability (CORBA), so that it can be easily linked or embedded into UML-based CASE environments.}, keywords = {CASE documents, Codes (standards), Computer programming languages, Computer simulation, Computer software selection and evaluation, Embedded systems, Interoperability, Lifecycle validation, Performance tools, Software engineering, Software performance, SOftware performance validatiON (SOON)}, issn = {02286203}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33745447390\&partnerID=40\&md5=8e384a01572372537f850b69e9e0c6d4}, author = {Andrea D{\textquoteright}Ambrogio} } @article {D{\textquoteright}Ambrogio200329, title = {Steps towards the automatic production of performance models of web applications}, journal = {Computer Networks}, volume = {41}, number = {1}, year = {2003}, note = {cited By 14}, pages = {29-39}, abstract = {

The automatic production of performance models of software products can encourage software designers to include performance validation in their best practices. The incorporation of methods for automatic production can also be of interest of CASE tool vendors to improve the capabilities of their commercial software development environments. This paper deals with a method that introduces a systematic approach towards the automatic production of performance models of web applications (i.e. software applications run on web platforms). The method takes in input two sets of data, the description of the platform architecture (a general view of the system platform and a detailed view of the packet flow in the platform itself) and a set of data that describes the workload imposed on the platform by the application. The produced model is an extended queueing network ready to be used by conventional evaluation tools to derive predictions on the performance of the software applications. An example is given of the method application, in which predictions of the performance of the application are obtained versus various combinations of the processing powers of the interacting hosts. {\textcopyright} 2002 Elsevier Science B.V. All rights reserved.

}, keywords = {Computer aided software engineering, Computer software, Packet networks, Performance, Performance prediction, Queueing networks, World Wide Web}, issn = {13891286}, doi = {10.1016/S1389-1286(02)00324-9}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0037437673\&partnerID=40\&md5=03d6a60f12ce2896f634526eeeb2605e}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} }