ModelSet: a dataset for machine learning in model-driven engineering

JAH López, JL Cánovas Izquierdo… - Software and Systems …, 2022 - Springer
The application of machine learning (ML) algorithms to address problems related to model-
driven engineering (MDE) is currently hindered by the lack of curated datasets of software …

Towards performance tooling interoperability: An open format for representing execution traces

D Okanović, A van Hoorn, C Heger, A Wert… - … 13th European Workshop …, 2016 - Springer
Execution traces capture information on a software system's runtime behavior, including
data on system-internal software control flows, performance, as well as request parameters …

Qn-based modeling and analysis of software performance antipatterns for cyber-physical systems

R Pinciroli, CU Smith, C Trubiani - Proceedings of the ACM/SPEC …, 2021 - dl.acm.org
Identifying performance problems in modern software systems is nontrivial, even more so
when looking at specific application domains, such as cyber-physical systems. The …

Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report

L Pagliari, R Mirandola… - Journal of Software …, 2020 - Wiley Online Library
The process of engineering cyber‐physical systems (CPS) is inevitably challenging because
of the intrinsic problem of merging the specification of different ensembles that indicate …

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism

S Bernardi, S Marrone, J Merseguer, R Nardone… - Software & Systems …, 2019 - Springer
Abstract Model-driven techniques can be used to automatically produce formal models from
different views of a system realised by using several modelling languages and notations …

Performance queries for architecture-level performance models

F Gorsler, F Brosig, S Kounev - Proceedings of the 5th ACM/SPEC …, 2014 - dl.acm.org
Over the past few decades, many performance modeling formalisms and prediction
techniques for software architectures have been developed in the performance engineering …

Modana: An integrated framework for modeling and analysis of energy-aware CPSs

B Cheng, X Wang, J Liu, D Du - 2015 IEEE 39th Annual …, 2015 - ieeexplore.ieee.org
Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation
with physical process are increasingly penetrating into our life. Modeling and analysis for …

[PDF][PDF] 构件软件可靠性过程技术

张策, 崔刚, 刘宏伟, 孟凡超 - 计算机学报, 2014 - cjc.ict.ac.cn
摘要针对构件软件可靠性研究现状以及如何提高其可靠性过程, 对其可靠性过程的相关研究进行
综述. 构件软件可靠性过程的关键问题是在整个生命周期内, 以可靠性为核心 …

Towards proactive fault management of enterprise systems

R Jia, S Abdelwahed, A Erradi - 2015 International Conference …, 2015 - ieeexplore.ieee.org
This paper introduces a model-based approach for autonomic fault management of
computing systems. The proposed approach can recover a system from common faults while …

Performance Modelling of Intelligent Transportation Systems: Experience Report

L Pagliari, M D'Angelo, M Caporuscio… - Companion of the ACM …, 2021 - dl.acm.org
Modern information systems connecting software, physical systems and people, are usually
characterized by high dynamism. These dynamics introduce uncertainties, which in turn may …