| 1. |
- Ardagna, Danilo, et al.
(författare)
-
Modeling performance of Hadoop applications : A journey from queueing networks to stochastic well formed nets
- 2016
-
Ingår i: Algorithms and Architectures for Parallel Processing. - Cham : Springer. - 9783319495828 - 9783319495835 ; , s. 599-613
-
Konferensbidrag (refereegranskat)abstract
- Nowadays, many enterprises commit to the extraction of actionable knowledge from huge datasets as part of their core business activities. Applications belong to very different domains such as fraud detection or one-to-one marketing, and encompass business analytics and support to decision making in both private and public sectors. In these scenarios, a central place is held by the MapReduce framework and in particular its open source implementation, Apache Hadoop. In such environments, new challenges arise in the area of jobs performance prediction, with the needs to provide Service Level Agreement guarantees to the end-user and to avoid waste of computational resources. In this paper we provide performance analysis models to estimate MapReduce job execution times in Hadoop clusters governed by the YARN Capacity Scheduler. We propose models of increasing complexity and accuracy, ranging from queueing networks to stochastic well formed nets, able to estimate job performance under a number of scenarios of interest, including also unreliable resources. The accuracy of our models is evaluated by considering the TPC-DS industry benchmark running experiments on Amazon EC2 and the CINECA Italian supercomputing center. The results have shown that the average accuracy we can achieve is in the range 9–14%.
|
|
| 2. |
- Bernardi, Simona, et al.
(författare)
-
A systematic approach for performance assessment using process mining : An industrial experience report
- 2018
-
Ingår i: Empirical Software Engineering. - : Springer. - 1382-3256 .- 1573-7616. ; 23:6, s. 3394-3441
-
Tidskriftsartikel (refereegranskat)abstract
- Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes.
|
|
| 3. |
- Bernardi, Simona, et al.
(författare)
-
DICE simulation : a tool for software performance assessment at the design stage
- 2022
-
Ingår i: Automated Software Engineering. - : Springer. - 0928-8910 .- 1573-7535. ; 29
-
Tidskriftsartikel (refereegranskat)abstract
- In recent years, we have seen many performance fiascos in the deployment of new systems, such as the US health insurance web. This paper describes the functionality and architecture, as well as success stories, of a tool that helps address these types of issues. The tool allows assessing software designs regarding quality, in particular performance and reliability. Starting from a UML design with quality annotations, the tool applies model-transformation techniques to yield analyzable models. Such models are then leveraged by the tool to compute quality metrics. Finally, quality results, over the design, are presented to the engineer, in terms of the problem domain. Hence, the tool is an asset for the software engineer to evaluate system quality through software designs. While leveraging the Eclipse platform, the tool uses UML and the MARTE, DAM and DICE profiles for the system design and the quality modeling.
|
|
| 4. |
- Bernardi, Simona, et al.
(författare)
-
Living with Uncertainty in Model-Based Development
- 2021
-
Ingår i: Composing Model-Based Analysis Tools. - Cham : Springer. - 9783030819149 - 9783030819156 ; , s. 159-185
-
Bokkapitel (refereegranskat)abstract
- Uncertainty is present in model-based developments in many different ways. In the context of composing model-based analysis tools, this chapter discusses how the combination of different models can increase or decrease the overall uncertainty. It explores how such uncertainty could be more explicitly addressed and systematically managed, with the goal of defining a conceptual framework to deal with and manage it. We proceed towards this goal both with a theoretical reasoning and a practical application through an example of designing a peer-to-peer file-sharing protocol. We distinguish two main steps: (i) software system modelling and (ii) model-based performance analysis by highlighting the challenges related to the awareness that model-based development in software engineering needs to coexist with uncertainty. This core chapter addresses Challenge 5 introduced in Chap. 3 of this book (living with uncertainty).
|
|
| 5. |
- Bernardi, Simona, et al.
(författare)
-
Model-driven availability evaluation of railway control systems
- 2011
-
Ingår i: Computer Safety, Reliability, and Security. SAFECOMP 2011. - Berlin, Heidelberg : Springer. - 9783642242694 ; , s. 15-28
-
Konferensbidrag (refereegranskat)abstract
- Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller. © 2011 Springer-Verlag.
|
|
| 6. |
|
|
| 7. |
- Perez-Palacin, Diego, et al.
(författare)
-
Performance aware open-world software in a 3-layer architecture
- 2010
-
Ingår i: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering. - New York, NY, USA : Association for Computing Machinery (ACM). - 9781605585635 ; , s. 49-56
-
Konferensbidrag (refereegranskat)abstract
- Open-world software is a new paradigm that stresses the concept of software service as a pillar for building applications. Services are unceasingly deployed elsewhere in the open-world and are used on demand. Consequently, the performance of these open-world applications relies on the performance of definitely unknown third-parties. Another consequence is that performance prediction methods can no longer assume that service times for software activities are well-known all over the time. More feasible solutions defend that they should be inferred from the environment, for example monitoring current services executions. So, there is a need for new performance prediction methods, and it is likely that they have to be applied not only when developing, but also during software execution, so to learn from the environment and to adapt to it. In this paper, we build on a three layer architecture, taken from literature, to present an architectural approach for performance prediction in open-world software. Once the approach is presented, the paper focuses on the intricacies of its more challeging component, i.e., the generator of strategies to meet performance goals by selecting the best available set of services.
|
|
| 8. |
- Requeno, José I., et al.
(författare)
-
Quantitative Analysis of Apache Storm Applications : The NewsAsset Case Study
- 2019
-
Ingår i: Information Systems Frontiers. - Berlin/Heidelberg : Springer. - 1387-3326 .- 1572-9419. ; 21:1, s. 67-85
-
Tidskriftsartikel (refereegranskat)abstract
- The development of Information Systems today faces the era of Big Data. Large volumes of information need to be processed in real-time, for example, for Facebook or Twitter analysis. This paper addresses the redesign of NewsAsset, a commercial product that helps journalists by providing services, which analyzes millions of media items from the social network in real-time. Technologies like Apache Storm can help enormously in this context. We have quantitatively analyzed the new design of NewsAsset to assess whether the introduction of Apache Storm can meet the demanding performance requirements of this media product. Our assessment approach, guided by the Unified Modeling Language (UML), takes advantage, for performance analysis, of the software designs already used for development. In addition, we converted UML into a domain-specific modeling language (DSML) for Apache Storm, thus creating a profile for Storm. Later, we transformed said DSML into an appropriate language for performance evaluation, specifically, stochastic Petri nets. The assessment ended with a successful software design that certainly met the scalability requirements of NewsAsset.
|
|
| 9. |
- Saar de Moraes, Rodrigo, 1992-, et al.
(författare)
-
A model-based approach for analysing network communication timeliness in IMA systems at concept level
- 2021
-
Ingår i: Proceedings of the 29th International Conference on Real-Time Networks and Systems. - New York, NY, USA : Association for Computing Machinery. ; , s. 78-88
-
Konferensbidrag (refereegranskat)abstract
- Analyzing the resource adequacy of complex cyber-physical systems at concept development stage can be a challenging task since there are a lot of uncertainties about the system at this stage. In Integrated Modular Avionics (IMA) systems, with a life-cycle over several decades and potential functionality changes, we need to estimate resource needs at the early stage but leave capacity to absorb future modifications. Given an envisaged set of functions and a mapping to a candidate platform, one needs to assure that the selected network configuration will provide adequate resources to meet communication timeliness. In particular, whether the set of switches, the topology, and the available bandwidth are sufficient to meet the envisaged needs. In this paper, timeliness requirements are expressed as constraints on the freshness of data and a strict bounding of end-to-end latency. We support generation of UML/MARTE-based specifications by creating a domain-specific meta-model for IMA systems and a resource modelling approach for the study of time-critical systems. The instances of this model then specify the application requirements and various network configurations that can be formally analyzed. We present a tool, M2NC, for automatic derivation of a network calculus model through model transformation, and use the state-of-art NC tools for deriving the bounds for end-to-end timeliness. The approach is illustrated on an example avionics case study, consisting of 91 computational processes that exchange 629 different types of messages. The results of the analysis show that our approach can efficiently provide feedback on configurations that are compliant with the requirements imposed by the application and the toolchain provides a systematic mechanism to quickly identify potential future bottlenecks.
|
|
